Symmetric authentication in a simulatable Dolev–Yao-style cryptographic library
- 1 June 2005
- journal article
- Published by Springer Nature in International Journal of Information Security
- Vol. 4 (3) , 135-154
- https://doi.org/10.1007/s10207-004-0056-6
Abstract
No abstract availableKeywords
This publication has 34 references indexed in Scilit:
- Symmetric encryption in a simulatable Dolev-Yao style cryptographic libraryPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2004
- A composable cryptographic library with nested operationsPublished by Association for Computing Machinery (ACM) ,2003
- A Cryptographically Sound Security Proof of the Needham-Schroeder-Lowe Public-Key ProtocolPublished by Springer Nature ,2003
- Formal Eavesdropping and Its Computational InterpretationPublished by Springer Nature ,2001
- Universally composable security: a new paradigm for cryptographic protocolsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2001
- Reconciling Two Views of CryptographyPublished by Springer Nature ,2000
- Security and Composition of Multiparty Cryptographic ProtocolsJournal of Cryptology, 2000
- A calculus for cryptographic protocolsPublished by Association for Computing Machinery (ACM) ,1997
- Keying Hash Functions for Message AuthenticationPublished by Springer Nature ,1996
- Secure multiparty protocols and zero-knowledge proof systems tolerating a faulty minorityJournal of Cryptology, 1991