A Logic of Authentication
[DBLP_Link] [Online_Version] CitedBy 2493-
Abstract:
Authentication protocols are the basis of security in many distributed systems, and it is therefore essential to ensure that these protocols function correctly. Unfortunately, their design has been extremely error prone. Most of the protocols found in the literature contain redundancies or security flaws. A simple logic has allowed us to describe the beliefs of trustworthy parties involved in authentication protocols and the evolution of these beliefs as a consequence of communication. We have been able to explain a variety of authentication protocols formally, to discover subtleties and errors in them, and to suggest improvements. In this paper we present the logic and then give the results of our analysis of four published protocols, chosen either because of their practical importance or because they serve to illustrate our method.
- Year: 1990
- Pages: 19
- Article: ACM Trans. Comput. Syst.
-
Authors:
Michael Burrows
(computer scientist)
H-index: 24; Papers: 35; Citation: 10744 [FOAF] Homepage: http://michael-burrows-1977-2003.memory-of.com/ Expertise: Programming Language / Multiprogramming System; Fuzzy Decision / Realistic Modeling;
Martin Abadi
(Professor, Computer Science Department University of California )
H-index: 80; Papers: 187; Citation: 28754 [FOAF] Homepage: http://www.soe.ucsc.edu/~abadi/home.html Expertise: Logic Programs / Algebraic Semantics; Security Views / New Denial; Functional Programming / Binding-Time Analysis; Signature Schemes / Authenticated Key Exchange Secure; File System / Software Systems;
Roger M. Needham
(Professor , Computer Systems University of Cambridge )
H-index: 28; Papers: 68; Citation: 12182 [FOAF] Homepage: http://research.microsoft.com/users/needham/default.aspx Expertise:
Reference: [Top]
The Interrogator: Protocol Secuity Analysis
Authors: Jonathan K. Millen Sidney C. Clark Sheryl B. Freeman
Organization: IEEE Transactions on Software Engineering
A knowledge-based analysis of zero knowledge
Authors: Joseph Halpern Yjoram Moses Mark Tuttle
Organization: Proceedings of the twentieth annual ACM symposium on Theory of computing
Cryptographic Protocols
Authors: Richard A. DeMillo Nancy A. Lynch Michael Merritt
Organization: STOC
Timestamps in Key Distribution Protocols
Authors: Dorothy E. Denning Giovanni Maria Sacco
Organization: Commun. ACM
An Axiomatic Basis for Computer Programming
Authors: C. A. R. Hoare
Organization: Commun. ACM
Using Encryption for Authentication in Large Networks of Computers
Authors: Roger M. Needham Michael D. Schroeder
Organization: Commun. ACM
A Method for Obtaining Digital Signatures and Public-Key Cryptosystems
Authors: Ronald L. Rivest Adi Shamir Leonard M. Adleman
Organization: Commun. ACM
Security Mechanisms in High-Level Network Protocols
Authors: Victor L. Voydock Stephen T. Kent
Organization: ACM Comput. Surv.
Efficient and Timely Mutual Authentication
Authors: David J. Otway Owen Rees
Organization: Operating Systems Review
A Key Distribution Protocol Using Event Markers
Authors: R. Kenneth Bauer Thomas A. Berson Richard J. Feiertag
Organization: ACM Trans. Comput. Syst.
Integrating Security in a Large Distributed System
Authors: Mahadev Satyanarayanan
Organization: ACM Trans. Comput. Syst.
Cited By: [Top]
Sleepers and Workaholics: Caching Strategies in Mobile Environments
Authors: Daniel Barbara Tomasz Imielinski
Organization: VLDB J.
Protecting File Systems with Transient Authentication
Authors: Mark D. Corner Brian D. Noble
Organization: Wireless Networks
Risk management for distributed authorization
Authors: Christian Skalka X. Sean Wang Peter Chapin
Organization: Journal of Computer Security
Information systems security and human behaviour
Authors: Denis Trcek Roman Trobec Nikola Pavesic Jurij F. Tasic
Organization: Behaviour IT
Timed analysis of security protocols
Authors: R. Corin S. Etalle P. H. Hartel A. Mader
Organization: Journal of Computer Security
Recursive protocol for group-oriented authentication with key distribution
Authors: Tzong-Chen Wu Thsia-Tzu Huang Chien-Lung Hsu Kuo-Yu Tsai
Organization: Journal of Systems and Software
Slede: a domain-specific verification framework for sensor network security protocol implementations
Authors: Youssef Hanna Hridesh Rajan Wensheng Zhang
Organization: WISEC
Design of Architectures for Proximity-aware Services: Experiments in Context-based Authentication with Subjective Logic
Authors: Gabriele Lenzini
Organization: Electr. Notes Theor. Comput. Sci.
Mobile services access and payment through reusable tickets
Authors: Yaohui Lei Alejandro Quintero Samuel Pierre
Organization: Computer Communications
A PK-SIM card based end-to-end security framework for SMS
Authors: He Rongyu Zhao Guolei Chang Chaowen Xie Hui Qin Xi Qin Zheng
Organization: Computer Standards Interfaces
Enhanced authentication scheme with anonymity for roaming service in global mobility networks
Authors: Chin-Chen Chang Chia-Yin Lee Yen-Chang Chiu
Organization: Computer Communications
On BAN logic and hash functions or: how an unjustified inference rule causes problems
Authors: Wouter Teepe
Organization: Autonomous Agents and Multi-Agent Systems
Modal tableaux for verifying stream authentication protocols
Authors: Mehmet A. Orgun Guido Governatori Chuchang Liu
Organization: Autonomous Agents and Multi-Agent Systems
An attacker model for MANET routing security
Authors: Jared Cordasco Susanne Wetzel
Organization: WISEC
LDYIS: a Framework for Model Checking Security Protocols
Authors: Alessio Lomuscio Wojciech Penczek
Organization: Fundam. Inform.
New Design Concepts for an Intelligent Internet
Authors: Geng-Sheng Kuo Jing-Pei Lin
Organization: Commun. ACM
A probabilistic poly-time framework for protocol analysis
Authors: P. Lincoln J. Mitchell M. Mitchell A. Scedrov
Organization: Proceedings of the 5th ACM conference on Computer and communications security
The faithfulness of abstract protocol analysis: Message authentication
Authors: Joshua D. Guttman F. Javier Thayer Lenore D. Zuck
Organization: Journal of Computer Security
Authentication primitives for secure protocol specifications
Authors: Chiara Bodei Pierpaolo Degano Riccardo Focardi Corrado Priami
Organization: Future Generation Comp. Syst.
Facilitating secure ad hoc service discovery in public environments
Authors: Feng Zhu Matt W. Mutka Lionel M. Ni
Organization: Journal of Systems and Software
Ignore at your peril - towards a logic for ignorance
Authors: Wiebe van der Hoek Alessio Lomuscio
Organization: AAMAS
Roger Needham, 1935-2003
Authors: M. Satyanarayanan
Organization: IEEE Pervasive Computing
Verification of Authentication Protocols for Epistemic Goals via SAT Compilation
Authors: Kaile Su Qingliang Chen Abdul Sattar Weiya Yue Guanfeng Lv Xizhong Zheng
Organization: J. Comput. Sci. Technol.
TK-AKA: using temporary key on authentication and key agreement protocol on UMTS
Authors: Hsia-Hung Ou Iuon-Chang Lin Min-Shiang Hwang Jinn-Ke Jan
Organization: International Journal of Network Management
Belief, information acquisition, and trust in multi-agent systems: a modal logic formulation
Authors: Churn-Jung Liau
Organization: Artificial Intelligence
A Lesson on Authentication Protocol Design
Authors: Thomas Y. C. Woo Simon S. Lam
Organization: Operating Systems Review
Adding Time to a Logic of Authentication
Authors: Paul F. Syverson
Organization: ACM Conference on Computer and Communications Security
Extending Cryptographic Logics of Belief to Key Agreement Protocols
Authors: Paul C. van Oorschot
Organization: ACM Conference on Computer and Communications Security
Authentication in Distributed Systems: A Bibliography
Authors: Armin Liebl
Organization: Operating Systems Review
On Key Distribution Protocols for Repeated Authentication
Authors: Paul F. Syverson
Organization: Operating Systems Review
Authentication tests and the structure of bundles
Authors: Joshua D. Guttman F. Javier Thayer
Organization: Theor. Comput. Sci.
Zero-interaction authentication
Authors: Mark D. Corner Brian Noble
Organization: MOBICOM
Primitives for authentication in process algebras
Authors: Chiara Bodei Pierpaolo Degano Riccardo Focardi Corrado Priami
Organization: Theor. Comput. Sci.
Role delegation in role-based access control
Authors: SangYeob Na SuhHyun Cheon
Organization: ACM Workshop on Role-Based Access Control
A coordination language for mobile components
Authors: Farhad Arbab Marcello M. Bonsangue Frank S. de Boer
Organization: Proceedings of the 2000 ACM symposium on Applied computing - Volume 1
An approach to the formal verification of the two-party cryptographic protocols
Authors: Yuqing Zhang Jihong Li Guozhen Xiao
Organization: ACM SIGOPS Operating Systems Review
Some Attacks Upon Authenticated Group Key Agreement Protocols
Authors: Olivier Pereira Jean-Jacques Quisquater
Organization: Journal of Computer Security
Elaborating Security Requirements by Construction of Intentional Anti-Models
Authors: Axel van Lamsweerde
Organization: ICSE
A Compositional Logic for Proving Security Properties of Protocols
Authors: Nancy A. Durgin John C. Mitchell Dusko Pavlovic
Organization: Journal of Computer Security
An approach to the formal verification of the three-principal cryptographic protocols
Authors: Yuqing Zhang Xiuying Liu
Organization: Operating Systems Review
Security design for a new local area network AULWLAN
Authors: Ahmed Abdo Ali
Organization: Proceedings of the 4th international conference conference on Computer systems and technologies: e-Learning
SAFKASI: a security mechanism for language-based systems
Authors: Dan S. Wallach Andrew W. Appel Edward W. Felten
Organization: ACM Trans. Softw. Eng. Methodol.
Using SMV for Cryptographic Protocol Analysis: A Case Study
Authors: Yuqing Zhang Chunling Wang Jianping Wu Xing Li
Organization: Operating Systems Review
Mobile agent security with the IPEditor development tool and the mobile UNITY language
Authors: Yasuyuki Tahara Akihiko Ohsuga Shinichi Honiden
Organization: Agents
Programming language methods in computer security
Authors: John C. Mitchell
Organization: POPL
Verifying security protocols as planning in logic programming
Authors: Luigia Carlucci Aiello Fabio Massacci
Organization: ACM Trans. Comput. Log.
Detecting and Preventing Type flaws: a Control Flow Analysis with Tags
Authors: Chiara Bodei Pierpaolo Degano Han Gao Linda Brodo
Organization: Electr. Notes Theor. Comput. Sci.
Perfect cryptography, S5 knowledge, and algorithmic knowledge
Authors: Sabina Petride Riccardo Pucella
Organization: TARK
Preservation of epistemic properties in security protocol implementations
Authors: Ron van der Meyden Thomas Wilke
Organization: TARK
Advanced method for cryptographic protocol verification
Authors: Nabil El Kadhi Hazem El-Gendy
Organization: Journal of Computational Methods in Sciences and Engineering
Rule-based dependency models for security protocol analysis
Authors: Qingfeng Chen Shichao Zhang Yi-Ping Phoebe Chen
Organization: Integrated Computer-Aided Engineering
A set of protocols for micropayments in distributed systems
Authors: Lei Tang
Organization: Proceedings of the 1st conference on USENIX Workshop on Electronic Commerce - Volume 1
Fast, automatic checking of security protocols
Authors: Darrell Kindred Jeannette M. Wing
Organization: Proceedings of the 2nd conference on Proceedings of the Second USENIX Workshop on Electronic Commerce - Volume 2
On interdomain routing security and pretty secure BGP (psBGP)
Authors: Paul C. van Oorschot Tao Wan Evangelos Kranakis
Organization: ACM Trans. Inf. Syst. Secur.
The many faces of systems research: and how to evaluate them
Authors: Aaron B. Brown Anupam Chanda Rik Farrow Alexandra Fedorova Petros Maniatis Michael L. Scott
Organization: Proceedings of the 10th conference on Hot Topics in Operating Systems - Volume 10
Verifying cryptographic protocols for electronic commerce
Authors: Randall W. Lichota Grace L. Hammonds Stephen H. Brackin
Organization: Proceedings of the 2nd conference on Proceedings of the Second USENIX Workshop on Electronic Commerce - Volume 2
Providing authentication to messages signed with a smart card in hostile environments
Authors: Tage Stabell-Kulø Ronny Arild Per Harald Myrvang
Organization: Proceedings of the USENIX Workshop on Smartcard Technology on USENIX Workshop on Smartcard Technology
A systematic approach for encryption and authentication with fault tolerance
Authors: Chang N. Zhang Chunren Lai
Organization: Computer Networks
On the relationship between strand spaces and multi-agent systems
Authors: Joseph Y. Halpern Riccardo Pucella
Organization: ACM Trans. Inf. Syst. Secur.
Authentication for Distributed Systems
Authors: Thomas Y. C. Woo Simon S. Lam
Organization: Computer
Security on the Move: Indirect Authentication using Kerberos
Authors: Armando Fox Steven D. Gribble
Organization: MOBICOM
Risk assessment in distributed authorization
Authors: Peter C. Chapin Christian Skalka Xiaoyang Sean Wang
Organization: FMSE
Cryptographic access control in a distributed file system
Authors: Anthony Harrington Christian Damsgaard Jensen
Organization: SACMAT
The faithfulness of abstract protocol analysis: message authentication
Authors: Joshua D. Guttman F. Javier Thayer Lenore D. Zuck
Organization: ACM Conference on Computer and Communications Security
An approach to finding the attacks on the cryptographic protocols
Authors: Yongxing Sun Xinmei Wang
Organization: Operating Systems Review
The performance of public key-enabled kerberos authentication in mobile computing applications
Authors: Alan Harbitter Daniel A. Menasce
Organization: ACM Conference on Computer and Communications Security
Authentication Protocols for Personal Communication Systems
Authors: Hung-Yu Lin Lein Harn
Organization: SIGCOMM
Authentication in Distributed Systems: Theory and Practice
Authors: Butler W. Lampson Martin Abadi Michael Burrows Edward Wobber
Organization: SOSP
Model Checking Software Systems: A Case Study
Authors: Jeannette M. Wing Mandana Vaziri
Organization: SIGSOFT FSE
Authentication in Distributed Systems: Theory and Practice
Authors: Butler W. Lampson Martin Abadi Michael Burrows Edward Wobber
Organization: ACM Trans. Comput. Syst.
Provably secure session key distribution: the three party case
Authors: Mihir Bellare Phillip Rogaway
Organization: STOC
On the relationship between strand spaces and multi-agent systems
Authors: Joseph Y. Halpern Riccardo Pucella
Organization: ACM Conference on Computer and Communications Security
Security and fraud detection in mobile and wireless networks
Authors: Azzedine Boukerche
Organization: Handbook of wireless networks and mobile computing
Design guidelines for robust Internet protocols
Authors: Thomas E. Anderson Scott Shenker Ion Stoica David Wetherall
Organization: Computer Communication Review
PeerAccess: a logic for distributed authorization
Authors: Marianne Winslett Charles C. Zhang Piero A. Bonatti
Organization: ACM Conference on Computer and Communications Security
Some guidelines for non-repudiation protocols.
Authors: Panagiotis Louridas
Organization: Computer Communication Review
Accountability in Electronic Commerce Protocols
Authors: Rajashekar Kailar
Organization: IEEE Trans. Software Eng.
A modular correctness proof of IEEE 802.11i and TLS
Authors: Changhua He Mukund Sundararajan Anupam Datta Ante Derek John C. Mitchell
Organization: ACM Conference on Computer and Communications Security
Extending UML sequence diagrams to model trust-dependent behavior with the aim to support risk analysis
Authors: Atle Refsdal Ketil Stolen
Organization: Sci. Comput. Program.
Further improvement on a novel privacy preserving authentication and access control scheme for pervasive computing environments
Authors: Chun-Ta Li Min-Shiang Hwang Yen-Ping Chu
Organization: Computer Communications
Belief Change and Cryptographic Protocol Verification
Authors: Aaron Hunter James P. Delgrande
Organization: Formal Models of Belief Change in Rational Agents
Modular over-the-wire configurable security for long-lived critical infrastructure monitoring systems
Authors: Erik Solum Carl Hauser Rasika Chakravarthy David E. Bakken
Organization: DEBS
Other Format:LNCS: [Top]
IEEE:
ACM:
Latex: