| Alternate document: Details CAPSL and CIL Language Design A Common Authentication Protocol Specification Language and Its Intermediate Language (99) Grit Denker, |
G. Denker, J. Millen  Home/Search
Context Related
| belllabs.com/cm/cs/who/nch...denker.ps sri.com/~denker/publ/DenMil99b.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: belllabs.com/who/nch/f...program (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: specification of the translation, with an executable version in Maude, meets the need for unambiguous CAPSL semantics. There are areas still under development, especially surrounding the specification and semantics of goals. Due to the experimental activity, design choices are constantly being reexamined and debated. Two are discussed further here: invertibility and session identifiers. Invertibility Generality is an important goal for CAPSL. The "invertible" relation brings us closer to... (Update)
Cited by: More
On Representing Biological Systems through - Multiset Rewriting Bistarelli (Correct)
A Comparison between Strand Spaces and Multiset.. - Cervesato, Durgin.. (2002) (Correct)
Electronic Notes in Theoretical Computer Science 40 (2001) - Url Http Www (Correct)
Similar documents (at the sentence level):
11.1%: CAPSL Integrated Protocol Environment - Denker, Millen (2000) (Correct)
7.6%: CAPSL and CIL Language Design - A Common Authentication.. - Denker, Millen (1999) (Correct)
Active bibliography (related documents): More All
0.2: Security Protocols over open networks and.. - Gritzalis.. (1999) (Correct)
0.2: CAPSL Interface for the NRL Protocol Analyzer - Brackin, Meadows, Millen (1999) (Correct)
0.1: Data Independence in the Model Checking of Security Protocols - Broadfoot (2001) (Correct)
Similar documents based on text: More All
0.6: Cross-Domain Access Control via PKI - Grit Denker And (Correct)
0.4: Specification and Analysis of the AER/NCA Active.. - Ölveczky, Keaton, .. (2001) (Correct)
0.3: Optimizing Protocol Rewrite Rules of CIL Specifications - Denker, Millen, Grau, Filipe (2000) (Correct)
Related documents from co-citation: More All
28: Using encryption for authentication in large networks of computers (context) - Needham, Schroeder - 1978
27: A meta-notation for protocol analysis - Cervesato, Durgin et al. - 1999
24: IEEE Transactions on Information Theory (context) - Dolev, Yao et al. - 1983
BibTeX entry: (Update)
G. Denker and J. Millen. CAPSL Intermediate Language. In N. Heintze and E. Clarke, editors, Workshop on Formal Methods and Security Protocols (FMSP99), Trento, Italy, 1999. Available at http://www.csl.sri.com/~denker/pub_99.html. http://citeseer.ist.psu.edu/denker99capsl.html More
@misc{ denker99capsl,
author = "G. Denker and J. Millen",
title = "CAPSL Intermediate Language",
text = "G. Denker and J. Millen. CAPSL Intermediate Language. In N. Heintze and
E. Clarke, editors, Workshop on Formal Methods and Security Protocols (FMSP99),
Trento, Italy, 1999. Available at http://www.csl.sri.com/~denker/pub_99.html.",
year = "1999",
url = "citeseer.ist.psu.edu/denker99capsl.html" }
Citations (may not include all citations):299 Conditional Rewriting Logic as a Unified Model of Concurrenc.. (context) - Meseguer - 1992 ACM
110 Casper: A compiler for the analysis of security protocols - Lowe - 1998 DBLP
104 A metanotation for protocol analysis - Cervesato, Durgin et al. - 1999
64 Rewriting Logic as a Logical and Semantic Framework - Mart'i-Oliet, Meseguer - 1993 DBLP
32 Protocol Specification and Analysis in Maude - Denker, Meseguer et al. - 1998
25 CAPSL: Common Authentication Protocol Specification Language (context) - Millen - 1997
14 Generating formal cryptographic protocol specifications (context) - Carlsen - 1994 ACM
12 CAPSL Interface for the NRL Protocol Analyzer - Brackin, Meadows et al. - 1999 ACM
10 An interface specification language for automatically analyz.. (context) - Brackin - 1997 ACM
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.bell-labs.com/who/nch/fmsp99/program.html): More
Efficient Infinite-State Analysis of Security Protocols - Huima (1999) (Correct)
Towards the Formal Verification of Ciphers: Logical.. - Massacci, Marraro (1999) (Correct)
Undecidability of Bounded Security Protocols - Mitchell (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