TY  - RPRT
TI  - Towards the Automated Verification of Cyber-Physical Security Protocols: Bounding the Number of Timed Intruders
AU  - Vivek Nigam
AU  - Carolyn Talcott
AU  - Abraão Aires Urquiza
PY  - 2016
UR  - https://arxiv.org/abs/1605.08563
ID  - 1605.08563
ER  -