Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Security_Protocols_Open_Repository> ?p ?o. }
Showing items 1 to 24 of
24
with 100 items per page.
- Security_Protocols_Open_Repository abstract "SPORE, the Security Protocols Open Repository, is an online library of security protocols with comments and links to papers. Each protocol is downloadable in a variety of formats, including rules for use with automatic protocol verification tools. All protocols are described using BAN logic or the style used by Clark and Jacob, and their goals. The database includes details on formal proofs or known attacks, with references to comments, analysis & papers. A large number of protocols are listed, including many which have been shown to be insecure.It is a continuation of the seminal work by John Clark and Jeremy Jacob.They seek contributions for new protocols, links and comments.".
- Security_Protocols_Open_Repository wikiPageExternalLink spore.
- Security_Protocols_Open_Repository wikiPageID "11271694".
- Security_Protocols_Open_Repository wikiPageRevisionID "532225382".
- Security_Protocols_Open_Repository hasPhotoCollection Security_Protocols_Open_Repository.
- Security_Protocols_Open_Repository subject Category:Computer_network_security.
- Security_Protocols_Open_Repository subject Category:Computer_security.
- Security_Protocols_Open_Repository subject Category:Cryptographic_protocols.
- Security_Protocols_Open_Repository subject Category:Secure_communication.
- Security_Protocols_Open_Repository type Abstraction100002137.
- Security_Protocols_Open_Repository type Communication100033020.
- Security_Protocols_Open_Repository type CryptographicProtocols.
- Security_Protocols_Open_Repository type Direction106786629.
- Security_Protocols_Open_Repository type Message106598915.
- Security_Protocols_Open_Repository type Protocol106665108.
- Security_Protocols_Open_Repository type Rule106652242.
- Security_Protocols_Open_Repository comment "SPORE, the Security Protocols Open Repository, is an online library of security protocols with comments and links to papers. Each protocol is downloadable in a variety of formats, including rules for use with automatic protocol verification tools. All protocols are described using BAN logic or the style used by Clark and Jacob, and their goals. The database includes details on formal proofs or known attacks, with references to comments, analysis & papers.".
- Security_Protocols_Open_Repository label "Security Protocols Open Repository".
- Security_Protocols_Open_Repository sameAs m.02r5v7_.
- Security_Protocols_Open_Repository sameAs Q7444988.
- Security_Protocols_Open_Repository sameAs Q7444988.
- Security_Protocols_Open_Repository sameAs Security_Protocols_Open_Repository.
- Security_Protocols_Open_Repository wasDerivedFrom Security_Protocols_Open_Repository?oldid=532225382.
- Security_Protocols_Open_Repository isPrimaryTopicOf Security_Protocols_Open_Repository.