Iliano Cervesato, Catherine Meadows  Home/Search
Context Related
| dsi.unive.it/IFIPWG1_7/WITS2003/...1.ps stanford.edu/~iliano//p...wits03a.ps.gz stanford.edu/~iliano/pa...wits03a.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: dsi.unive.it/IFIPWG1_7/WITS200... (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: In this paper we show how we can increase the ease of reading and writing security requirements for cryptographic protocols by developing a visual language based on fault trees. We develop such a semantics for a subset of NPATRL, a temporal language used for expressing safety requirements for cryptographic protocols, and show that the subset is sound and complete with respect to the semantics. We also show how the fault trees can be used to improve the presentation of some speci cations... (Update)
Similar documents based on text: More All
1.2: Formalizing GDOI Group Key Management Requirements in NPATRL - Meadows, Syverson.. (2001) (Correct)
1.1: Formal Specification and Analysis of the Group Domain of.. - Meadows, Syverson (2003) (Correct)
0.6: Dolev-Yao is no better than Machiavelli - Syverson, Meadows, Cervesato (2000) (Correct)
BibTeX entry: (Update)
I. Cervesato and C. Meadows. A fault-tree representation of NPATRL security requirements. submitted for publication, 2003. http://citeseer.ist.psu.edu/cervesato03faulttree.html More
@misc{ cervesato03faulttree,
author = "I. Cervesato and C. Meadows",
title = "A fault-tree representation of NPATRL security requirements",
text = "I. Cervesato and C. Meadows. A fault-tree representation of NPATRL security
requirements. submitted for publication, 2003.",
year = "2003",
url = "citeseer.ist.psu.edu/cervesato03faulttree.html" }
Citations (may not include all citations):188 Entity authentication and key distribution (context) - Bellare, Rogaway - 1994
19 From safety analysis to software requirements (context) - Hansen, Ravn et al. - 1998
17 A formal language for cryptographic protocol requirements - Syverson, Meadows - 1996
16 A hierarchy of authentication speci cations - Lowe - 1997
16 Attack trees : Modeling security threats (context) - Schneier - 1999
9 Formalizing GDOI group key management requirements in NPATRL - Meadows, Syverson et al. - 2001
7 Attack modeling for information security and survivability - Moore, Ellison et al. - 2001
5 Nuclear Regulatory Commission (context) - Vesely, Goldberg et al. - 1981
4 BRUTUS: A Model Checker for Security Protocols (context) - Marrero - 2001
3 A formal speci cation of requirements for payment transactio.. (context) - Meadows, Syverson - 1998
2 Authentication and authenticated key esxchange (context) - Die, van Oorschot et al. - 1992
Documents on the same site (http://www.dsi.unive.it/IFIPWG1_7/WITS2003/papers/): More
Reputation-Based Trust Management (Extended Abstract) - Shmatikov, Talcott (2003) (Correct)
An Enhanced CFA for Security Policies - Bodei, Degano, Priami, Zannone (Correct)
Verification of Copy-Protection Cryptographic Protocol using.. - Genet, Tong (2003) (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