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 Context Related Articles Check |
This paper is cited by the following papers:
First 50 documents Next 50
Unknown - Security Requirements And (Correct)
Modelling Adversaries and Security Objectives for Routing.. - Gergely Acs Levente (Correct)
On the Resilience of Key Agreement Protocols - To Key Compromise (2006) (Correct)
Formal Analysis and Systematic Construction of - Two-Factor Authentication Scheme (2006) (Correct)
Efficient and Secure Indirect-Address Service Discovery .. - Ge, Di Crescenzo.. (Correct)
Secure Group Key Establishment Revisited - Bohli, Vasco, Steinwandt (2005) (Correct)
Stronger Security of Authenticated Key Exchange - LaMacchia, Lauter, Mityagin (2006) (Correct)
Key Exchange Using Passwords and Long Keys - Vladimir Kolesnikov And (2006) (Correct)
Key Exchange Using Passwords and Long Keys - Vladimir Kolesnikov And (2006) (Correct)
Towards Provably Secure Group Key Agreement Building on.. - Bohli, Glas, Steinwandt (2006) (Correct)
Key Exchange Protocols: Security Definition, Proof.. - Datta, Derek.. (2006) (Correct)
Overview of Key Agreement Protocols - Dutta, Barua (2005) (Correct)
A Suite of Enhanced Security Models for Key Compromise.. - Zhu, Tian, Wong (2005) (Correct)
Efficient Compilers for Authenticated Group Key Exchange - Tang, Mitchell (2005) (Correct)
Examining Indistinguishability-Based Proof Models for Key.. - Choo, Boyd, Hitchcock (2005) (1 citation) (Correct)
Towards Computationally Sound Symbolic Analysis of Key.. - Gupta, Shmatikov (2005) (2 citations) (Correct)
Intrusion-Resilient Secure Channels - Itkis, McNerney Jr., Russell (2005) (1 citation) (Correct)
Modeling Insider Attacks on Group Key-Exchange Protocols - Katz, Shin (2005) (4 citations) (Correct)
On the Indistinguishability-Based Security Model of.. - Cheng, Nistazakis.. (2005) (1 citation) (Correct)
Dynamic Group Key Agreement in Tree-Based Setting - Dutta, Barua (2005) (Correct)
Session-Key Generation Using Human Passwords Only - Goldreich, Lindell (2005) (24 citations) (Correct)
On Formal Models for Secure Key Exchange (version 4) - Shoup (1999) (1 citation) (Correct)
On Session Key Construction in Provably-Secure Key Establishment.. - Choo (2005) (Correct)
Constant Round Dynamic Group Key Agreement - Dutta, Barua (2005) (Correct)
On the Security of Some Password-Based Key Agreement Schemes - Tang, Mitchell (2005) (Correct)
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