Statements (25)
Predicate | Object |
---|---|
gptkbp:instanceOf |
gptkb:software
security protocol verifier |
gptkbp:affiliation |
gptkb:INRIA
|
gptkbp:application |
cryptographic protocol analysis
|
gptkbp:canProve |
authentication properties
correspondence assertions secrecy properties |
gptkbp:citation |
Bruno Blanchet. "An Efficient Cryptographic Protocol Verifier Based on Prolog Rules." CSFW 2001.
|
gptkbp:developer |
Bruno Blanchet
|
gptkbp:firstReleased |
2001
|
gptkbp:format |
proofs
applied pi calculus attack traces |
gptkbp:genre |
formal verification
|
https://www.w3.org/2000/01/rdf-schema#label |
ProVerif
|
gptkbp:license |
gptkb:GPL
|
gptkbp:operatingSystem |
Cross-platform
|
gptkbp:programmingLanguage |
gptkb:OCaml
|
gptkbp:relatedTo |
gptkb:Scyther
AVISPA Tamarin prover |
gptkbp:usedFor |
automatic analysis of security protocols
|
gptkbp:website |
https://proverif.inria.fr/
|
gptkbp:bfsParent |
gptkb:applied_pi-calculus
|
gptkbp:bfsLayer |
7
|