Model Checking Security Protocols Using a Logic of Belief.

Massimo Benerecetti, Fausto Giunchiglia

Browse the full TACAS paper archive.