Citation:IEEE International Workshops on Enabling Technologies: Infrastructure of Collaborative Enterprises Linz, Austria
Abstract:
This paper describes the use of the Flexible Modeling Framework (FMF) for model checking (MC) to perform and search for vulnerabilities in the Secure Socket Layer (SSL) communication protocol.