ProtocolSecurity/isabelle-ofmc
Archived
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
Isabelle/OFMC - Linking OFMC and Isabelle/HOL https://www.brucker.ch/projects/isabelle-ofmc/
This repository has been archived on 2021-01-01. You can view files and clone it, but cannot push or open issues or pull requests.
26 Commits 1 Branch 0 Tags 151 KiB
Standard ML 95.6%
Lex 2.5%
Isabelle 1.2%
Makefile 0.7%
master
Go to file
Achim D. Brucker 26ce1b6147 Added DOI for CSF paper.
2020-12-31 10:34:15 +00:00
bin Import of originally published version of isabelle-ofmc. 2009-11-02 14:14:13 +00:00
examples Makefile for generating theory files. 2016-08-02 13:44:10 +01:00
src Ported to Isabelle 2016. 2016-08-02 13:42:54 +01:00
.gitignore Ignore generated binary. 2016-08-02 13:30:56 +01:00
CITATION Updated readme and added citation information. 2016-07-29 00:50:37 +01:00
LICENSE Updated/clarified license information. 2016-08-02 09:52:39 +01:00
README.md Added DOI for CSF paper. 2020-12-31 10:34:15 +00:00

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.

This project has been superseded by Automated Stateful Protocol Verification and is no longer maintained. In contrast, Automated Stateful Protocol Verification is actively maintained and also, as official entry of the Archive of Formal Proofs, always supports the latest version of Isabelle. More information about the Automated Stateful Protocol Verification project (including its source code) is available in the AFP:

The following publication provides a more abstract description of the underlying theory:

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