Chris George  Home/Search
Context Related
| unu.edu/newrh/III/1/d...report154.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: unu.edu/newrh/III/1/page (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Most work on proving or model checking the safety of authentication protocols is based on trace histories. We suggest that a simpler approach based on sets of messages sent is adequate and prove the correctness of the Needham-Schroeder and Secure Socket Layer protocols as an example. A simpler approach reduces the problem of making hidden or unwarranted assumptions as well as simplifying the proofs. (Update)
Context of citations to this paper: More
.... are available in UNU IIST s library and accessible via UNU IIST s web page ([9, 55, 24, 25, 40, 13, 58, 27, 5, 2, 49, 17, 31, 38, 6, 41, 10, 48, 50, 23, 47, 43, 52, 56, 51, 8, 54, 29, 60, 36, 37, 57]) 4.1.2 External Publications In 1999, a total of 25 papers written by UNU...
Cited by: More
UNU/IIST Annual Report 1999 - Unu/iist (2000) (Correct)
Similar documents (at the sentence level): More
55.0%: Proving Safety of an Authentication Protocol: A Minimal Approach - George (1999) (Correct)
5.5%: UNU/IIST Report No. 186 - Management System For (Correct)
5.5%: Using Requirements Engineering to Derive a Formal Specification - Mauco, George (2000) (Correct)
Active bibliography (related documents): More All
0.3: A B C D - Automated Validation of Business Critical Systems with.. - Group (1999) (Correct)
0.1: Formal Methods for Cryptographic Protocol Analysis: Emerging.. - Meadows (2003) (Correct)
0.0: Open Issues in Formal Methods for Cryptographic Protocol Analysis - Meadows (2000) (Correct)
Similar documents based on text: More All
2.4: A Formal Design of Online Ticketing System in UML - Li, Liu, Guo (2001) (Correct)
2.3: UNU/IIST Annual Report 2000 - Unu/iist (2001) (Correct)
2.3: Specification of Software Systems for Managing Student.. - Zhendong, Moore (2000) (Correct)
BibTeX entry: (Update)
Chris George. Proving Safety of an Authentication Protocol: a Minimal Approach. Technical Report 154, UNU/IIST, P.O.Box 3058, Macau, February 1999. http://citeseer.ist.psu.edu/george99proving.html More
@misc{ george99proving,
author = "C. George",
title = "Proving Safety of an Authentication Protocol: a Minimal Approach",
text = "Chris George. Proving Safety of an Authentication Protocol: a Minimal Approach.
Technical Report 154, UNU/IIST, P.O.Box 3058, Macau, February 1999.",
year = "1999",
url = "citeseer.ist.psu.edu/george99proving.html" }
Citations (may not include all citations):322 Breaking and fixing the Needham-Schroeder public-key protoco.. - Lowe - 1996
270 Formal verification for fault-tolerant architectures: Prolog.. - Owre, Rushby et al. - 1995
263 The Inductive Approach to Verifying Cryptographic Protocols - Paulson - 1998
164 ACM Transactions on Computer Systems (context) - Burrows, Abadi et al. - 1990
119 The RAISE Language Group. The RAISE Specification Language (context) - Language, RAISE et al. - 1992
99 Modelling and verifying key-exchange protocols using CSP and.. - Roscoe - 1995
91 The SSL Protocol Version (context) - Freier, Karlton et al. - 1996
34 the Security of Ping-Pong Protocols (context) - Dolev, Even et al. - 1982
30 Towards a Mechanization of Cryptographic Protocol Verificati.. - Bolignano - 1997
19 Integrating Proof-Based and Model-Checking Techniques for th.. (context) - Bolignano - 1998
17 Using a PVS Embedding of CSP to Verify Authentication Protoc.. - Dutertre, Schneider - 1997
3 Using Refinement to Analyse the Safety of an Authentication .. - Butler - 1998
1 internet httpwww (context) - Wagner, Analysis et al. - 1996
1 The complete specifications (context) - Abrial, Cambridge - 1996
1 Inductive Analysis of the Internet Protocol TLS (context) - Paulsen - 1997
Documents on the same site (http://www.iist.unu.edu/newrh/III/1/page.html): More
On Checking Parallel Real-Time Systems for Linear Duration.. - Jianhua, Van Hung (Correct)
Towards a Denotational Semantics of Timed RSL using Duration.. - Li, Jifeng (1999) (Correct)
Formally Describing Intelligent CAD - Bin, George (1999) (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