Benjamin Dowling, Douglas Stebila. Modelling Ciphersuite and Version Negotiation in the TLS Protocol. In Ernest Foo, Douglas Stebila, editors, Information Security and Privacy - 20th Australasian Conference, ACISP 2015, Brisbane, QLD, Australia, June 29 - July 1, 2015, Proceedings. Volume 9144 of Lecture Notes in Computer Science, pages 270-288, Springer, 2015. [doi]
Abstract is missing.