Modelling Ciphersuite and Version Negotiation in the TLS Protocol
2015 ◽
pp. 270-288
◽