Matches in DBpedia 2014 for { <http://dbpedia.org/resource/ProVerif> ?p ?o. }
Showing items 1 to 46 of
46
with 100 items per page.
- ProVerif abstract "ProVerif is a software tool for automated reasoning about the security properties found in cryptographic protocols. The tool has been developed by Bruno Blanchet.Support is provided for cryptographic primitives including: symmetric & asymmetric cryptography; digital signatures; hash functions; bit-commitment; and signature proofs of knowledge. The tool is capable of evaluating reachability properties, correspondence assertions and observational equivalence. These reasoning capabilities are particularly useful to the computer security domain since they permit the analysis of secrecy and authentication properties. Emerging properties such as privacy, traceability and verifiability can also be considered. Protocol analysis is considered with respect to an unbounded number of sessions and an unbounded message space. The tool is capable of attack reconstruction: when a property cannot be proved, an execution trace which falsifies the desired property is constructed.".
- ProVerif latestReleaseDate "2010-01-07".
- ProVerif latestReleaseVersion "1.84".
- ProVerif license BSD_licenses.
- ProVerif license GNU_General_Public_License.
- ProVerif programmingLanguage OCaml.
- ProVerif releaseDate "2002-06-01".
- ProVerif wikiPageExternalLink proverif.
- ProVerif wikiPageExternalLink ~blanchet.
- ProVerif wikiPageExternalLink proverif-users.html.
- ProVerif wikiPageID "24960160".
- ProVerif wikiPageRevisionID "538237051".
- ProVerif developer ~blanchet.
- ProVerif hasPhotoCollection ProVerif.
- ProVerif language "English".
- ProVerif latestReleaseDate "2010-01-07".
- ProVerif latestReleaseVersion "1.84".
- ProVerif license "Mainly the GNU GPL / Windows binary BSD licenses".
- ProVerif name "ProVerif".
- ProVerif programmingLanguage OCaml.
- ProVerif released "2002-06-01".
- ProVerif title "ProVerif".
- ProVerif website proverif.
- ProVerif subject Category:Cryptographic_software.
- ProVerif subject Category:Free_software.
- ProVerif type Abstraction100002137.
- ProVerif type Code106355894.
- ProVerif type CodingSystem106353757.
- ProVerif type Communication100033020.
- ProVerif type Software106566077.
- ProVerif type Writing106359877.
- ProVerif type WrittenCommunication106349220.
- ProVerif type Software.
- ProVerif type Work.
- ProVerif type CreativeWork.
- ProVerif type InformationEntity.
- ProVerif comment "ProVerif is a software tool for automated reasoning about the security properties found in cryptographic protocols. The tool has been developed by Bruno Blanchet.Support is provided for cryptographic primitives including: symmetric & asymmetric cryptography; digital signatures; hash functions; bit-commitment; and signature proofs of knowledge. The tool is capable of evaluating reachability properties, correspondence assertions and observational equivalence.".
- ProVerif label "ProVerif".
- ProVerif sameAs m.09gdbv5.
- ProVerif sameAs Q7246703.
- ProVerif sameAs Q7246703.
- ProVerif sameAs ProVerif.
- ProVerif wasDerivedFrom ProVerif?oldid=538237051.
- ProVerif homepage proverif.
- ProVerif isPrimaryTopicOf ProVerif.
- ProVerif name "ProVerif".