"Modeling Adversaries in a Logic for Security Protocol Analysis"

Joseph Y. Halpern, Riccardo Pucella (2006)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics