Access your Pro+ Content below.
Symbolic adversary modelling in smart transport ticketing
Sponsored by ComputerWeekly.com
This article in our Royal Holloway Information Security Thesis Series looks at possible extensions of a process algebra language used to support modelling of smart transport ticketing systems.
Table Of Contents
- What is formal symbolic adversary modelling and why is it important?
- What makes formal modelling important to smart transport ticketing?
- Additional consideration of the change in adversary knowledge set