Statements (25)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:software
gptkb: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
|
| 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
|
| https://www.w3.org/2000/01/rdf-schema#label |
ProVerif
|