Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Security_Protocols_Open_Repository> ?p ?o }
Showing triples 1 to 50 of
50
with 100 triples 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 wikiPageLength "1897".
- Security_Protocols_Open_Repository wikiPageOutDegree "18".
- Security_Protocols_Open_Repository wikiPageRevisionID "532225382".
- Security_Protocols_Open_Repository wikiPageWikiLink Books_on_cryptography.
- Security_Protocols_Open_Repository wikiPageWikiLink Burrows-Abadi-Needham_logic.
- Security_Protocols_Open_Repository wikiPageWikiLink Burrows–Abadi–Needham_logic.
- Security_Protocols_Open_Repository wikiPageWikiLink Category:Computer_network_security.
- Security_Protocols_Open_Repository wikiPageWikiLink Category:Computer_security.
- Security_Protocols_Open_Repository wikiPageWikiLink Category:Cryptographers.
- Security_Protocols_Open_Repository wikiPageWikiLink Category:Cryptographic_protocols.
- Security_Protocols_Open_Repository wikiPageWikiLink Category:Secure_communication.
- Security_Protocols_Open_Repository wikiPageWikiLink Cryptographic_nonce.
- Security_Protocols_Open_Repository wikiPageWikiLink Cryptographic_protocol.
- Security_Protocols_Open_Repository wikiPageWikiLink Cryptography.
- Security_Protocols_Open_Repository wikiPageWikiLink Jeremy_Jacob_(Computer_Scientist).
- Security_Protocols_Open_Repository wikiPageWikiLink John_Clark_(Computer_Scientist).
- Security_Protocols_Open_Repository wikiPageWikiLink List_of_cryptographers.
- Security_Protocols_Open_Repository wikiPageWikiLink List_of_important_publications_in_computer_science.
- Security_Protocols_Open_Repository wikiPageWikiLink List_of_open_problems_in_computer_science.
- Security_Protocols_Open_Repository wikiPageWikiLink List_of_unsolved_problems_in_computer_science.
- Security_Protocols_Open_Repository wikiPageWikiLink Outline_of_cryptography.
- Security_Protocols_Open_Repository wikiPageWikiLink Public-key_cryptography.
- Security_Protocols_Open_Repository wikiPageWikiLink Security_protocol.
- Security_Protocols_Open_Repository wikiPageWikiLink Symmetric-key_algorithm.
- Security_Protocols_Open_Repository wikiPageWikiLink Topics_in_cryptography.
- Security_Protocols_Open_Repository wikiPageWikiLinkText "Security Protocols Open Repository".
- Security_Protocols_Open_Repository hasPhotoCollection Security_Protocols_Open_Repository.
- Security_Protocols_Open_Repository wikiPageUsesTemplate Template:Comp-sci-stub.
- Security_Protocols_Open_Repository wikiPageUsesTemplate Template:Crypto-stub.
- Security_Protocols_Open_Repository wikiPageUsesTemplate Template:Portal.
- Security_Protocols_Open_Repository wikiPageUsesTemplate Template:Reflist.
- 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 hypernym Library.
- Security_Protocols_Open_Repository type Area.
- Security_Protocols_Open_Repository type Library.
- Security_Protocols_Open_Repository type Area.
- Security_Protocols_Open_Repository type Protocol.
- 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 wasDerivedFrom Security_Protocols_Open_Repository?oldid=532225382.
- Security_Protocols_Open_Repository isPrimaryTopicOf Security_Protocols_Open_Repository.