Akiss
swMATH ID: | 20605 |
Software Authors: | Chadha, Rohit; Cheval, Vincent; Ciobâcă, Ștefan; Kremer, Steve |
Description: | Akiss is a verification tool for checking trace equivalence of security protocols. It works in the so-called symbolic model, representing protocols by processes in the applied pi-calculus, and allowing the user to describe various security primitives by an equational theory. In order to show that two processes are trace equivalent, Akiss derives a complete set of tests for each trace of each process, using a saturation procedure that performs Horn clause resolution with selection. |
Homepage: | https://github.com/akiss/akiss |
Source Code: | https://github.com/akiss/akiss |
Related Software: | TAMARIN; AVISPA; Maude-NPA; YAPA; Apte; scyther; ProVerif; FAST; SPEC; Maude; z3; CPSA; GitHub; Helios; ConfiChair; Yices; Anima; margrave; MiniSat; Darwin |
Cited in: | 21 Documents |
Standard Articles
1 Publication describing the Software, including 1 Publication in zbMATH | Year |
---|---|
Automated verification of equivalence properties of cryptographic protocols. Zbl 1352.68148 Chadha, Rohit; Ciobâcă, Ştefan; Kremer, Steve |
2012
|
all
top 5
Cited by 44 Authors
all
top 5
Cited in 10 Serials
Cited in 2 Fields
19 | Computer science (68-XX) |
14 | Information and communication theory, circuits (94-XX) |