Provably secure mobile key exchange: Applying the Canetti-Krawczyk approach

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2727 LNCS, Issue , 2003, Pages 166-179

  Tin, Yiu Shing Terry ^a   Boyd, Colin ^a   Nieto, Juan Manuel González ^a  

^a QUEENSLAND UNIVERSITY OF TECHNOLOGY   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

APPLICATION AREAS; BUILDING BLOCKS; EXISTING BUILDINGS; IDEAL MODELS; KEY EXCHANGE PROTOCOLS; KEY EXCHANGES; NEW PROTOCOLS; PRACTICAL USE; PROVABLY SECURE; SECURITY PROOFS; WIRELESS PROTOCOLS; APPLICATION AREA; BUILDING BLOCKES; NEW PROTOCOL; SECURE KEY EXCHANGES; WIRELESS PROTOCOL;

BUILDINGS; NETWORK SECURITY;

SECURITY OF DATA;

EID: 63449093784     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45067-X_15     Document Type: Conference Paper

References (17)

1. Mihir Bellare, Ran Canetti, and Hugo Krawczyk. A modular approach to the design and analysis of authentication and key exchange protocols. In Proceedings of the 30th Annual Symposium on the Theory of Computing, ACM, pages 412-428, 1998. Full version at http://www-cse.ucsd.edu/users/mihir/ papers/modular.pdf.
2. Mihir Bellare and Phillip Rogaway. Random oracles are practical: A paradigm for designing efficient protocols. In First ACM Conference on Computer and Communications Security, pages 62-73, 1993.
3. Mihir Bellare and Phillip Rogaway. Entity authentication and key distribution. In Advances in Cryptology - Crypto 1993, volume 773 of LNCS, pages 232-249. Springer-Verlag, 1994. Full version at http://www-cse.ucsd.edu/users/mihir/papers/eakd.pdf.
4. Mihir Bellare and Phillip Rogaway. Provably secure session key distribution - the three party case. In Proceedings of the 27th ACM Symposium on the Theory of Computing, pages 57-66, May 1995.
5. Simon Blake-Wilson and Alfred Menezes. Unknown key-share attacks on the station-to-station (sts) protocol. In Public Key Cryptography 1999, volume 1560 of LNCS, pages 154-170. Springer-Verlag, 1999.
6. C. Boyd and D.-G. Park. Public key protocols for wireless communications. The 1998 International Conference on Information Security and Cryptology (ICISC '98), pages 47-57, 1998. Seoul, Korea.
7. Ran Canetti and Hugo Krawczyk. Analysis of key-exchange protocols and their use for building secure channels. In Advances in Cryptology - Eurocrypt 2001, volume 2045 of LNCS, pages 453-474. Springer-Verlag, 2001. Full version at http://eprint.iacr.org/2001/040.ps.
8. W. Diffie and M. Hellman. New direction in cryptography. IEEE Transactions on Information Theory, 22:644-654, 1976.
9. W. Diffie, P.C. van Oorschot, and M.J. Wiener. Authentication and authenticated key exchanges. Designs, Codes and Cryptography, 2:107-125, 1992.
10. Günther Horn, Keith M. Martin, and Chris J. Mitchell. Authentication protocols for mobile network environment value-added services. IEEE Transactions on Vechicular Technology, 51(2):383-392, 2002.
11. Günther Horn and Bart Preneel. Authentication and payment in future mobile systems. In European Symposium on Research in Computer Security (ESORICS), volume 1485 of LNCS, pages 277-293. Springer-Verlag, 1998.
12. Markus Jakobsson and David Pointcheval. Mutual authentication for low-power mobile devices. In Proceedings of Financial Cryptography 2001, volume 2339 of LNCS, pages 178-195. Springer-Verlag, 2001.
13. Tatsuaki Okamoto and David Pointcheval. The gap-problems: a new class of problems for the security of cryptographic schemes. In Public Key Cryptography 2001, volume 1992 of LNCS, pages 104-118. Springer-Verlag, February 2001.
14. D.-G. Park, M.-N. Oh, and M. Looi. A fraud detection method and its application to third generation wireless systems. In Proceedings of Globecom 98, pages 1984-1989, 1998.
15. Claus P. Schnorr. Efficient signature generation by smart cards. Journal of Cryptology 4, pages 161-174, 1991.
16. Victor Shoup. On formal models for secure key exchange. Research Report RZ 3120, IBM Zurich Research Lab, 1999. Version 4 of 1999 revision of IBM Research Report RZ 3120 at http://www.shoup.net/papers/skey.pdf.
17. Duncan S. Wong and Agnes H. Chan. Efficient and mutually authenticated key exchange for low power computing devices. In Advances in Cryptology - Asiacrypt 2001, volume 2248 of LNCS, pages 272-289. Springer-Verlag, 2001.