On Bisimulations for the Spi Calculus

The spi calculus is an extension of the pi calculus with cryptographic primitives, designed for the verification of cryptographic protocols. Due to the extension, the naive adaptation of labeled bisimulations for the pi calculus is too strong to be useful for the purpose of verification. Instead, as a viable alternative, several "environment-sensitive" bisimulations have been proposed.In this report we formally study the differences between these bisimulations.


Year:
2003
Keywords:
Note:
Extended abstract in Proceedings of AMAST 2002, Lecture Notes in Computer Science LNCS 2422
Laboratories:




 Record created 2005-07-13, last modified 2018-03-17

n/a:
Download fulltext
PDF

Rate this document:

Rate this document:
1
2
3
 
(Not yet reviewed)