CW+ Premium Content/E-Handbooks

Thank you for joining!
Access your Pro+ Content below.
March 2015

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