ASPIER
From MaRDI portal
Software:21831
swMATH9852MaRDI QIDQ21831FDOQ21831
Author name not available (Why is that?)
Cited In (6)
- Security protocol verification: symbolic and computational models
- Cryptographic Verification by Typing for a Sample Protocol Implementation
- Authenticated confidential channel establishment and the security of TLS-DHE
- 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
