Mihir Bellare, Ran Canetti, and Hugo Krawczyk. A Modular Approach to the Design and Analysis of Authentication and Key Exchange Protocols (Extended Abstract). In Proceedings of the Thirtieth Annual ACM Symposium on the Theory of Computing (STOC'98), pages 419--428. ACM Press, 1998. 15 Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Unknown - Security Requirements And (Correct)
No context found.
Mihir Bellare, Ran Canetti, and Hugo Krawczyk. A Modular Approach to the Design and Analysis of Authentication and Key Exchange Protocols (Extended Abstract). In Proceedings of the Thirtieth Annual ACM Symposium on the Theory of Computing (STOC'98), pages 419--428. ACM Press, 1998. 15
Modelling Adversaries and Security Objectives for Routing.. - Gergely Acs Levente (Correct)
No context found.
M. Bellare, R. Canetti, and H. Krawczyk. A modular approach to the design and analysis of authentication and key exchange protocols. In Proceedings of the ACM Symposium on the Theory of Computing, 1998.
On the Resilience of Key Agreement Protocols - To Key Compromise (2006) (Correct)
No context found.
M. Bellare, R. Canetti, and H. Krawczyk. A modular approach to the design and analysis of authentication and key exchange protocols. In 30th Symposium on Theory of Computing, pages 419--428, 1998.
Formal Analysis and Systematic Construction of - Two-Factor Authentication Scheme (2006) (Correct)
No context found.
M. Bellare, R. Canetti, and H. Krawczyk. A modular approach to the design and analysis of authentication and key exchange protocols. In Proc. 30th ACM Symp. on Theory of Computing, pages 419--428. ACM, May 1998.
Efficient and Secure Indirect-Address Service Discovery .. - Ge, Di Crescenzo.. (Correct)
No context found.
M. Bellare, R. Canetti, and H. Krawczyk, "A modular approach to the design and analysis of authentication and key exchange protocols," In Proc. of 30th Symp. on the Theory of Computing, ACM, 1998.
Secure Group Key Establishment Revisited - Bohli, Vasco, Steinwandt (2005) (Correct)
No context found.
Mihir Bellare, Ran Canetti, and Hugo Krawczyk. A Modular Approach to the Design and Analysis of Authentication and Key Exchange Protocols. In Proceedings of STOC 98, pages 419--428. ACM, 1998.
Stronger Security of Authenticated Key Exchange - LaMacchia, Lauter, Mityagin (2006) (Correct)
No context found.
M. Bellare, R. Canetti and H. Krawczyk, A Modular Approach to the Design and Analysis of Authentication and Key Exchange Protocols, STOC '98: Proceedings of the thirtieth annual ACM symposium on Theory of computing, ACM Press, 1998
Key Exchange Using Passwords and Long Keys - Vladimir Kolesnikov And (2006) (Correct)
No context found.
Mihir Bellare, Ran Canetti, and Hugo Krawczyk. A modular approach to the design and analysis of authentication and key exchange protocols (extended abstract). In STOC '98: Proceedings of the thirtieth annual ACM symposium on Theory of computing, pages 419--428, New York, NY, USA, 1998. ACM Press.
Key Exchange Using Passwords and Long Keys - Vladimir Kolesnikov And (2006) (Correct)
No context found.
Mihir Bellare, Ran Canetti, and Hugo Krawczyk. A modular approach to the design and analysis of authentication and key exchange protocols (extended abstract). In STOC '98: Proceedings of the thirtieth annual ACM symposium on Theory of computing, pages 419--428, New York, NY, USA, 1998. ACM Press.
Towards Provably Secure Group Key Agreement Building on.. - Bohli, Glas, Steinwandt (2006) (Correct)
No context found.
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 ACM Symposium on Theory of Computing STOC, pages 319-- 428, 1998.
Key Exchange Protocols: Security Definition, Proof.. - Datta, Derek.. (2006) (Correct)
No context found.
Bellare, M., Canetti, R., Krawczyk, H.: A modular approach to the design and analysis of authenticationand key exchange protocols. In: Proc. of the 30th Annual Symposium on the Theory of Computing, ACM (1998) 419--428
Overview of Key Agreement Protocols - Dutta, Barua (2005) (Correct)
No context found.
M. Bellare, R. Canetti, and H. 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, pp. 419-428. ACM Press, 1998. Also available at http://www.cs.edu/users/mihir/papers/key-distribution.html/.
A Suite of Enhanced Security Models for Key Compromise.. - Zhu, Tian, Wong (2005) (Correct)
No context found.
M. Bellare, R. Canetti, and H. Krawczyk. A modular approach to the design and analysis of authentication and key exchange protocols. In Proc. 30th ACM Symp. on Theory of Computing, pages 419--428. ACM, May 1998. Full paper available at the first author's homepage.
Efficient Compilers for Authenticated Group Key Exchange - Tang, Mitchell (2005) (Correct)
No context found.
M. Bellare, R. Canetti, and H. Krawczyk. A modular approach to the design and analysis of authentication and key exchange protocols. In Proceedings of the thirtieth annual ACM Symposium on the Theory of Computing, pages 419 -- 428. ACM, 1998.
Examining Indistinguishability-Based Proof Models for Key.. - Choo, Boyd, Hitchcock (2005) (1 citation) (Correct)
No context found.
Bellare, M., Canetti, R. & Krawczyk, H. (1998), A Modular Approach to The Design and Analysis of Authentication and Key Exchange Protocols, in J. Vitter, ed., `30th ACM Symposium on the Theory of Computing - STOC 1998', ACM Press, pp. 419--428.
Towards Computationally Sound Symbolic Analysis of Key.. - Gupta, Shmatikov (2005) (2 citations) (Correct)
No context found.
M. Bellare, R. Canetti, and H. Krawczyk. A modular approach to the design and analysis of authentication and key exchange protocols. In Proc. 30th ACM STOC, pages 419--428, 1998.
Intrusion-Resilient Secure Channels - Itkis, McNerney Jr., Russell (2005) (1 citation) (Correct)
No context found.
Mihir Bellare, Ran Canetti, and Hugo Krawczyk. A modular approach to the design and analysis of authentication and key exchange protocols (extended abstract). In ACM, editor, Proceedings of the Thirtieth Annual ACM Symposium on Theory of Computing, Dallas, Texas, 23--26 May 1998.
Modeling Insider Attacks on Group Key-Exchange Protocols - Katz, Shin (2005) (4 citations) (Correct)
No context found.
M. Bellare, R. Canetti, and H. Krawczyk. A Modular Approach to the Design and Analysis of Authentication and Key Exchange Protocols. STOC '98.
On the Indistinguishability-Based Security Model of.. - Cheng, Nistazakis.. (2005) (1 citation) (Correct)
No context found.
M. Bellare, R. Canetti and H. Krawczyk. A Modular Approach to the Design and Analysis of Authentication and Key Exchange Protocols. Proc. of the 30th STOC. ACM Press, New York, 1998.
Dynamic Group Key Agreement in Tree-Based Setting - Dutta, Barua (2005) (Correct)
No context found.
M. Bellare, R. Canetti, and H. 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, pages 419-428. ACM, 1998. http://www.cs.edu/users/mihir/papers/keydistribution. html/.
Session-Key Generation Using Human Passwords Only - Goldreich, Lindell (2005) (24 citations) (Correct)
No context found.
M. Bellare, R. Canetti and H. Krawczyk. Modular Approach to the Design and Analysis of Authentication and Key Exchange Protocols. In the 30th ACM Symposium on the Theory of Computing, pages 419--428, 1998.
On Formal Models for Secure Key Exchange (version 4) - Shoup (1999) (1 citation) (Correct)
No context found.
M. Bellare, R. Canetti, and H. Krawczyk. A modular approach to the design and analysis of authentication and key exchange protocols. In 30th Annual ACM Symposium on Theory of Computing, 1998.
On Session Key Construction in Provably-Secure Key Establishment.. - Choo (2005) (Correct)
No context found.
Mihir Bellare, Ran Canetti, and Hugo Krawczyk. A Modular Approach to The Design and Analysis of Authentication and Key Exchange Protocols. In Je#rey Vitter, editor, 30th ACM Symposium on the Theory of Computing - STOC 1998, pages 419--428. ACM Press, 1998.
Constant Round Dynamic Group Key Agreement - Dutta, Barua (2005) (Correct)
No context found.
M. Bellare, R. Canetti, and H. 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, pages 419-428. ACM, 1998. http://www.cs.edu/users/mihir/papers/keydistribution. html/.
On the Security of Some Password-Based Key Agreement Schemes - Tang, Mitchell (2005) (Correct)
No context found.
M. Bellare, R. Canetti, and H. Krawczyk. A modular approach to the design and analysis of authentication and key exchange protocols (extended abstract). In STOC '98: Proceedings of the thirtieth annual ACM symposium on Theory of computing, pages 419--428, 1998.
First 50 documents Next 50
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC