Context-sensitive equivalences for non-interference based protocol analysis.

DOI10.1007/B11926MaRDI QIDQ5900812zbMATH OpenOpenAlexFDO

Authors Michele Bugliesi, Ambra Ceccato, Sabina Rossi

Publication date 20 April 2010

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b11926

Mathematics Subject Classification ID

Network protocols (68M12) Cryptography (94A60)

Recommendations

• Proof techniques for cryptographic processes
• scientific article; zbMATH DE number 1670837
• Mathematical Foundations of Computer Science 2003
• scientific article; zbMATH DE number 1405638
• Bisimulation-based non-deterministic admissible interference and its application to the analysis of cryptographic protocols

Cited in

(5)

• Assumption-based analysis of distance-bounding protocols with \textsc{cpsa}
• scientific article; zbMATH DE number 1670837 (Why is no real title available?)
• Bisimulation-based non-deterministic admissible interference and its application to the analysis of cryptographic protocols
• Safe equivalences for security properties
• Security Protocol Analysis in Context: Computing Minimal Executions Using SMT and CPSA

This page was built for publication: Context-sensitive equivalences for non-interference based protocol analysis.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5900812)