"Verifying Security Properties of Cryptoprotocols: A Novel Approach."

Mohamed Saleh, Mourad Debbabi (2007)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics