Login / Signup

The Open-Source Fixed-Point Model Checker for Symbolic Analysis of Security Protocols.

Sebastian MödersheimLuca Viganò
Published in: FOSAD (2009)
Keyphrases
  • fixed point
  • open source
  • data analysis
  • security protocols
  • formal verification