Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Dolev–Yao_model> ?p ?o. }
Showing items 1 to 14 of
14
with 100 items 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 wikiPageRevisionID "580734320".
- 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-Modell".
- Dolev–Yao_model label "Dolev–Yao model".
- Dolev–Yao_model label "Модель угрозы Долева — Яо".
- Dolev–Yao_model sameAs Dolev%E2%80%93Yao_model.
- Dolev–Yao_model sameAs Dolev-Yao-Modell.
- Dolev–Yao_model sameAs Q165606.
- Dolev–Yao_model sameAs Q165606.
- Dolev–Yao_model wasDerivedFrom Dolev–Yao_model?oldid=580734320.