Paolo Maggi Riccardo Sisto Using SPIN to Verify Security Properties of Cryptographic Protocols. 187-204 2002 conf/spin/2002 SPIN http://link.springer.de/link/service/series/0558/bibs/2318/23180187.htm db/conf/spin/spin2002.html#MaggiS02