Audun Jøsang  Home/Search
Context
Related
| spinroot.com/spin/Workshops...audun.pdf 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: spinroot.com/spin/Worksh...papers (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: SPIN is a model checking tool. This paper presents some ideas on how SPIN/PROMELA can be adapted to cover security protocol verification. Existing methods are usually based on logical deduction and theorem proving, and I briefly describe the strength and weaknesses of BAN logic which is one of the methods most widely used. The goal of using SPIN for security protocol verification is to see whether model checking can be used to find protocol weaknesses which other methods leave undetected.... (Update)
Active bibliography (related documents): More All
1.2: Security Protocol Verification using SPIN - Jøsang (1995) (Correct)
0.2: A Unified Cryptographic Protocol Logic - Syverson, van Oorschot (1996) (Correct)
0.2: The Logic of Authentication Protocols - Syverson, Cervesato (2001) (Correct)
Similar documents based on text: More All
0.2: PKI Seeks a Trusting Relationship - Jøsang, Pedersen, Povey (2000) (Correct)
0.2: Trust-Based Decision Making For Electronic Transactions - Jøsang (1999) (Correct)
0.1: Web Security: The Emperor's New Armour - Jøsang (Correct)
BibTeX entry: (Update)
@misc{ sang-security,
author = "Audun Jøsang",
title = "Security Protocol Verification Using SPIN",
url = "citeseer.ist.psu.edu/677933.html" }
Citations (may not include all citations):1529 A method for obtaining digital signature and public key cryp.. - Rivest, Shamir et al. - 1978
140 Reasoning about belief in cryptographic protocols - Gong, Needham et al. - 1990
128 Why cryptosystems fail - Anderson - 1994
102 Robustness principles for public key protocols - Anderson, Needham - 1995
102 Design and Validation of Computer Protocols (context) - Holzmann - 1991
79 A semantics for a logic of authentication - Abadi, Tuttle - 1991
78 On unifying some cryptographic protocol logics - Syverson, van Oorschot - 1994
41 DEC Systems ResearchCenter (context) - Burrows, Abadi et al. - 1989
26 Roles in cryptographic protocols (context) - Snekkenes - 1992
26 On key distribution protocols for repeated authentication - Syverson - 1993
19 Operating Systems Review (context) - Nesset, of et al. - 1990
13 Extending cryptographic logics of belief to key agreement pr.. (context) - van Oorschot - 1993
2 Basic ReferenceModel For Open Systems Interconection - Part .. (context) - IS - 1988
2 Formal Analysis of Mechanisms for Access Control in Distribu.. (context) - Skomedal - 1994
Documents on the same site (http://spinroot.com/spin/Workshops/ws95/papers.html): More
Interactive Timed Simulation of Distributed Systems - From.. - Marco Daniele (Correct)
Checking Linear Temporal Logic Properties - Doron Peled (Correct)
Process Control Design Using SPIN - Thierry Cattel Laboratoire (1995) (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