Wilfredo Rogelio Marrero;Edmund M. Clarke
-;-
Experimenting with STA, a tool for automatic analysis of security protocols
Proceedings of the 2002 ACM symposium on Applied computing
A structured operational semantic modelling of the Dolev-Yao threat environment and its composition with cryptographic protocols
Computer Standards & Interfaces