Towards the Automated Verification of Cyber-Physical Security Protocols: Bounding the Number of Timed Intruders.

Vivek Nigam, Carolyn L. Talcott, Abrao Aires Urquiza

Browse the full ESORICS paper archive.