Distance-bounding protocols: verification without time and location

Mauw, Sjouke, Smith, Zach, Toro-Pozo, Jorge and Trujillo Rasua, Rolando 2018, Distance-bounding protocols: verification without time and location, in SP 2018 : Proceedings of the 2018 IEEE 39th Symoposium on Security and Privacy, Institute of Electrical and Electronics Engineers, Piscataway, N.J., pp. 549-566, doi: 10.1109/SP.2018.00001.

Attached Files
Name Description MIMEType Size Downloads

Title Distance-bounding protocols: verification without time and location
Author(s) Mauw, Sjouke
Smith, Zach
Toro-Pozo, Jorge
Trujillo Rasua, RolandoORCID iD for Trujillo Rasua, Rolando orcid.org/0000-0002-8714-4626
Conference name IEEE Computer Society. Symposium (39th : 2018 : San Francisco, Calif.)
Conference location San Francisco, Calif.
Conference dates 2018/05/20 - 2018/05/24
Title of proceedings SP 2018 : Proceedings of the 2018 IEEE 39th Symoposium on Security and Privacy
Editor(s) [Unknown]
Publication date 2018
Series IEEE Computer Society Symposium
Start page 549
End page 566
Total pages 18
Publisher Institute of Electrical and Electronics Engineers
Place of publication Piscataway, N.J.
Keyword(s) distance-bounding
security protocols
causality
formal verification
automatic verification
ISBN 9781538643525
ISSN 1081-6011
Language eng
DOI 10.1109/SP.2018.00001
HERDC Research category E1.1 Full written paper - refereed
Copyright notice ©2018, Sjouke Mauw
Persistent URL http://hdl.handle.net/10536/DRO/DU:30120183

Connect to link resolver
 
Unless expressly stated otherwise, the copyright for items in DRO is owned by the author, with all rights reserved.

Versions
Version Filter Type
Citation counts: TR Web of Science Citation Count  Cited 2 times in TR Web of Science
Scopus Citation Count Cited 3 times in Scopus
Google Scholar Search Google Scholar
Access Statistics: 83 Abstract Views, 6 File Downloads  -  Detailed Statistics
Created: Mon, 25 Mar 2019, 14:29:54 EST

Every reasonable effort has been made to ensure that permission has been obtained for items included in DRO. If you believe that your rights have been infringed by this repository, please contact drosupport@deakin.edu.au.