Massimo Benerecetti Maurizio Panti Luca Spalazzi Simone Tacconi Verification of the SSL/TLS Protocol Using a Model Checkable Logic of Belief and Time. 126-138 2002 conf/safecomp/2002 SAFECOMP http://link.springer.de/link/service/series/0558/bibs/2434/24340126.htm db/conf/safecomp/safecomp2002.html#BenerecettiPST02