ASPIER
From MaRDI portal
Software:21831
No author found.
Related Items (6)
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 ⋮ Authenticated confidential channel establishment and the security of TLS-DHE ⋮ Cryptographic Verification by Typing for a Sample Protocol Implementation ⋮ Gaining trust by tracing security protocols
This page was built for software: ASPIER
