Techniques for Security Checking

DOI10.1016/S1571-0661(04)00328-7zbMath1268.68121WikidataQ62045738 ScholiaQ62045738MaRDI QIDQ2841279

Chiara Bodei, Roberto Gorrieri, Riccardo Focardi, Fabio Martinelli, Pierpaolo Degano

Publication date: 24 July 2013

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Mathematics Subject Classification ID

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

Cites Work

• A calculus for cryptographic protocols: The spi calculus
• Static analysis for the \(\pi\)-calculus with applications to security
• Cryptographic Analysis in Cubic Time
• Secrecy by typing in security protocols
• On the security of public key protocols
• Shape analysis for mobile ambients
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Techniques for Security Checking