Analyzing security protocols with secrecy types and logic programs
ABADI, Martin ; BLANCHET, Bruno
Journal of the ACM, 2005, Vol.52 (1), p.102-146
[Periódico revisado por pares]
New York, NY: Association for Computing Machinery
Texto completo disponível