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

27 May 2016

Papers citing "Towards the Automated Verification of Cyber-Physical Security Protocols: Bounding the Number of Timed Intruders"

2 / 2 papers shown

Title
Effective Sequential Protocol Composition in Maude-NPA Sonia Santiago Santiago Escobar C. Meadows J. Meseguer 28 4 0 29 Feb 2016
Automatic analysis of distance bounding protocols S. Malladi Bruhadeshwar Bezawada Kishore Kothapalli 54 14 0 28 Mar 2010