An Improved Constraint-Based System for the Verification of Security Protocols
Hermenegildo, Manuel ; Puebla, German
Lecture notes in computer science, 2002, Vol.2477, p.326-341
[Periódico revisado por pares]
Germany: Springer Berlin / Heidelberg
Texto completo disponível