39 search results - page 2 / 8 » A Modular Security Analysis of the TLS Handshake Protocol |
NDSS
2002
IEEE
13 years 9 months ago
2002
IEEE
TLS is the protocol of choice for securing today’s ecommerce and online transactions, but adding TLS to a web server imposes a significant overhead relative to an insecure web ...
IACR
2011
12 years 4 months ago
2011
TLS is the most important cryptographic protocol in use today. However, up to now there is no complete cryptographic security proof in the standard model, nor in any other model. ...
INFOCOM
2006
IEEE
13 years 11 months ago
2006
IEEE
Abstract— The pre-shared key based mechanisms for Transport Layer Security (TLS) were recently standardized by the IETF to extend the set of ciphersuites by utilizing existing ke...
SP
2003
IEEE
13 years 10 months ago
2003
IEEE
Consider a CIA agent who wants to authenticate herself to a server, but does not want to reveal her CIA credentials unless the server is a genuine CIA outlet. Consider also that t...
ICDCS
2005
IEEE
13 years 10 months ago
2005
IEEE
TLS has been formally analyzed with the OTS/CafeOBJ method. In the method, distributed systems are modeled as transition systems, which are written in terms of equations, and it i...