The TAMARIN Prover for the Symbolic Analysis of Security Protocols.

Simon Meier Benedikt Schmidt Cas Cremers David A. Basin

Published in: CAV (2013)

Keyphrases

security protocols
data analysis
databases
case study
source code
data processing
computer systems
anomaly detection
cryptographic protocols