Chiara Bodei, Pierpaolo Degano, Riccardo Focardi  Home/Search
Context
Related
| sci.univr.it/~priami/wwwpap...sample.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: sci.univr.it/~priami/Mypapers (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We propose a way to abstract from various specifications of authentication and to obtain idealized protocols "secure by construction". This feature enables us to prove that a cryptographic protocol is the correct implementation of the corresponding abstract protocol; when the proof fails, reasoning on the abstract specification may drive to the correct implementation. Our proposal relies on the combination of two authentication primitives, proposed by the authors in [6, 3] for process calculi.... (Update)
Similar documents (at the sentence level):
18.4%: Authentication Primitives for Protocol Specifications - Bodei, Degano, Focardi, Priami (Correct)
12.0%: Authentication Primitives for Refining Protocol Specifications - Bodei, Degano, Focardi (Correct)
7.8%: Primitives for Authentication in Process Algebras - Bodei, Degano (Correct)
Active bibliography (related documents): More All
0.4: Classification of Security Properties (Part I: Information Flow) - Focardi, Gorrieri (Correct)
0.4: Classification of Security Properties (Part II: Network.. - Focardi, Gorrieri.. (Correct)
0.3: Authentication via Localized Names - Bodei, Degano (1999) (Correct)
Similar documents based on text: More All
0.7: An Enhanced CFA for Security Policies - Bodei, Degano, Priami, Zannone (Correct)
0.4: Functional Features of a Calculus for Logic and Concurrency - Priami, Solitro (2000) (Correct)
0.4: Constructing specific SOS semantics for concurrency via.. - Bodei, al. (Correct)
BibTeX entry: (Update)
@inproceedings{ bodeiauthentication,
author = "Chiara Bodei and Pierpaolo Degano and Riccardo Focardi and Corrado Priami",
title = "Authentication Primitives for Refining Protocol Specifications",
url = "citeseer.ist.psu.edu/445566.html" }
Citations (may not include all citations):704 Applied Cryptography (context) - Schneier - 1996
404 A Calculus for Cryptographic Protocols: The Spi Calculus - Abadi, Gordon - 1999
322 Breaking and Fixing the Needham-Schroeder Public-key Protoco.. - Lowe - 1996
302 A Logic of Authentication - Burrows, Abadi et al. - 1990
248 Expressing Mobility (context) - Sangiorgi - 1992
184 Automated Analysis of Cryptographic Protocols Using Mur - Mitchell, Mitchell et al. - 1997
121 Three systems for cryptographic protocol analysis (context) - Kemmerer, Meadows et al. - 1994
70 Verifying authentication protocols in CSP (context) - Schneider - 1998
67 A Hierarchy of Authentication Specification - Lowe - 1997
48 Non Interference for the Analysis of Cryptographic Protocols - Focardi, Gorrieri et al. - 2000
21 Non Interleaving Semantics for Mobile Processes - Degano, Priami - 1999
21 A Compiler for Analysing Cryptographic Protocols Using Non-I.. (context) - Durante, Focardi et al.
20 Using Non Interference for the Analysis of Security Protocol.. - Focardi, Ghelli et al. - 1997
16 A Uniform Approach for the Definition of Security Properties - Focardi, Martinelli - 1999
12 Data Encryption Standard (DES (context) - of - 1977
11 Primitives for Authentication (context) - Bodei, Degano et al. - 2001
11 A Calculus of Mobile Processes (I and II (context) - Milner, Parrow et al. - 1992
10 Authentication via Localized Names - Bodei, Degano et al. - 1999
10 Information technology - Security techniques - Entity authen.. (context) - for - 1991
8 Strand Spaces: Why is a Security Protocol Correct (context) - Fabrega, Herzog et al. - 1998
8 Enhanced Operational Semantics: A Tool for Describing and An.. (context) - Degano, Priami
8 Message authentication through non-interference - Focardi, Gorrieri et al. - 2000
2 Names of the -Calculus Agents Handled Locally (context) - Bodei, Degano et al. - 2001
Documents on the same site (http://www.sci.univr.it/~priami/Mypapers.html): More
Analysis of Facile Programs: a Case Study - Degano, Priami, Leth, Thomsen (1996) (Correct)
Understanding Mobile Agents via a non-interleaving .. - Borgia, Degano.. (1996) (Correct)
Itegrating Behavioural and Performance Analysis with Topology.. - Priami (Correct)
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