This resource is no longer available
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, taking into account the continuous updating of adversary knowledge.
Contents include:
- 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