Skip navigation
Skip navigation

Automating Open Bisimulation Checking for the Spi Calculus

Tiu, Alwen; Dawson, Jeremy


We consider the problem of automating open bisimulation checking for the spi-calculus, an extension of the pi-calculus with cryptographic primitives. The notion of open bisimulation considered here is indexed by a (symbolic) environment, represented as bi-traces (i.e., pairs of symbolic traces), which encode the history of interaction between the intruder with the processes being checked for bisimilarity. A crucial part of the definition of this open bisimulation, that is, the notion of...[Show more]

CollectionsANU Research Publications
Date published: 2010
Type: Conference paper
Source: Proceedings of IEEE Computer Security Foundations Symposium 2010
DOI: 10.1109/CSF.2010.28


File Description SizeFormat Image
01_Tiu_Automating_Open_Bisimulation_2010.pdf356.02 kBAdobe PDF    Request a copy
02_Tiu_Automating_Open_Bisimulation_2010.pdf407.58 kBAdobe PDF    Request a copy

Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.

Updated:  22 January 2019/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator