Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Dolev–Yao_model> ?p ?o }
Showing triples 1 to 29 of
29
with 100 triples per page.
- Dolev–Yao_model abstract "The Dolev–Yao model is a formal model used to prove properties of interactive cryptographic protocols.".
- Dolev–Yao_model wikiPageID "3989298".
- Dolev–Yao_model wikiPageLength "3935".
- Dolev–Yao_model wikiPageOutDegree "10".
- Dolev–Yao_model wikiPageRevisionID "634739485".
- Dolev–Yao_model wikiPageWikiLink Algebra.
- Dolev–Yao_model wikiPageWikiLink Category:Computer_security.
- Dolev–Yao_model wikiPageWikiLink Category:Cryptographic_protocols.
- Dolev–Yao_model wikiPageWikiLink Cryptographic_primitive.
- Dolev–Yao_model wikiPageWikiLink Cryptographic_protocol.
- Dolev–Yao_model wikiPageWikiLink Identity_function.
- Dolev–Yao_model wikiPageWikiLink Mathematical_model.
- Dolev–Yao_model wikiPageWikiLink Omnipotence.
- Dolev–Yao_model wikiPageWikiLink Security.
- Dolev–Yao_model wikiPageWikiLink Ubiquitous_computing.
- Dolev–Yao_model wikiPageWikiLinkText "Dolev–Yao model".
- Dolev–Yao_model hasPhotoCollection Dolev–Yao_model.
- Dolev–Yao_model wikiPageUsesTemplate Template:Reflist.
- Dolev–Yao_model subject Category:Computer_security.
- Dolev–Yao_model subject Category:Cryptographic_protocols.
- Dolev–Yao_model comment "The Dolev–Yao model is a formal model used to prove properties of interactive cryptographic protocols.".
- Dolev–Yao_model label "Dolev–Yao model".
- Dolev–Yao_model sameAs Dolev-Yao-Modell.
- Dolev–Yao_model sameAs m.0bb9fb.
- Dolev–Yao_model sameAs Модель_угрозы_Долева_—_Яо.
- Dolev–Yao_model sameAs Q165606.
- Dolev–Yao_model sameAs Q165606.
- Dolev–Yao_model wasDerivedFrom Dolev–Yao_model?oldid=634739485.
- Dolev–Yao_model isPrimaryTopicOf Dolev–Yao_model.