swMATH403MaRDI QIDQ13163FDOQ13163
Author name not available (Why is that?)
Official website: http://link.springer.com/chapter/10.1007/978-3-540-45069-6_23
Cited In (13)
- Computer Aided Verification
- Relating two standard notions of secrecy
- Handling Algebraic Properties in Automatic Analysis of Security Protocols
- Approximation-based tree regular model-checking
- AVISPA
- Casper
- Timbuk
- simpleAPL
- SATMC
- Programming Languages and Systems
- Programming Languages and Systems
- Computational soundness of symbolic analysis for protocols using hash functions
- Comparing State Spaces in Automatic Security Protocol Analysis
This page was built for software: HERMES
