Loading...
report
On Bisimulations for the Spi Calculus
Borgström, Johannes
•
Nestmann, Uwe
2003
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.
Loading...
Name
IC_TECH_REPORT_200334.pdf
Access type
openaccess
Size
474.17 KB
Format
Adobe PDF
Checksum (MD5)
9e7644ecf6122968c0501dcd5a51789a