A Messy State of the Union: Taming the Composite State Machines of TLS.

The Transport Layer Security (TLS) protocol supports various authentication modes, key exchange methods, and protocol extensions. Confusingly, each combination may prescribe a different message sequence between the client and the server, and thus a key challenge for TLS implementations is to define...

Descripción completa

Detalles Bibliográficos

Publicado en:	Communications of the ACM Vol. 60; no. 2; pp. 99 - 108
Autores principales:	Beurdouche, Benjamin, Bhargavan, Karthikeyan, Delignat-Lavaud, Antoine, Fournet, Cédric, Kohlweiss, Markulf, Pironti, Alfredo, Strub, Pierre-Yves, Zinzindohoue, Jean Karim
Formato:	Artículo
Publicado:	Association for Computing Machinery Feb2017
Materias:	Computer network protocols Finite state machines Client/server computing Computer security OpenSSL (Computer software)
Acceso en línea:	Ver este registro en EBSCOhost