Analysing Security Protocols Using Scenario Based Simulation.

Farah Al-Shareefi, Alexei Lisitsa, Clare Dixon

Browse the full VECoS paper archive.