Modeling Adversaries in a Logic for Security Protocol Analysis. (2002)

by J Y Halpern, R Pucella
Venue:In Proc. of the Workshop on Formal Aspects of Security (FASec02),