Matches in DBpedia 2016-04 for { <http://wikidata.dbpedia.org/resource/Q165606> ?p ?o }
Showing triples 1 to 13 of
13
with 100 triples per page.
- Q165606 subject Q7216528.
- Q165606 abstract "The Dolev–Yao model is a formal model used to prove properties of interactive cryptographic protocols.".
- Q165606 wikiPageWikiLink Q1141803.
- Q165606 wikiPageWikiLink Q1254335.
- Q165606 wikiPageWikiLink Q246593.
- Q165606 wikiPageWikiLink Q2526135.
- Q165606 wikiPageWikiLink Q321119.
- Q165606 wikiPageWikiLink Q3968.
- Q165606 wikiPageWikiLink Q486902.
- Q165606 wikiPageWikiLink Q541265.
- Q165606 wikiPageWikiLink Q7216528.
- Q165606 comment "The Dolev–Yao model is a formal model used to prove properties of interactive cryptographic protocols.".
- Q165606 label "Dolev–Yao model".