ProtocolSecurity
/
isabelle-ofmc
Archived
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Cleanup of Markdown.

This commit is contained in:
Achim D. Brucker 2018-08-03 17:51:53 +02:00
parent 8d16f2b40f
commit 49054ca8ce
1 changed files with 4 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
README.md
View File

@ -1,4 +1,5 @@
# Isabelle/OFMC - Linking OFMC and Isabelle/HOL # Isabelle/OFMC - Linking OFMC and Isabelle/HOL
This is a developer release for Isabelle/OFMC, i.e., while it may be 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 of interested to experts, it is not yet useable by the general
public. This development version comprise a small Isabelle public. This development version comprise a small Isabelle
@ -8,12 +9,15 @@ fixed-point module, anb2thy generate a Isabelle theory (for
file for protocols that haven been successfully validated by OFMC. file for protocols that haven been successfully validated by OFMC.
## Team ## Team
* [Achim D. Brucker](http://www.brucker.ch/) * [Achim D. Brucker](http://www.brucker.ch/)
## License ## License
This project is licensed under a 2-clause BSD-style license. This project is licensed under a 2-clause BSD-style license.
## Publications ## Publications
* Achim D. Brucker and Sebastian A. Mödersheim. [Integrating Automated * Achim D. Brucker and Sebastian A. Mödersheim. [Integrating Automated
and Interactive Protocol Verification](https://www.brucker.ch/bibliography/download/2009/brucker.ea-integrating-2009.pdf). and Interactive Protocol Verification](https://www.brucker.ch/bibliography/download/2009/brucker.ea-integrating-2009.pdf).
In Workshop on Formal Aspects in Security and Trust (FAST 2009). Lecture In Workshop on Formal Aspects in Security and Trust (FAST 2009). Lecture