Matches in DBpedia 2016-04 for { <http://citation.dbpedia.org/hash/4a3e4fdc14c1ea612ec44dd283490af5f092709cc095bf5b87cb6ed94a98613e> ?p ?o }
Showing triples 1 to 11 of
11
with 100 triples per page.
- 4a3e4fdc14c1ea612ec44dd283490af5f092709cc095bf5b87cb6ed94a98613e contribution "Soundness Limits of Dolev-Yao Models".
- 4a3e4fdc14c1ea612ec44dd283490af5f092709cc095bf5b87cb6ed94a98613e contributionUrl backes06soundness.html.
- 4a3e4fdc14c1ea612ec44dd283490af5f092709cc095bf5b87cb6ed94a98613e first1 "Michael".
- 4a3e4fdc14c1ea612ec44dd283490af5f092709cc095bf5b87cb6ed94a98613e first2 "Birgit".
- 4a3e4fdc14c1ea612ec44dd283490af5f092709cc095bf5b87cb6ed94a98613e first3 "Michael".
- 4a3e4fdc14c1ea612ec44dd283490af5f092709cc095bf5b87cb6ed94a98613e isCitedBy Dolev–Yao_model.
- 4a3e4fdc14c1ea612ec44dd283490af5f092709cc095bf5b87cb6ed94a98613e last1 "Backes".
- 4a3e4fdc14c1ea612ec44dd283490af5f092709cc095bf5b87cb6ed94a98613e last2 "Pfitzmann".
- 4a3e4fdc14c1ea612ec44dd283490af5f092709cc095bf5b87cb6ed94a98613e last3 "Waidner".
- 4a3e4fdc14c1ea612ec44dd283490af5f092709cc095bf5b87cb6ed94a98613e series "Workshop on Formal and Computational Cryptography , affiliated with ICALP'06".
- 4a3e4fdc14c1ea612ec44dd283490af5f092709cc095bf5b87cb6ed94a98613e year "2006".