Degrees of security: Protocol guarantees in the face of compromising adversaries

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

Volumn 6247 LNCS, Issue , 2010, Pages 1-18

  Basin, David ^a   Cremers, Cas ^a  

^a ETH ZURICH   (Switzerland)

Author keywords

[No Author keywords available]

Indexed keywords

ADVERSARY MODELS; CRYPTOGRAPHIC PROTOCOLS; KEY-COMPROMISE IMPERSONATION; OPERATIONAL SEMANTICS; PERFECT FORWARD SECRECY; PROTOCOL ANALYSIS; RELATIVE STRENGTH;

COMPUTER SCIENCE; CRYPTOGRAPHY; NETWORK SECURITY; TECHNICAL PRESENTATIONS;

NETWORK PROTOCOLS;

EID: 77956596618     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-15205-4_1     Document Type: Conference Paper

References (25)

1. Günther, C.: An identity-based key-exchange protocol. In: Quisquater, J.-J., Vandewalle, J. (eds.) EUROCRYPT 1989. LNCS, vol.434, pp. 29-37. Springer, Heidelberg (1990)
2. Menezes, A., van Oorschot, P., Vanstone, S.: Handbook of Applied Cryptography. CRC Press, Boca Raton (October 1996)
3. Basin, D., Cremers, C.: From Dolev-Yao to strong adaptive corruption: Analyzing security in the presence of compromising adversaries. Cryptology ePrint Archive, Report 2009/079 (2009), http://eprint.iacr.org/
4. Canetti, R., Krawczyk, H.: Analysis of key-exchange protocols and their use for building secure channels. In: Pfitzmann, B. (ed.) EUROCRYPT 2001. LNCS, vol.2045, pp. 453-474. Springer, Heidelberg (2001)
5. LaMacchia, B., Lauter, K., Mityagin, A.: Stronger security of authenticated key exchange. In: Susilo, W., Liu, J.K., Mu, Y. (eds.) ProvSec 2007. LNCS, vol.4784, pp. 1-16. Springer, Heidelberg (2007)
6. Shoup, V.: On formal models for secure key exchange (version 4) (November 1999); revision of IBM Research Report RZ 3120 (April 1999)
7. Bresson, E., Manulis, M.: Securing group key exchange against strong corruptions. In: ASIACCS, pp. 249-260. ACM, New York (2008)
8. Just, M., Vaudenay, S.: Authenticated multi-party key agreement. In: Kim, K.-c., Matsumoto, T. (eds.) ASIACRYPT 1996. LNCS, vol.1163, pp. 36-49. Springer, Heidelberg (1996)
9. Krawczyk, H.: HMQV: A high-performance secure Diffie-Hellman protocol. Cryptology ePrint Archive, Report 2005/176 (2005), http://eprint.iacr.org/ (retrieved on April 14, 2009)
10. Bellare, M., Rogaway, P.: Provably secure session key distribution: the three party case. In: Proc. STOC 1995, pp. 57-66. ACM, New York (1995)
11. Bellare, M., Pointcheval, D., Rogaway, P.: Authenticated key exchange secure against dictionary attacks. In: Preneel, B. (ed.) EUROCRYPT 2000. LNCS, vol.1807, pp. 139-155. Springer, Heidelberg (2000)
12. Bellare, M., Rogaway, P.: Entity authentication and key distribution. In: Stinson, D.R. (ed.) CRYPTO 1993. LNCS, vol.773, pp. 232-249. Springer, Heidelberg (1994)
13. Katz, J., Yung, M.: Scalable protocols for authenticated group key exchange. In: Boneh, D. (ed.) CRYPTO 2003. LNCS, vol.2729, pp. 110-125. Springer, Heidelberg (2003) (Pubitemid 137636938)
14. Cremers, C.: The Scyther Tool: Verification, falsification, and analysis of security protocols. In: Gupta, A., Malik, S. (eds.) CAV 2008. LNCS, vol.5123, pp. 414-418. Springer, Heidelberg (2008)
15. Lowe, G.: Breaking and fixing the Needham-Schroeder public-key protocol using FDR. In: Margaria, T., Steffen, B. (eds.) TACAS 1996. LNCS, vol.1055, pp. 147-166. Springer, Heidelberg (1996) (Pubitemid 126050413)
16. Cremers, C., Mauw, S., de Vink, E.: Injective synchronisation: an extension of the authentication hierarchy. Theoretical Computer Science, 139-161 (2006)
17. Lowe, G.: A hierarchy of authentication specifications. In: Proc. 10th IEEE Computer Security Foundations Workshop (CSFW), pp. 31-44. IEEE, Los Alamitos (1997)
18. Cremers, C.: Unbounded verification, falsification, and characterization of security protocols by pattern refinement. In: CCS 2008: Proc. of the 15th ACM conference on Computer and communications security, pp. 119-128. ACM, New York (2008)
19. Cremers, C.: Scyther tool with compromising adversaries extension Includes protocol description files and test scripts, http://people.inf.ethz.ch/ cremersc/ scyther/compromise/
20. Gupta, P., Shmatikov, V.: Towards computationally sound symbolic analysis of key exchange protocols. In: Proc. FMSE 2005, pp. 23-32. ACM, New York (2005)
21. Jeong, I.R., Katz, J., Lee, D.H.: One-round protocols for two-party authenticated key exchange. In: Jakobsson, M., Yung, M., Zhou, J. (eds.) ACNS 2004. LNCS, vol.3089, pp. 220-232. Springer, Heidelberg (2004)
22. Clark, J., Jacob, J.: A survey of authentication protocol literature (1997), http:// citeseer.ist.psu.edu/clark97survey.html
23. Boyd, C., Cliff, Y., Nieto, J.M.G., Paterson, K.G.: One-round key exchange in the standard model. IJACT 1(3), 181-199 (2009)
24. Needham, R., Schroeder, M.: Using encryption for authentication in large networks of computers. Communications of the ACM 21(12), 993-999 (1978)
25. CCITT: The directory authentification framework, Draft Recommendation X.509, Version 7 (1987)