Verification of the SSL/TLS Protocol Using a Model Checkable Logic of Belief and Time.

Massimo Benerecetti, Maurizio Panti, Luca Spalazzi, Simone Tacconi

Browse the full SAFECOMP paper archive.