The TAMARIN Prover for the Symbolic Analysis of Security Protocols
Meier, Simon ; Schmidt, Benedikt ; Cremers, Cas ; Basin, David
Computer Aided Verification, p.696-701
[Periódico revisado por pares]
Berlin, Heidelberg: Springer Berlin Heidelberg
Texto completo disponível