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.
24 Commits 1 Branch 0 Tags 151 KiB
Standard ML 95.6%
Lex 2.5%
Isabelle 1.2%
Makefile 0.7%
Go to file
Achim D. Brucker af43be20ef Added master repository URL. 2018-08-03 17:56:55 +02: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 master repository URL. 2018-08-03 17:56:55 +02: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.

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