ASPIER
From MaRDI portal
Software:21831
swMATH9852MaRDI QIDQ21831FDOQ21831
Author name not available (Why is that?)
Cited In (6)
- Cryptographic Verification by Typing for a Sample Protocol Implementation
- Authenticated confidential channel establishment and the security of TLS-DHE
- Security Protocol Verification: Symbolic and Computational Models
- On the Security of TLS-DHE in the Standard Model
- Proved Generation of Implementations from Computationally Secure Protocol Specifications
- Gaining trust by tracing security protocols
This page was built for software: ASPIER
