This resource is no longer available

Cover Image
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

Vendor:
TechTarget ComputerWeekly.com
Posted:
Feb 8, 2021
Published:
Mar 11, 2015
Format:
PDF
Type:
Essential Guide

This resource is no longer available.