Matches in DBpedia 2014 for { <http://dbpedia.org/resource/CryptoVerif> ?p ?o. }
Showing items 1 to 40 of
40
with 100 items per page.
- CryptoVerif abstract "CryptoVerif is a software tool for the automatic reasoning about security protocols written by Bruno Blanchet. Contrary to ProVerif by the same creator that uses a symbolic abstraction, it is sound in the computational model. It can prove secrecy and correspondences properties. The latter include in particular authentication.".
- CryptoVerif latestReleaseVersion "1.12".
- CryptoVerif license BSD_licenses.
- CryptoVerif license GNU_General_Public_License.
- CryptoVerif programmingLanguage OCaml.
- CryptoVerif wikiPageExternalLink www.cryptoverif.ens.fr.
- CryptoVerif wikiPageExternalLink ~blanchet.
- CryptoVerif wikiPageID "33892403".
- CryptoVerif wikiPageRevisionID "484496334".
- CryptoVerif developer ~blanchet.
- CryptoVerif hasPhotoCollection CryptoVerif.
- CryptoVerif language "English".
- CryptoVerif latestReleaseVersion "1.12".
- CryptoVerif license "Mainly the GNU GPL / Windows binary BSD licenses".
- CryptoVerif name "CryptoVerif".
- CryptoVerif programmingLanguage OCaml.
- CryptoVerif title "CryptoVerif".
- CryptoVerif website www.cryptoverif.ens.fr.
- CryptoVerif subject Category:Cryptographic_software.
- CryptoVerif type Abstraction100002137.
- CryptoVerif type Code106355894.
- CryptoVerif type CodingSystem106353757.
- CryptoVerif type Communication100033020.
- CryptoVerif type Software106566077.
- CryptoVerif type Writing106359877.
- CryptoVerif type WrittenCommunication106349220.
- CryptoVerif type Software.
- CryptoVerif type Work.
- CryptoVerif type CreativeWork.
- CryptoVerif type InformationEntity.
- CryptoVerif comment "CryptoVerif is a software tool for the automatic reasoning about security protocols written by Bruno Blanchet. Contrary to ProVerif by the same creator that uses a symbolic abstraction, it is sound in the computational model. It can prove secrecy and correspondences properties. The latter include in particular authentication.".
- CryptoVerif label "CryptoVerif".
- CryptoVerif sameAs m.0hnc3b3.
- CryptoVerif sameAs Q5190795.
- CryptoVerif sameAs Q5190795.
- CryptoVerif sameAs CryptoVerif.
- CryptoVerif wasDerivedFrom CryptoVerif?oldid=484496334.
- CryptoVerif homepage www.cryptoverif.ens.fr.
- CryptoVerif isPrimaryTopicOf CryptoVerif.
- CryptoVerif name "CryptoVerif".