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