GitHub - ciobaca/akiss: Tool for checking trace equivalence for security protocols

ciobaca / akiss Public

Notifications You must be signed in to change notification settings
Fork 0
Star 3

Tool for checking trace equivalence for security protocols

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 3 Commits
examples		examples
Makefile		Makefile
README		README
horn.ml		horn.ml
lexer.mll		lexer.mll
main.ml		main.ml
parser.mly		parser.mly
process.ml		process.ml
term.ml		term.ml
util.ml		util.ml
variants.ml		variants.ml

Repository files navigation

To compile akiss you should have a recent version of ocaml installed.

The executable can be built by typing 'make'.

Usage: akiss [-verbose] [-debug] < specification-file.api
  -verbose Enable verbose output
  -debug Enable debug output
  -help  Display this list of options
  --help  Display this list of options

For example:

./akiss -verbose < examples/strong-secrecy/blanchet.api