Safety versus Secrecy
No abstract available.
Related papers
- Equality-based flow analysis versus recursive types TOPLAS 1998
- From Secrecy to Authenticity in Security Protocols SAS 2002
- Computational Secrecy by Typing for the Pi Calculus APLAS 2006
- Pattern-Based Abstraction for Verifying Secrecy in Protocols TACAS 2003
- Static Analysis with Set-Closure in Secrecy SAS 2015
- HERMES: An Automatic Tool for Verification of Secrecy in Security Protocols CAV 2003
- Analyzing security protocols with secrecy types and logic programs POPL 2002
- The SLam Calculus: Programming with Secrecy and Integrity POPL 1998