Benjamin Dowling, Douglas Stebila. Modelling ciphersuite and version negotiation in the TLS protocol. IACR Cryptology ePrint Archive, 2015:652, 2015. [doi]
@article{DowlingS15-0, title = {Modelling ciphersuite and version negotiation in the TLS protocol}, author = {Benjamin Dowling and Douglas Stebila}, year = {2015}, url = {http://eprint.iacr.org/2015/652}, researchr = {https://researchr.org/publication/DowlingS15-0}, cites = {0}, citedby = {0}, journal = {IACR Cryptology ePrint Archive}, volume = {2015}, pages = {652}, }