%0 Conference Paper %1 conf/esorics/NigamTU16 %A Nigam, Vivek %A Talcott, Carolyn L. %A Urquiza, Abraão Aires %B ESORICS (2) %D 2016 %E Askoxylakis, Ioannis G. %E Ioannidis, Sotiris %E Katsikas, Sokratis K. %E Meadows, Catherine %I Springer %K dblp %P 450-470 %T Towards the Automated Verification of Cyber-Physical Security Protocols: Bounding the Number of Timed Intruders. %U http://dblp.uni-trier.de/db/conf/esorics/esorics2016-2.html#NigamTU16 %V 9879 %@ 978-3-319-45740-6

@inproceedings{conf/esorics/NigamTU16, added-at = {2017-05-23T00:00:00.000+0200}, author = {Nigam, Vivek and Talcott, Carolyn L. and Urquiza, Abraão Aires}, biburl = {https://www.bibsonomy.org/bibtex/2d7ab8e8d7336400da16a7edd26c11c5e/dblp}, booktitle = {ESORICS (2)}, crossref = {conf/esorics/2016-2}, editor = {Askoxylakis, Ioannis G. and Ioannidis, Sotiris and Katsikas, Sokratis K. and Meadows, Catherine}, ee = {https://doi.org/10.1007/978-3-319-45741-3_23}, interhash = {1d19ab9beebc710f1404490fb03dd7ce}, intrahash = {d7ab8e8d7336400da16a7edd26c11c5e}, isbn = {978-3-319-45740-6}, keywords = {dblp}, pages = {450-470}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T23:53:04.000+0200}, title = {Towards the Automated Verification of Cyber-Physical Security Protocols: Bounding the Number of Timed Intruders.}, url = {http://dblp.uni-trier.de/db/conf/esorics/esorics2016-2.html#NigamTU16}, volume = 9879, year = 2016 }