M. Llanos Tobarra Diego Cazorla Juan José Pardo Fernando Cuartero Formal Verification of the Secure Sockets Layer Protocol. 246-252 2008 ICEIS (3-2) conf/iceis/2008-3-2 db/conf/iceis/iceis2008-3-2.html#TobarraCPC08