A Logic of Belief and a Model Checking Algorithm for Security Protocols.

Massimo Benerecetti, Fausto Giunchiglia, Maurizio Panti, Luca Spalazzi

Browse the full FORTE paper archive.