Disambiguation evidence for Dolev–Yao attacker model via surface form

"Dolev–Yao model"

Triples (1)

Triples where some other subject referred to this entity as "Dolev–Yao model".

spi-calculus → relatedTo →
"Dolev–Yao model"
↳ resolves to Dolev–Yao attacker model
ⓘ