Chiara Bodei, Pierpaolo Degano, Riccardo Focardi, Corrado Priami  Home/Search
Context
Related
| mathpreprints.com/m...TCS4053Degano.pdf From: mathpreprints.com/math/Preprin... (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We extend the #-calculus and the spi-calculus with two primitives that guarantee authentication. (Update)
Similar documents (at the sentence level):
70.2%: Primitives for Authentication in Process Algebras - Bodei, Degano (Correct)
9.1%: Authentication via Localized Names - Bodei, Degano (1999) (Correct)
Active bibliography (related documents): More All
1.2: Authentication Primitives for Protocol Specifications - Bodei, Degano, Focardi, Priami (Correct)
0.8: Authentication Primitives for Refining Protocol Specifications - Bodei, Degano, Focardi (Correct)
0.4: Classification of Security Properties (Part I: Information Flow) - Focardi, Gorrieri (Correct)
Similar documents based on text: More All
0.7: Security Analysis using Flow Logics - Bodei, Degano, Nielson, Nelson (2000) (Correct)
0.5: Static Analysis for the pi-calculus with Applications to Security - Bodei, al. (2001) (Correct)
0.5: Control Flow Analysis for the pi-calculus - Bodei, Degano, Nielson, Nielson (1998) (Correct)
BibTeX entry: (Update)
@misc{ bodei-primitives,
author = "Chiara Bodei and Pierpaolo Degano and Riccardo Focardi and Corrado Priami",
title = "Primitives for Authentication in Process Algebras",
url = "citeseer.ist.psu.edu/640296.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
200 PICT: A programming language based on the pi-calculus - Pierce, Turner - 2000
184 Automated Analysis of Cryptographic Protocols Using Mur - Mitchell, Mitchell et al. - 1997
158 Secrecy by Typing In Security protocols - Abadi - 1999
121 Three systems for cryptographic protocol analysis (context) - Kemmerer, Meadows et al. - 1994
94 Seal: A framework for secure mobile computations - Vitek, Castagna - 1999
70 Verifying authentication protocols in CSP (context) - Schneider - 1998
67 A Hierarchy of Authentication Specification - Lowe - 1997
55 Facile Antigua Release Programming Guide (context) - Thomsen, Leth et al. - 1993
48 Non Interference for the Analysis of Cryptographic Protocols - Focardi, Gorrieri et al. - 2000
46 Secure Implementation of Channel Abstractions - Abadi, Fournet et al. - 1998
42 Strand Spaces: Why is a Security Protocol Correct (context) - Fabrega, Herzog et al. - 1998
39 The reflexive chemical abstract machine and the join calculu.. (context) - Fournet - 1996
21 A Compiler for Analysing Cryptographic Protocols Using Non-I.. (context) - Durante, Focardi et al.
21 Non Interleaving Semantics for Mobile Processes - Degano, Priami - 1999
20 Security Issues (context) - Bodei - 2000
20 Using Non Interference for the Analysis of Security Protocol.. - Focardi, Ghelli et al. - 1997
20 The Synchronous Programming Language ESTEREL and its Mathema.. (context) - Berry, Cosserat - 1984
16 A Uniform Approach for the Definition of Security Properties - Focardi, Martinelli - 1999
12 Data Encryption Standard (DES (context) - of - 1977
11 From CML to its Process Algebra - Nielson, Nielson - 1996
11 A Calculus of Mobile Processes (I and II (context) - Milner, Parrow et al. - 1992
10 Information technology - Security techniques - Entity authen.. (context) - for - 1991
10 Authentication via Localized Names - Bodei, Degano et al. - 1999
8 Enhanced Operational Semantics: A Tool for Describing and An.. (context) - Degano, Priami
6 RFC 2411: IP security document roadmap (context) - Thayer, Doraswamy et al. - 1998
5 Using Entity Locations for the Analysis of Authentication Pr.. - Focardi - 1998
4 Names of the -Calculus Agents Handled Locally - Bodei, Degano et al. - 2000
2 Causality for debugging mobile agents - Degano, Priami et al. - 1999
1 Applying techniques of asynchronous concurrency to synchrono.. (context) - Maggiolo-Schettini, Tini - 1999
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