DMCA

Modeling adversaries in a logic for security protocol analysis

by Joseph Y. Halpern , Riccardo Pucella
Venue:In Proc. Formal Aspects of Security (FASec 2002). Lecture Notes in Computer Science
Citations:23 - 1 self