A Cryptographic Analysis of OPACITY
作者： Özgür Dagdelen , Marc Fischlin , Tommaso Gagliardoni , Giorgia Azzurra Marson , Arno Mittelbach
DOI: 10.1007/978-3-642-40203-6_20
关键词:
摘要: We take a closer look at the Open Protocol for Access Control, Identification, and Ticketing with privacY (OPACITY). This Diffie-Hellman-based protocol is supposed to provide secure privacy-friendly key establishment contactless environments. It promoted by US Department of Defense meanwhile available in several standards such as ISO/IEC 24727-6 ANSI 504-1. To best our knowledge, so far no detailed cryptographic analysis has been publicly available. Thus, we investigate how common security properties authenticated exchange impersonation resistance, well privacy-related like untraceability deniability, are met.
springer.com
core.ac.uk
tu-darmstadt.de
sci-hub.st 参考文章(38)
Kenneth G. Paterson, Thomas Ristenpart, Thomas Shrimpton, Tag size does matter: attacks and proofs for the TLS record protocol international conference on the theory and application of cryptology and information security. pp. 372- 389 ,(2011) , 10.1007/978-3-642-25385-0_20
Kenneth G. Paterson, Gaven J. Watson, Authenticated-Encryption with Padding: A Formal Security Treatment Cryptography and Security: From Theory to Applications. pp. 83- 107 ,(2012) , 10.1007/978-3-642-28368-0_9
Caroline Kudla, Kenneth G. Paterson, Modular Security Proofs for Key Agreement Protocols Lecture Notes in Computer Science. pp. 549- 565 ,(2005) , 10.1007/11593447_30
Stefan Brands, Rethinking Public Key Infrastructures and Digital Certificates Rethinking Public Key Infrastructures and Digital Certificates: Building in Privacy. pp. 305- 305 ,(2000) , 10.7551/MITPRESS/5931.001.0001
Yevgeniy Dodis, Jonathan Katz, Adam Smith, Shabsi Walfish, Composability and On-Line Deniability of Authentication theory of cryptography conference. pp. 146- 162 ,(2009) , 10.1007/978-3-642-00457-5_10
R. Canetti, Universally composable security: a new paradigm for cryptographic protocols international conference on cluster computing. pp. 136- 145 ,(2001) , 10.1109/SFCS.2001.959888
Dominique Louis Joseph Fedronic, Eric F. Le Saint, Open protocol for authentication and key establishment with privacy ,(2010)
Michel Abdalla, Pierre-Alain Fouque, David Pointcheval, Password-Based Authenticated Key Exchange in the Three-Party Setting Public Key Cryptography - PKC 2005. ,vol. 3386, pp. 65- 84 ,(2005) , 10.1007/978-3-540-30580-4_6
Khaled Ouafi, Raphael C. -W. Phan, Privacy of recent RFID authentication protocols information security practice and experience. pp. 263- 277 ,(2008) , 10.1007/978-3-540-79104-1_19
Mihir Bellare, Phillip Rogaway, Entity authentication and key distribution international cryptology conference. pp. 232- 249 ,(1993) , 10.1007/3-540-48329-2_21