On Bisimulations for the Spi Calculus*

DOI10.1007/3-540-45719-4_20zbMath1275.68101OpenAlexW3022519507MaRDI QIDQ2996142

Johannes Borgström, Uwe Nestmann

Publication date: 6 May 2011

Published in: Algebraic Methodology and Software Technology (Search for Journal in Brave)

Full work available at URL: https://infoscience.epfl.ch/record/52540/files/IC_TECH_REPORT_200334.pdf

Mathematics Subject Classification ID

Cryptography (94A60) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (4)

Computing strong and weak bisimulations for psi-calculi ⋮ A bisimulation for dynamic sealing ⋮ Automated verification of selected equivalences for security protocols ⋮ Unnamed Item

This page was built for publication: On Bisimulations for the Spi Calculus*