swMATH9852MaRDI QIDQ21831FDOQ21831
Author name not available (Why is that?)
Official website: http://ieeexplore.ieee.org/xpl/login.jsp?tp=&arnumber=5230617
Cited In (13)
- 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
- TulaFale
- EasyCrypt
- CryptoVerif
- Spi2Java
- JavaSPI
- MJ
- ZKPDL
- Proved generation of implementations from computationally secure protocol specifications
- Gaining trust by tracing security protocols
This page was built for software: ASPIER
