Isabelle/OFMC - Linking OFMC and Isabelle/HOL
https://www.brucker.ch/projects/isabelle-ofmc/
You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
Achim D. Brucker
af43be20ef
Added master repository URL.
|
1 year ago | |
|---|---|---|
| bin | 9 years ago | |
| examples | 3 years ago | |
| src | 3 years ago | |
| .gitignore | 3 years ago | |
| CITATION | 3 years ago | |
| LICENSE | 3 years ago | |
| README.md | 1 year ago | |
README.md
README.md
Isabelle/OFMC - Linking OFMC and Isabelle/HOL
This is a developer release for Isabelle/OFMC, i.e., while it may be of interested to experts, it is not yet useable by the general public. This development version comprise a small Isabelle theory and a prototypical tool, called anb2thy. Using OFMC’s fixed-point module, anb2thy generate a Isabelle theory (for Isabelle 2016) file for protocols that haven been successfully validated by OFMC.
Team
License
This project is licensed under a 2-clause BSD-style license.
SPDX-License-Identifier: BSD-2-Clause
Master Repository
The master git repository for this project is hosted by the Software Assurance & Security Research Team at https://git.logicalhacking.com/ProtocolSecurity/isabelle-ofmc.
Publications
- Achim D. Brucker and Sebastian A. Mödersheim. Integrating Automated and Interactive Protocol Verification. In Workshop on Formal Aspects in Security and Trust (FAST 2009). Lecture Notes in Computer Science (5983), pages 248-262, Springer-Verlag , 2009. https://www.brucker.ch/bibliography/abstract/brucker.ea-integrating-2009. doi: 10.1007/978-3-642-12459-4_18