Frederick Butlery Iliano Cervesatoz Aaron D. Jaggardy{ Andre Scedrov{...  Home/Search
Context
Related
Links: ACM DBLP | stanford.edu/~ilia...mscis0404.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: We give three formalizations of the Kerberos 5 authentication protocol in the Multi-Set Rewriting (MSR) formalism. (Update)
Active bibliography (related documents): More All
2.3: A Formal Analysis of Some Properties of Kerberos 5 Using .. - Butler, Cervesato.. (2004) (Correct)
1.4: Verifying Confidentiality and Authentication in Kerberos 5 - Butler, Cervesato.. (Correct)
1.3: Formal Analysis of Kerberos 5 - Frederick Butler Iliano (Correct)
Similar documents based on text:
0.0: Unknown - (Correct)
BibTeX entry: (Update)
@misc{ iliano-formal,
author = "Frederick Butlery Iliano",
title = "A Formal Analysis of Some Properties of Kerberos 5 Using MSR",
url = "citeseer.ist.psu.edu/766444.html" }
Citations (may not include all citations):184 Automated Analysis of Cryptographic Protocols Using Mur - Mitchell, Mitchell et al. - 1997
178 Kerberos: An Authentication Service for Computer Networks (context) - Neuman, Ts'o - 1994
136 The Kerberos Network Authentication Service - Kohl, Neuman - 1993
70 Verifying Authentication Protocols in CSP (context) - Schneider - 1998 ACM DBLP
43 Honest ideals on strand spaces (context) - Fabrega, Herzog et al. - 1998 ACM DBLP
33 Using Isabelle to Prove Properties of the Kerberos Authentic.. - Bella, Paulson - 1997
17 Formal Analysis of the Kerberos Authentication System - Bella, Riccobene - 1997 DBLP
15 Personal communication (context) - Raeburn - 2002
11 The Kerberos Network Authentication Service (context) - Neuman, Kohl et al. - 2001
11 The Kerberos Network Authentication Service (context) - Neuman, Yu et al. - 2004
9 Multiset Rewriting and the Complexity of Bounded Security Pr.. - Durgin, Lincoln et al. ACM
8 Inductive Verification of Cryptographic Protocols - Bella - 2000
7 Personal communication (context) - Jeffrey
6 the Twelfth IEEE Computer Security Foundations Workshop (context) - Cervesato, Durgin et al. - 1999
5 the First International Workshop on Mathematical Methods (context) - MSR, Examples et al. - 2001
5 Fifth European Symposium on Research in Computer Science (context) - IV, of et al. - 1998
5 of CAV98 -- Tenth International Conference on Computer Aided.. (context) - Kerberos, Inductive et al. - 1998
5 An Analysis of Some Properties of Kerberos 5 Using MSR (context) - Butler, Cervesato et al. - 2002
4 The Logical Meeting Point of Multiset Rewriting and Process .. - Cervesato
3 Progress in Computer Science and Applied Logic (context) - Gollmann, Misconceptions - 2001
3 Personal communication (context) - Neuman - 2002
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