Isabelle/OFMC: Integrating Automated and Interactive Protocol Verification

Isabelle/OFMC verbindet den Open-source Fixed-point Model-Checker OFMC (welcher von Sebastian Mödersheim entwickelt wird) mit dem interaktiven Theorembeweiser Isabelle/HOL; somit schliesst Isabelle/OFMC die Lücke zwischen interkativer und automatischer Verifikation von Sicherheitsprotokollen.

Isabelle/OFMC ist freie Software und kann unter den Bedingungen einer BSD ähnlichen Lizenz weitergegebenwerden und wird von Achim D. Brucker entwickelt.

Download

isabelle-ofmc-0.0.tgz (ca. 326 KiB, MD5: 6531ef606737ccfa9b0ee216f32b8455, 2009-11-02) ChangeLog

Publikationen

2009