Iliano Cervesato  Home/Search
Context Related
| stanford.edu/~iliano/pap...mfps01.ps.gz disi.unige.it/person/Delzan...cer.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: stanford.edu/~i...orthcomingmain (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: MSR is an unambiguous, flexible, powerful and relatively Submitted to the Seventeenth Conference on the Mathematical Foundations of Programming Semantics --- MFPS-XVII, Aarhus, Denmark, 24--27 May 2001. simple specification framework for crypto-protocols. It uses multiset rewriting rules over first-order atomic formulas to express protocol actions and relies on a form of existential quantification to symbolically model the generation of nonces and other fresh data. It supports an array of... (Update)
Cited by: More
Fine-Grained MSR Specifications for Quantitative Security Analysis - Cervesato (2004) (Correct)
Formal Analysis of Kerberos 5 - Frederick Butler Iliano (Correct)
Representing the MSR Cryptoprotocol Specification Language.. - Cervesato, Stehr (2005) (Correct)
Similar documents (at the sentence level): More
25.5%: Typed Multiset Rewriting Specifications of Security Protocols - Cervesato (2000) (Correct)
20.7%: Electronic Notes in Theoretical Computer Science 40 (2001) - Url Http Www (Correct)
15.4%: Typed MSR: Syntax and Examples - Cervesato (2001) (Correct)
Active bibliography (related documents): More All
0.1: Relating Multiset Rewriting and Process - Algebras For Security (Correct)
0.1: Multiset Rewriting and the Complexity of Bounded.. - Durgin, Lincoln.. (2002) (Correct)
0.1: The Wolf Within - Cervesato (2002) (Correct)
Similar documents based on text: More All
0.6: Relating Process Algebras and Multiset Rewriting.. - Bistarelli.. (2002) (Correct)
0.6: Relating Process Algebras and Multiset Rewriting.. - Bistarelli.. (2002) (Correct)
0.5: A Linear Spine Calculus - Cervesato, Pfenning (2003) (Correct)
Related documents from co-citation: More All
7: IEEE Transactions on Information Theory (context) - Dolev, Yao et al. - 1983
7: Typed MSR: Syntax and examples - Cervesato - 2001
7: Using encryption for authentication in large networks of computers (context) - Needham, Schroeder - 1978
BibTeX entry: (Update)
I. Cervesato. A specification language for crypto-protocol based on multiset rewriting, dependent types and subsorting. Submitted to the Seventeenth Conference on the Mathematical Foundations of Programming Semantics --- MFPS-XVII (O. Danvy and M. Mislove and D. Schmidt, Editors), Aarhus, Denmark, 24--27 May 2001. http://citeseer.ist.psu.edu/cervesato01specification.html More
@misc{ cervesato01specification,
author = "I. Cervesato",
title = "A specification language for crypto-protocol based on multiset rewriting",
text = "I. Cervesato. A specification language for crypto-protocol based on multiset
rewriting, dependent types and subsorting. Submitted to the Seventeenth
Conference on the Mathematical Foundations of Programming Semantics ---
MFPS-XVII (O. Danvy and M. Mislove and D. Schmidt, Editors), Aarhus, Denmark,
24--27 May 2001.",
year = "2001",
url = "citeseer.ist.psu.edu/cervesato01specification.html" }
Citations (may not include all citations):450 Using encryption for authentication in large networks of com.. (context) - Needham, Schroeder - 1978
404 A calculus for cryptographic protocols: the spi calculus - Abadi, Gordon - 1999
317 IEEE Transactions on Information Theory (context) - Dolev, Yao et al. - 1983
302 A logic of authentication - Burrows, Abadi et al. - 1989
171 Prudent engineering practice for cryptographic protocols - Abadi, Needham - 1994
134 The NRL protocol analyzer: an overview - Meadows - 1996
104 A meta-notation for protocol analysis - Cervesato, Durgin et al. - 1999
71 Undecidability of bounded security protocols - Durgin, Lincoln et al. - 1999
63 Operating Systems Review (context) - Otway, Rees et al. - 1987
51 Key management for large dynamic groups: One-way function tr.. (context) - Balenson, McGrew et al. - 2000
44 A survey of authentication protocol literature (context) - Clark, Jacob - 1997
42 CAPSL Intermediate Language - Denker, Millen - 1999
42 Relating strands and multiset rewriting for security protoco.. - Cervesato, Durgin et al. - 2000
42 Strand spaces: Why is a security protocol correct (context) - Fabrega, Herzog et al. - 1998
40 Subtyping dependent types - Aspinall, Compagnoni - 1996
38 Refinement types for logical frameworks - Pfenning - 1993
20 Interpreting strands in linear logic - Cervesato, Durgin et al. - 2000
9 Typed multiset rewriting specifications of security protocol.. - Cervesato - 2000
3 Submitted to the First International Workshop on Mathematica.. (context) - Cervesato, Syntax - 2001
1 Submitted to the Sixteenth Annual IEEE Symposium on Logic in.. (context) - Cervesato, access et al. - 2001
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://theory.stanford.edu/~iliano/forthcoming-main.html): More
Linear Higher-Order Pre-Unification - Iliano Cervesato, Frank Pfenning (1997) (Correct)
Logical Framework Design: Why not just classical logic? - Cervesato (Correct)
Petri Nets as Multiset Rewriting Systems in a Linear Framework - Cervesato (1994) (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