EXPLOITING SYMMETRIES FOR TESTING EQUIVALENCE VERIFICATION IN THE SPI CALCULUS

DOI10.1142/S0129054106004121zbMath1096.68048MaRDI QIDQ5484904

Luca Durante, Riccardo Sisto, Ivan Cibrario Bertolotti, Adriano Valenzano

Publication date: 21 August 2006

Published in: International Journal of Foundations of Computer Science (Search for Journal in Brave)

zbMATH Keywords

model checkingcryptographic protocolstesting equivalencespi calculus

Mathematics Subject Classification ID

Cryptography (94A60) Data encryption (aspects in computer science) (68P25)

Uses Software

• Casper

Cites Work

• Unnamed Item
• A calculus of mobile processes. I
• Proof Techniques for Cryptographic Processes
• Using encryption for authentication in large networks of computers
• A logic of authentication

This page was built for publication: EXPLOITING SYMMETRIES FOR TESTING EQUIVALENCE VERIFICATION IN THE SPI CALCULUS