Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Dolev–Yao_model> ?p ?o }
Showing triples 1 to 31 of
31
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 "3898".
- Dolev–Yao_model wikiPageOutDegree "9".
- Dolev–Yao_model wikiPageRevisionID "697693050".
- Dolev–Yao_model wikiPageWikiLink Algebra.
- Dolev–Yao_model wikiPageWikiLink Category:Computer_security.
- 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 wikiPageUsesTemplate Template:Reflist.
- Dolev–Yao_model subject Category:Computer_security.
- Dolev–Yao_model hypernym Model.
- Dolev–Yao_model type Area.
- Dolev–Yao_model type Person.
- Dolev–Yao_model type Area.
- Dolev–Yao_model type Protocol.
- 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 Q165606.
- 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 wasDerivedFrom Dolev–Yao_model?oldid=697693050.
- Dolev–Yao_model isPrimaryTopicOf Dolev–Yao_model.