Federico Crazzolara Glynn Winskel Computer Laboratory, University of...  Home/Search
Context Related
Links: ACM DBLP | chispaces.com/papers/eventsInSec.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: brics.dk/~milicia/libraryGM (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The events of a security protocol and their causal dependency can play an important role in the analysis of security properties. This insight underlies both strand spaces and the inductive method. But neither of these approaches builds up the events of a protocol in a compositional way, so that there is an informal spring from the protocol to its model. By broadening the models to certain kinds of Petri nets, a restricted form of contextual nets, a compositional eventbased semantics is given to ... (Update)
Cited by: More
A Comparison between Strand Spaces and Multiset.. - Cervesato, Durgin.. (2002) (Correct)
Relating Multiset Rewriting and Process - Algebras For Security (Correct)
The Logical Meeting Point of Multiset Rewriting and Process.. - Cervesato (2004) (Correct)
Active bibliography (related documents): More All
0.3: Precategories for Combining Probabilistic Automata - Mateus, Sernadas, Sernadas (1999) (Correct)
0.3: Combining Probabilistic Automata: Categorial Characterization - Mateus, Sernadas (Correct)
0.1: Petri Nets in Cryptographic Protocols - Crazzolara, Winskel (2001) (Correct)
Similar documents based on text: More All
0.3: From Security Protocol Language to Coloured Petri Nets - Thomas Mailund Th (Correct)
0.3: $\chi$-Spaces: Programming Security Protocols - Milicia (2002) (Correct)
0.3: Obtaining Finite-State Representations for SPL Thomas Mailund .. - Language To The (Correct)
Related documents from co-citation: More All
13: Strand spaces: Why is a security protocol correct (context) - Thayer, Jonathan et al. - 1998
13: Communicating and Mobile Systems: The -Calculus (context) - Milner - 1999
11: Information and Computation (context) - Milner, Parrow et al. - 1992
BibTeX entry: (Update)
F. Crazzolara and G. Winskel. Event in security protocols. In Proceedings of the Eight ACM CCS, November 2001. http://citeseer.ist.psu.edu/549590.html More
@inproceedings{ crazzolara01events,
author = "Federico Crazzolara and Glynn Winskel",
title = "Events in security protocols",
booktitle = "{ACM} Conference on Computer and Communications Security",
pages = "96-105",
year = "2001",
url = "citeseer.ist.psu.edu/549590.html" }
Citations (may not include all citations):1529 A method for obtaining digital signatures and public-key cry.. - Rivest, Shamir et al. - 1978 ACM DBLP
404 A calculus for cryptographic protocols: The Spi calculus - Abadi, Gordon - 1997 DBLP
322 Breaking and fixing the Needham-Schroeder public-key protoco.. - Lowe - 1996 ACM DBLP
178 Communicating and mobile systems: The #-calculus (context) - Milner - 1999
144 Models for concurrency - Winskel, Nielsen - 1995 ACM DBLP
125 Event structures (context) - Winskel - 1986
106 Observable properties of higher order functions that dynamic.. - Pitts, Stark - 1993
97 the security of public key protocols (context) - Dolev, Yao - 1983
90 Strand spaces: Why is a security protocol correct (context) - Thayer, Herzog et al. - 1998
46 Acta Informatica (context) - Montanari, Rossi - 1995
42 Relating strands and multiset rewriting for security protoco.. - Cervesato, Durgin et al. - 2000
20 Interpreting strands in linear logic - Cervesato, Durgin et al. - 2000
11 Proving security protocols correct (context) - Paulson - 1999 ACM DBLP
9 Linear logic on Petri nets - Engberg, Winskel - 1993
3 and compositionality (context) - Winskel, algebras - 1987
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.brics.dk/~milicia/libraryGM.htm): More
Language, Semantics and Methods for Cryptographic Protocols - Crazzolara, Winskel (2000) (Correct)
$\chi$-Spaces: From a model to a working language - Caccamo, Crazzolara, Milicia (Correct)
Petri Nets in Cryptographic Protocols - Crazzolara, Winskel (2001) (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