HERMES

MaRDI QIDQ13163swMATHFDO

Official website http://link.springer.com/chapter/10.1007/978-3-540-45069-6_23

Cited in

(13)

• AVISPA
• Timbuk
• Casper
• simpleAPL
• SATMC
• Computational soundness of symbolic analysis for protocols using hash functions
• Relating two standard notions of secrecy
• Approximation-based tree regular model-checking
• Handling Algebraic Properties in Automatic Analysis of Security Protocols
• Comparing State Spaces in Automatic Security Protocol Analysis
• Programming Languages and Systems
• Programming Languages and Systems
• Computer Aided Verification

This page was built for software: HERMES