G. Denker, J. Millen  Home/Search
Context Related
| sri.com/~denker/pu...iscexCAPSL99.ps.gz sri.com/~millen/capsl/cipe.ps 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: sri.com/~denker/pub_99 (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: CAPSL, a Common Authentication Protocol Specification Language, is a high-level language to support security analysis of cryptographic authentication and key distribution protocols. It is translated to CIL, an intermediate language expressing state transitions with term-rewriting rules. Connectors are being written to adapt CIL to supply input to different security analysis tools, including PVS for inductive verification and Maude for model-checking. 1. Introduction It is generally understood ... (Update)
Cited by: More
Relating Multiset Rewriting and Process - Algebras For Security (Correct)
Attacking Group Protocols - Steel, BUndy (2005) (Correct)
Executable Structural Operational Semantics in Maude - Verdejo, Martí-Oliet (2003) (Correct)
Active bibliography (related documents): More All
0.4: Design of a CIL Connector to Maude - Grit Denker Computer (2000) (Correct)
0.2: The Logic of Authentication Protocols - Syverson, Cervesato (2001) (Correct)
0.2: CAPSL Intermediate Language - Denker, Millen (1999) (Correct)
Similar documents based on text: More All
0.5: Cross-Domain Access Control via PKI - Grit Denker And (Correct)
0.4: Optimizing Protocol Rewrite Rules of CIL Specifications - Denker, Millen, Grau, Filipe (2000) (Correct)
0.3: CAPSL Interface for the NRL Protocol Analyzer - Brackin, Meadows, Millen (1999) (Correct)
Related documents from co-citation: More All
16: A meta-notation for protocol analysis - Cervesato, Durgin et al. - 1999
9: IEEE Transactions on Information Theory (context) - Dolev, Yao et al. - 1983
9: Computing symbolic models for verifying cryptographic protocols - FIORE, ABADI - 2001
BibTeX entry: (Update)
G. Denker and J. Millen, "CAPSL Integrated Protocol Environment", In DARPA Information Survivability Conference (DISCEX 2000), pp 207-221, IEEE Computer Society, 2000 http://citeseer.ist.psu.edu/denker00capsl.html More
@misc{ denker00capsl,
author = "G. Denker and J. Millen",
title = "CAPSL Integrated Protocol Environment",
text = "G. Denker and J. Millen, CAPSL Integrated Protocol Environment, In DARPA
Information Survivability Conference (DISCEX 2000), pp 207-221, IEEE Computer
Society, 2000",
year = "2000",
url = "citeseer.ist.psu.edu/denker00capsl.html" }
Citations (may not include all citations):450 Using encryption for authentication in large networks of com.. (context) - Needham, Schroeder - 1978
322 Breaking and fixing the NeedhamSchroeder public-key protocol.. - Lowe - 1996
299 Conditional Rewriting Logic as a Unified Model of Concurrenc.. (context) - Meseguer - 1992
295 PVS: A prototype verification system (context) - Owre, Rushby et al. - 1992
263 The inductive approach to verifying cryptographic protocols - Paulson - 1998
176 Timestamps in key distribution protocols (context) - Denning, Sacco - 1981
140 Reasoning about belief in cryptographic protocols - Gong, Needham et al. - 1990
110 Casper: a compiler for the analysis of security protocols - Lowe - 1998
106 Principles of Maude - Clavel, Eker et al.
104 A meta-notation for protocol analysis - Cervesato, Durgin et al. - 1999
91 Rewriting Logic as a Semantic Framework for Concurrency: A P.. - Meseguer - 1996
78 Security problems in the TCP/IP protocol suite - Bellovin - 1989
44 Reflection and Strategies in Rewriting Logic - Clavel, Meseguer
43 Honest ideals on strand spaces (context) - Thayer, Herzog et al. - 1998
42 CAPSL intermediate language - Denker, Millen - 1999
32 Protocol specification and analysis in Maude - Denker, Meseguer et al. - 1998
25 CAPSL: Common Authentication Protocol Specification Language (context) - Millen - 1997
13 A necessarily parallel attack - Millen - 1999
12 CAPSL interface for the NRL protocol analyzer - Brackin, Meadows et al. - 1999
10 An interface specification language for automatically analyz.. (context) - Brackin - 1997
8 Electronic Notes in Theoretical Computer Science (context) - Meseguer, Logic et al. - 1996
4 CAPSL Web Site (context) - Millen - 1999
1 Aplying formal methods to the analysis of a key management p.. (context) - Meadows - 1992
1 SRI International Computer Science Laboratory (context) - Denker, Millen et al. - 1999
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.csl.sri.com/~denker/pub_99.html): More
CAPSL Intermediate Language - Denker, Millen (1999) (Correct)
Specification and Analysis of a Reliable.. - Denker.. (1999) (Correct)
Rewriting Semantics of Meta-Objects and Composable.. - Denker, Meseguer (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