author : Riccardo Pucella

Short works

• Modeling adversaries in a logic for security protocol analysis. 2003. (In Formal Aspects of Security )