Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/ProVerif> ?p ?o }
Showing triples 1 to 71 of
71
with 100 triples 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 developer ~blanchet.
- ProVerif latestReleaseDate "2015-05-07".
- ProVerif latestReleaseVersion "1.90".
- 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 wikiPageLength "9921".
- ProVerif wikiPageOutDegree "19".
- ProVerif wikiPageRevisionID "672698224".
- ProVerif wikiPageWikiLink Automated_reasoning.
- ProVerif wikiPageWikiLink BSD_licenses.
- ProVerif wikiPageWikiLink Category:Cryptographic_software.
- ProVerif wikiPageWikiLink Category:Free_software.
- ProVerif wikiPageWikiLink CryptoVerif.
- ProVerif wikiPageWikiLink Cryptographic_protocol.
- ProVerif wikiPageWikiLink Diffie–Hellman_key_exchange.
- ProVerif wikiPageWikiLink Direct_Anonymous_Attestation.
- ProVerif wikiPageWikiLink Electronic_voting.
- ProVerif wikiPageWikiLink Exclusive_or.
- ProVerif wikiPageWikiLink F_Sharp_(programming_language).
- ProVerif wikiPageWikiLink GNU_General_Public_License.
- ProVerif wikiPageWikiLink IPsec.
- ProVerif wikiPageWikiLink Internet_Key_Exchange.
- ProVerif wikiPageWikiLink OCaml.
- ProVerif wikiPageWikiLink Observational_equivalence.
- ProVerif wikiPageWikiLink Time_complexity.
- ProVerif wikiPageWikiLink Transport_Layer_Security.
- ProVerif wikiPageWikiLink Trusted_Platform_Module.
- ProVerif wikiPageWikiLinkText "ProVerif".
- ProVerif developer ~blanchet.
- ProVerif language "English".
- ProVerif latestReleaseDate "2015-05-07".
- ProVerif latestReleaseVersion "1.9".
- 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 wikiPageUsesTemplate Template:Citation_style.
- ProVerif wikiPageUsesTemplate Template:Infobox_software.
- ProVerif wikiPageUsesTemplate Template:Multiple_issues.
- ProVerif wikiPageUsesTemplate Template:Notability.
- ProVerif wikiPageUsesTemplate Template:Official_website.
- ProVerif wikiPageUsesTemplate Template:Reflist.
- ProVerif wikiPageUsesTemplate Template:Release_date.
- ProVerif wikiPageUsesTemplate Template:Start_date.
- ProVerif subject Category:Cryptographic_software.
- ProVerif subject Category:Free_software.
- ProVerif hypernym Tool.
- ProVerif type Software.
- ProVerif type Work.
- ProVerif type CreativeWork.
- ProVerif type Thing.
- ProVerif type Q386724.
- ProVerif type Q7397.
- 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 Q7246703.
- ProVerif sameAs m.09gdbv5.
- ProVerif sameAs Q7246703.
- ProVerif wasDerivedFrom ProVerif?oldid=672698224.
- ProVerif homepage proverif.
- ProVerif isPrimaryTopicOf ProVerif.
- ProVerif name "ProVerif".