A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
Spi calculus translated to /spl pi/-calculus preserving may-tests
2004
Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, 2004.
We present a concise and natural encoding of the spicalculus into the more basic -calculus and establish its correctness with respect to a formal notion of testing. This is particularly relevant for security protocols modelled in spi since the tests can be viewed as adversaries. The translation has been implemented in a prototype tool. As a consequence, protocols can be described in the spi calculus and analysed with the emerging flora of tools already available for . The translation also
doi:10.1109/lics.2004.1319597
dblp:conf/lics/BaldamusPV04
fatcat:3sdocx6g7rbzdodtao2gxvuwxe