Login / Signup
The Open-Source Fixed-Point Model Checker for Symbolic Analysis of Security Protocols.
Sebastian Mödersheim
Luca Viganò
Published in:
FOSAD (2009)
Keyphrases
</>
fixed point
open source
data analysis
security protocols
formal verification