<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2014-07-18 09:42:13Secure communication Internet protocols Cryptographic protocols Transport Layer Security Internet Standards HTTPS HTTP Strict Transport Security OpenSSL TLS-PSK TLS-SRP GnuTLS Cipher suite |
| PDF DocumentDocID: 1w1sP - View Document |
| This document includes text contributed by Nikos Mavrogiannopoulos, Simon Josefsson, Daiki Ueno, Carolin Latze, Alfredo Pironti, Ted Zlatanov and Andrew McDonald. Several corrections are due to Patrick Pelletier and AndrDocID: 1uGpT - View Document |
| GnuTLS Simon Josefsson http://josefsson.org/DocID: 1u2ly - View Document |
| Implementing TLS with Verified Cryptographic Security Karthikeyan Bhargavan ∗ 1 , C´edric Fournet † 2 , Markulf Kohlweiss ‡ 2 , Alfredo Pironti § 1 , and Pierre-Yves Strub ¶ 3 1DocID: 1ng2e - View Document |
| Implementing TLS with Verified Cryptographic Security Karthikeyan Bhargavan ∗ 1 , C´edric Fournet † 2 , Markulf Kohlweiss ‡ 2 , Alfredo Pironti § 1 , and Pierre-Yves Strub ¶ 3 1DocID: 1mjTA - View Document |