for Reasoning About Key Distribution Protocols Iliano Cervesato Tulane...  Home/Search
Context
Related
| stanford.edu/~iliano/pap...csfw05.ps.gz 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: stanford.edu/~iliano/papers/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Authentication and secrecy properties are proved by very different methods: the former by local reasoning, leading to matching knowledge of all principals about the order of their actions, the latter by global reasoning towards the impossibility of knowledge of some data. Hence, proofs conceptually decompose in two parts, each encapsulating the other as an assumption. From this observation, we develop a simple logic of authentication that encapsulates secrecy requirements as assumptions. We... (Update)
Active bibliography (related documents): More All
0.8: Formal Analysis of Kerberos 5 - Frederick Butler Iliano (Correct)
0.5: The Logic of Authentication Protocols - Syverson, Cervesato (2001) (Correct)
0.4: Logical Concepts in Cryptography - Kramer (2006) (Correct)
Similar documents based on text:
0.0: Unknown - (Correct)
BibTeX entry: (Update)
@misc{ about-encapsulated,
author = "For Reasoning About",
title = "An Encapsulated Authentication Logic",
url = "citeseer.ist.psu.edu/766547.html" }
Citations (may not include all citations):450 Using encryption for authentication in large networks of com.. (context) - Needham, Schroeder - 1978 ACM DBLP
322 Breaking and fixing the Needham-Schroeder public-key protoco.. - Lowe - 1996 ACM DBLP
178 Kerberos: An Authentication Service for Computer Networks (context) - Neuman, Ts'o - 1994
176 Timestamps in key distribution protocols (context) - Denning, Sacco - 1981
164 ACM Transactions on Computer Systems (context) - Burrows, Abadi et al. - 1990
87 Authentication and authenticated key exchanges - Diffie, van Oorschot et al. - 1992 ACM DBLP
15 ACM Operating Systems Review (context) - Needham, Schroeder - 1987
13 A compositional logic for proving security properties of pro.. - Durgin, Mitchell et al. - 2003 ACM DBLP
12 A Formal Analysis of Some Properties of Kerberos 5 using MSR - Butler, Cervesato et al. - 2002 ACM DBLP
11 The Kerberos Network Authentication Service (context) - Neuman, Kohl et al. - 2004
3 A derivation system and compositional logic for security pro.. (context) - Datta, Derek et al. - 2004
2 attacking and defending the GDOI protocol (context) - Meadows, Pavlovic - 2004
2 A herarchy of authentication specifications (context) - Lowe - 1997
1 Deriving key distribution protocols and their security prope.. (context) - Cervesato, Meadows et al. - 2005
1 Available electronically httpwww (context) - Pavlovic, Derivation et al. - 2005
Documents on the same site (http://theory.stanford.edu/~iliano/papers/): More
Cryptographically Sound Security Proofs for - Basic And Public-Key (Correct)
The Logical Meeting Point of Multiset Rewriting and Process.. - Cervesato (2004) (Correct)
Towards a Notion of Quantitative Security Analysis - Cervesato (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