Implementing Spi Calculus Using Nominal Techniques

DOI10.1007/978-3-540-69407-6_33zbMath1142.68445MaRDI QIDQ3507444

Marino Miculan, Temesghen Kahsai

Publication date: 19 June 2008

Published in: Logic and Theory of Algorithms (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-69407-6_33

Mathematics Subject Classification ID

94A60: Cryptography

03B70: Logic in computer science

68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)

Uses Software

• Isabelle/HOL
• Isar