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
Access this CW+ Content for Free!
By submitting your personal information, you agree that TechTarget and its partners may contact you regarding relevant content, products and special offers.