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...

Full description

Bibliographic Details

Published in:	Communications of the ACM Vol. 60; no. 2; pp. 99 - 108
Main Authors:	Beurdouche, Benjamin, Bhargavan, Karthikeyan, Delignat-Lavaud, Antoine, Fournet, Cédric, Kohlweiss, Markulf, Pironti, Alfredo, Strub, Pierre-Yves, Zinzindohoue, Jean Karim
Format:	Article
Published:	Association for Computing Machinery Feb2017
Subjects:	Computer network protocols Finite state machines Client/server computing Computer security OpenSSL (Computer software)
Online Access:	View this record in EBSCOhost