Planning-Based Security Testing of the SSL/TLS Protocol.

Josip Bozic, Kristoffer Kleine, Dimitris E. Simos, Franz Wotawa

Browse the full ICST paper archive.