Johannes Borgstrom and Uwe Nestmann KTH, Sweden EPFL, Switzerland  Home/Search
Context Related
Links: ACM DBLP | lampwww.epfl.ch/~u...spisimulation.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: lampwww.epfl.ch...lications.shtml (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The spi calculus is an extension of the pi calculus with cryptographic primitives, designed for the verification of cryptographic protocols. (Update)
Cited by: More
Complete Lax Logical Relations for Cryptographic.. - Goubault-Larrecq.. (2004) (Correct)
On Bisimulations for the Spi Calculus - Johannes Borgstrom Epfl (2002) (Correct)
A Bisimulation for Dynamic Sealing - Sumii, Pierce (2004) (Correct)
Active bibliography (related documents): More All
0.3: Electronic Notes in Theoretical Computer Science 68 No. 6 (2003) - Url Http Www (Correct)
0.3: Deciding Framed Bisimilarity - Hans Uttel Brics (2002) (Correct)
0.0: Proof Techniques for Cryptographic Processes - Boreale, De Nicola, Pugliese (1999) (Correct)
Similar documents based on text: More All
0.4: A Logical ramework for the spi-calculus - Montanari, Tuosto (Correct)
0.4: A Calculus for Cryptographic Protocols - The Spi Calculus - Abadi, Gordon (1997) (Correct)
0.3: A BRUTUS Logic for the Spi-Calculus - Gnesi, Latella, Lenzini (2001) (Correct)
Related documents from co-citation: More All
8: Proof techniques for cryptographic processes - Boreale, De Nicola et al. - 1999
6: A calculus for cryptographic protocols: The spi calculus - Abadi, Gordon - 1997
6: A Bisimulation Method for Cryptographic Protocols - Abadi, Gordon - 1998
BibTeX entry: (Update)
J. Borgstrom and U. Nestmann. On Bisimulation in the Spi Calculus. Draft full version, available from http://lamp.epfl.ch/uwe/doc/spi/, 2002. http://citeseer.ist.psu.edu/651225.html More
@misc{ borgstrom02bisimulation,
author = "J. Borgstrom and U. Nestmann",
title = "On Bisimulation in the Spi Calculus",
text = "J. Borgstrom and U. Nestmann. On Bisimulation in the Spi Calculus. Draft
full version, available from http://lamp.epfl.ch/uwe/doc/spi/, 2002.",
year = "2002",
url = "citeseer.ist.psu.edu/651225.html" }
Citations (may not include all citations):404 A Calculus for Cryptographic Protocols: The Spi Calculus - Abadi, Gordon - 1999 DBLP
197 Barbed Bisimulation - Milner, Sangiorgi - 1992 ACM DBLP
178 Communicating and Mobile Systems: the #-Calculus (context) - Milner - 1999
59 A Bisimulation Method for Cryptographic Protocols - Abadi, Gordon - 1998 ACM DBLP
44 Proof Techniques for Cryptographic Processes - Boreale, De Nicola et al. - 1999 ACM DBLP
44 Proof Techniques for Cryptographic Processes - Boreale, De Nicola et al. - 2002
6 On Bisimulation in the Spi Calculus - Borgstrom, Nestmann - 2002
4 Towards Automatic Bisimilarity Checking in the Spi Calculus (context) - Elkjr, Hohle et al. - 1999
2 Two Notions of Bisimilarity for Cryptographic Processes (context) - Frendrup, Huttel et al. - 2001
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://lampwww.epfl.ch/~uwe/publications.shtml): More
Surrogates in Øjeblik: Towards Migration in Obliq - Hüttel, Kleist, Nestmann.. (1998) (Correct)
Local pi-Calculus at Work: Mobile Objects as Mobile Processes - Merro, Kleist, Nestmann (Correct)
Local pi-Calculus at Work: Mobile Objects as Mobile Processes - Merro, Kleist, Nestmann (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