On the security of public key protocols

Keywords

DECIPHER, Computer science, Computer security, Encryption, Key (lock)

References

• An informational divergence geometry for stochastic matricesAndrea Sgarro — 1978
• On protection in operating systemsMichael A. Harrison, Walter L. Ruzzo, Jeffrey D. Ullman — 1975
• A method for obtaining digital signatures and public-key cryptosystemsRonald L. Rivest, Adi Shamir, Leonard M. Adleman — 1978
• Multiuser cryptographic techniquesWhitfield Diffie, Martin E. Hellman — 1976
• The Byzantine Generals Strike AgainDanny Dolev — 1981
• A Linear Time Algorithm for Deciding Subject SecurityR.J. Lipton, Lawrence Snyder — 1977
• Reaching Agreement in the Presence of FaultsMarshall C. Pease, Robert E. Shostak, Leslie Lamport — 1980
• Using encryption for authentication in large networks of computersRoger M. Needham, Michael Schroeder — 1978
• New Directions in CryptographyWhitfield Diffie, Martin E. Hellman — 1976
• Protection in operating systemsMichael A. Harrison, Walter L. Ruzzo, Jeffrey D. Ullman — 1976

Cited by

• Formal security analysis of registration protocols for interactive systems: a methodology and a case of studyJesús Asensi Díaz, David Arroyo, Francisco B. Rodrı́guez — 2012
• Subscriber Privacy in Cellular SystemsGeir M. Køien — 2007
• A formal model to express dynamic policies for access control and negotiation in a distributed environment. (Un modèle formel pour exprimer des politiques dynamiques pour contrôle d'accès et négociation dans un environnement distribué)Marwa El Houri — 2010
• SIMULATION BASED VALIDATION OF AUTHENTICATION PROTOCOLSKrishnan G. Indiradevi, Vivek Nair — 2004
• Lattice-based completely non-malleable public-key encryption in the standard modelReza Sepahi, Ron Steinfeld, Josef Pieprzyk — 2012
• Evaluating Cryptographic ProtocolsAlec Yasinsac, William A. Wulf — 1993
• Combining Theory Generation and Model Checking for Security Protocol AnalysisNicholas Hopper, Sanjit A. Seshia, Jeannette M. Wing — 2000
• Inductive analysis of security protocols in Isabelle/HOL with applications to electronic votingDenis Butin — 2012
• Formal Methods for the Analysis of Authentication ProtocolsAviel D. Rubin, Peter Honeyman — 1993
• A Static Analysis Framework for Security Properties in Mobile and Cryptographic SystemsBenyamin Y. Y. Aziz — 2003
• The Freiburg Privacy Diamond: An Attacker Model for a Mobile Computing EnvironmentAlf Zugenmaier, Michael Kreutzer, Günter Müller — 2003
• The Wolf WithinIliano Cervesato — 2002
• The Missing Link: Human Interactive Security Protocols in Mobile PaymentBangdao Chen, A. W. Roscoe, Ronald Kainda — 2010
• (De)Compositions of Cryptographic Schemes and their Applications to ProtocolsRomain Janvier, Yassine Lakhnech, Laurent Mazaré — 2005
• Study of the Benefits of Using Deductive Formal Methods for Secure Developments. (Etude de l'apport des méthodes formelles déductives pour les développements de sécurité)Éric Jaeger — 2010
• Detecting Intrusions in Security ProtocolsAlec Yasinsac — 2000
• A Heuristic State Space Search Model for Security Protocol VerificationZ. Furqan, R. Guha, Shahabuddin Muhammad — 2004
• Anonymous and secure electronic transaction protocolSrečko Brlek, Sardaouna Hamadou, John Mullins — 2005
• Revisiting Lee, Kim, & Yoo Authenticated Key Agreement ProtocolKim‐Kwang Raymond Choo — 2006
• A Composable Cryptographic Library with Nested Operations (Extended Abstract)Michael Backes, Birgit Pfitzmann, Michael Waidner — 2003

Related papers

• Increasing lifetime of cryptographic keys on smartphone platforms with the controlled randomness protocolArtemios G. Voyiatzis, Kyriakos Stefanidis, Dimitrios Serpanos — 2011
• Security evaluation over lightweight cryptographic protocolsSeyed-Mohsen Ghoreishi, Shukor Abd Razak, Ismail Fauzi Isnin — 2014
• Cryptographic and Physical Zero-Knowledge Proof Systems for Solutions of Sudoku PuzzlesRonen Gradwohl, Moni Naor, Benny Pinkas — 2007
• Relating cryptography and formal methods: a panelMichael Backes, Catherine Meadows, John C. Mitchell — 2003
• Leakage-resilient storage scheme for cryptographic applicationsJanaka Alawatugoda, Roshan Ragel, Danushka Eranga — 2016
• Batching proofs of knowledge and its applicationsKhanh Quoc Nguyen, Vijay Varadharajan, Yi Mu — 1999