Stefano Bistarelli, Iliano Cervesato, Gabriele Lenzini, Fabio Martinelli  Home/Search
Context Related
| sci.unich.it/~bista/papers...wits03.pdf Cached: 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.
PS.gz PS Image Update HelpFrom: sci.unich.it/~bista/paper...index (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: When formalizing security protocols, di#erent specification languages support very di#erent reasoning methodologies, whose results are not directly or easily comparable. Therefore, establishing clear relationships among di#erent frameworks is highly desirable, as it permits various methodologies to cooperate by interpreting theoretical and practical results of one system in another. In this paper, we examine the nontrivial relationship between two general verification frameworks: ... (Update)
Cited by: More
On Representing Biological Systems through - Multiset Rewriting Bistarelli (Correct)
Relating Multiset Rewriting and Process - Algebras For Security (Correct)
The Logical Meeting Point of Multiset Rewriting and Process.. - Cervesato (2004) (Correct)
Similar documents (at the sentence level):
40.7%: Relating Process Algebras and Multiset Rewriting.. - Bistarelli.. (2002) (Correct)
28.5%: Relating Process Algebras and Multiset Rewriting.. - Bistarelli.. (2002) (Correct)
5.7%: Relating Process Algebras and Multiset Rewriting.. - Bistarelli.. (2002) (Correct)
Active bibliography (related documents): More All
0.5: A BRUTUS Logic for the Spi-Calculus - Gnesi, Latella, Lenzini (2001) (Correct)
0.3: A "Brutus" model checking of a spi-calculus dialect (Extended.. - Gnesi, al. (2000) (Correct)
0.3: Encryption as an abstract data-type: An extended abstract - Miller (2003) (Correct)
Similar documents based on text: More All
0.4: Solving Finite Domain Constraint Hierarchies by Local.. - Bistarelli, al. (2003) (Correct)
0.3: On Representing Biological Systems through Multiset.. - Martinelli.. (Correct)
0.3: Relating Strands and Multiset Rewriting for.. - Cervesato.. (2000) (Correct)
Related documents from co-citation: More All
9: A meta-notation for protocol analysis - Cervesato, Durgin et al. - 1999
5: Application of a stochastic name-passing calculus to representation and simulati.. (context) - Priami, Regev et al. - 2001
5: Computational Molecular Biology (context) - Pevzner - 2000
BibTeX entry: (Update)
S. Bistarelli, I. Cervesato, G. Lenzini, and F. Martinelli. Relating process algebras and multiset rewriting (for example for security protocol analysis). Technical report, Istituto di Scienza e Tecnologie dell'Informazione (ISTI-CNR), 2002. To appear. http://citeseer.ist.psu.edu/bistarelli02relating.html More
@misc{ bistarelli02relating,
author = "S. Bistarelli and I. Cervesato and G. Lenzini and F. Martinelli",
title = "Relating process algebras and multiset rewriting",
text = "S. Bistarelli, I. Cervesato, G. Lenzini, and F. Martinelli. Relating process
algebras and multiset rewriting (for example for security protocol analysis).
Technical report, Istituto di Scienza e Tecnologie dell'Informazione (ISTI-CNR),
2002. To appear.",
year = "2002",
url = "citeseer.ist.psu.edu/bistarelli02relating.html" }
Citations (may not include all citations):854 Information and Computation (context) - Milner, Parrow et al. - 1992 DBLP
317 IEEE Transaction on Information Theory (context) - Dolev, Yao et al. - 1983
302 A logic of authentication - Burrows, Abadi et al. - 1989 ACM DBLP
202 International Series in Computer Science (context) - Milner, Concurrency - 1989
178 Communicating and Mobile Systems: the #-Calculus (context) - Milner - 2000
134 The NRL protocol analyzer: an overview - Meadows - 1994 DBLP
104 A MetaNotation for Protocol Analysis - Cervesato, Durgin et al. - 1999
98 Security properties and CSP - Schneider - 1996 ACM
90 Strand spaces: Why is a security protocol correct (context) - Thayer, Herzog et al. - 1998
70 Verifying Authentication Protocols in CSP (context) - Schneider - 1998 ACM DBLP
59 A Bisimulation Methods for Cryptographic Protocols - Abadi, Gordon - 1998
54 Authenticity by Typing for Security Protocols - Gordon, Je - 2001 ACM DBLP
48 Reasoning about Cryptographic Protocols in the Spi Calculus - Abadi, Gordon - 1997 ACM DBLP
43 Honest ideals on strand spaces (context) - Thayer, Herzog et al. - 1998 ACM DBLP
43 The Compositional Security Checker: A tool for the Verificat.. - Focardi, Gorrieri - 1997 ACM DBLP
42 Relating strands and multiset rewriting for security protoco.. - Cervesato, Durgin et al. - 2000 ACM DBLP
33 Analyzing Security Protocols with Secrecy Types and Logic Pr.. - Abadi, Blanchet - 2002 ACM DBLP
30 Capsl integrated protocol environment - Denker, Millen - 2000
30 Computing Symbolic Models for Verifying Cryptographic Protoc.. - Fiore, Abadi - 2001 ACM DBLP
27 Events in security protocols - Crazzolara, Winskel - 2001 ACM DBLP
9 A Machine Checkable Logic of Knowledge for Protocols (context) - Clarke, Jha et al. - 1998
9 NonInterference for the Analysis of Cryyptographic Protocols (context) - Focardi, Gorrieri et al. - 2000
9 Optimizing protocol rewrite rules of CIL specifications - Denker, Millen et al. - 2000 ACM DBLP
7 Relating multiset rewriting and process algebras (context) - Bistarelli, Cervesato et al. - 2003
5 A Uniform Approch for the Definition of Security Properties (context) - Focardi, Martinelli - 1999
3 Higher-order quantification and proof search - Miller - 2002 ACM DBLP
Documents on the same site (http://www.sci.unich.it/~bista/papers/index.html): More
Computer Algebra for Fingerprint Matching - Bistarelli, Bo, Rossi (Correct)
Solving Finite Domain Constraint Hierarchies by Local .. - Bistarelli.. (2003) (Correct)
A Theoretical Framework for Tradeoff Generation Using.. - Bistarelli, O'Sullivan (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