|
1 year ago | |
---|---|---|
bin | 10 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 |
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.
This project is licensed under a 2-clause BSD-style license.
SPDX-License-Identifier: BSD-2-Clause
The master git repository for this project is hosted by the Software Assurance & Security Research Team at https://git.logicalhacking.com/ProtocolSecurity/isabelle-ofmc.