Security Protocols and Specifications
Martín Abadi
- 22 Mar 1999
- pp 1-13
TL;DR: This paper (intended to accompany a lecture at ETAPS '99) discusses specifications for security protocols and suggests some gaps and some opportunities for further work.
read more
Abstract: Specifications for security protocols range from informal narrations of message flows to formal assertions of protocol properties. This paper (intended to accompany a lecture at ETAPS '99) discusses those specifications and suggests some gaps and some opportunities for further work. Some of them pertain to the traditional core of the field; others appear when we examine the context in which protocols operate.
read more
Chat with Paper
AI Agents for this Paper
Find similar papers on Google Scholar, PubMed and Arxiv
Write a critical review of this paper
Analyze citations of this paper to find unaddressed research gaps
Citations
Non Interference for the Analysis of Cryptographic Protocols
Riccardo Focardi,Roberto Gorrieri,Fabio Martinelli +2 more
- 09 Jul 2000
TL;DR: Many security properties of cryptographic protocols can be all seen as specific instances of a general property, called Non Deducibility on Composition (NDC), that was proposed a few years ago for studying information flow properties in computer systems.
120
Design Principles for Power Grid Cyber-Infrastructure Authentication Protocols
Himanshu Khurana,Rakesh B. Bobba,Tim Yardley,Pooja Agarwal,Erich Heine +4 more
- 05 Jan 2010
TL;DR: This work builds on past work in the area of principles of authentication in Internet protocols but focuses the discussion on the constraints of the Power Grid; in particular, the need for efficient and highly available systems.
Secrecy and Group Creation
Luca Cardelli,Giorgio Ghelli,Andrew D. Gordon +2 more
- 22 Aug 2000
TL;DR: An operation of group creation is added to the typed π-calculus, where a group is a type for channels, and no channel belonging to a fresh group can be received by processes outside the initial scope of the group, even if those processes are untyped.
59
Static Analysis for Secrecy and Non-interference in Networks of Processes
Chiara Bodei,Pierpaolo Degano,Flemming Nielson,Hanne Riis Nielson +3 more
- 03 Sep 2001
TL;DR: The νSPI-Calculus is introduced that strengthens the notion of "perfect symmetric cryptography" of the spi-calculus by taking time into account and finds the non-interference property to be an extension of the Dolev-Yao property.
Flow logic for Dolev-Yao secrecy in cryptographic processes
Chiara Bodei,Pierpaolo Degano,Flemming Nielson,H. Riis Nielson +3 more
- 01 May 2002
TL;DR: The νSPI-calculus is introduced, a control flow analysis defined in the form of a flow logic, and it is proved semantically correct that secrecy a la Dolev-Yao can be expressed in terms of the CFA.
28
References
•Book
Handbook of Applied Cryptography
Alfred Menezes,Scott A. Vanstone,Paul C. van Oorschot +2 more
- 01 Jan 1996
TL;DR: A valuable reference for the novice as well as for the expert who needs a wider scope of coverage within the area of cryptography, this book provides easy and rapid access of information and includes more than 200 algorithms and protocols.
15K
On the security of public key protocols
Danny Dolev,Andrew Chi-Chih Yao +1 more
TL;DR: Several models are formulated in which the security of protocols can be discussed precisely, and algorithms and characterizations that can be used to determine protocol security in these models are given.
A calculus of mobile processes, II
TL;DR: The a-calculus is presented, a calculus of communicating systems in which one can naturally express processes which have changing structure, including the algebraic theory of strong bisimilarity and strong equivalence, including a new notion of equivalence indexed by distinctions.
3.4K
A logic of authentication
Michael Burrows,Martín Abadi,Roger M. Needham +2 more
- 01 Nov 1989
TL;DR: This paper describes the beliefs of trustworthy parties involved in authentication protocols and the evolution of these beliefs as a consequence of communication, and gives the results of the analysis of four published protocols.
Using encryption for authentication in large networks of computers
TL;DR: Use of encryption to achieve authenticated communication in computer networks is discussed and example protocols are presented for the establishment of authenticated connections, for the management of authenticated mail, and for signature verification and document integrity guarantee.