Planning-Based Security Testing of the SSL/TLS Protocol

Josip Bozic, Kristoffer Kleine, Dimitris E. Simos, Franz Wotawa. Planning-Based Security Testing of the SSL/TLS Protocol. In 2017 IEEE International Conference on Software Testing, Verification and Validation Workshops, ICST Workshops 2017, Tokyo, Japan, March 13-17, 2017. pages 347-355, IEEE Computer Society, 2017. [doi]

Authors

Josip Bozic

This author has not been identified. Look up 'Josip Bozic' in Google

Kristoffer Kleine

This author has not been identified. Look up 'Kristoffer Kleine' in Google

Dimitris E. Simos

This author has not been identified. Look up 'Dimitris E. Simos' in Google

Franz Wotawa

This author has not been identified. Look up 'Franz Wotawa' in Google