Home Help
Sign In
ProtocolSecurity
/
isabelle-ofmc
1
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.
26 Commits
1 Branch
316 KiB
Standard ML 95.6%
Lex 2.5%
Isabelle 1.2%
Makefile 0.7%
 
 
 
 
Branch: master
master
Branches Tags
${ item.name }
Create branch ${ searchTerm }
from 'master'
${ noResults }
isabelle-ofmc/examples
History
Achim D. Brucker 65583684a1 Makefile for generating theory files. 4 years ago
..
AnB Import of originally published version of isabelle-ofmc. 11 years ago
document Import of originally published version of isabelle-ofmc. 11 years ago
Bilateral-Key_Exchange.thy Regenerated example theory file. 4 years ago
Denning-Sacco.thy Regenerated example theory file. 4 years ago
ISOpubKeyOnePassUnilateralAuthProt.thy Regenerated example theory file. 4 years ago
ISOsymKeyTwoPassUnilateralAuthProt.thy Regenerated example theory file. 4 years ago
Makefile Makefile for generating theory files. 4 years ago
WideMouthFrog.thy Regenerated example theory file. 4 years ago
nsl-ks.thy Regenerated example theory file. 4 years ago
nsl.thy Regenerated example theory file. 4 years ago
Powered by Gitea Page: 28ms Template: 6ms
English
English 简体中文 繁體中文(香港) 繁體中文(台灣) Deutsch français Nederlands latviešu русский Українська 日本語 español português do Brasil Português de Portugal polski български italiano suomi Türkçe čeština српски svenska 한국어
JavaScript licenses API Website