ProtocolSecurity
/
isabelle-ofmc
Watch 1
Star 0
Fork 0
Code Issues 0 Pull Requests 0 Releases 0 Wiki Activity
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.
24 Commits
1 Branch
Branch: master
Branches Tags
${ item.name }
Create branch ${ searchTerm }
from 'master'
${ noResults }
isabelle-ofmc
Achim D. Brucker af43be20ef Added master repository URL. 7 months ago
bin Import of originally published version of isabelle-ofmc. 9 years ago
examples Makefile for generating theory files. 2 years ago
src Ported to Isabelle 2016. 2 years ago
.gitignore Ignore generated binary. 2 years ago
CITATION Updated readme and added citation information. 2 years ago
LICENSE Updated/clarified license information. 2 years ago
README.md Added master repository URL. 7 months ago

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