Disambiguation evidence for Dolev–Yao attacker model via surface form

"Dolev–Yao attacker model"

Triples (1)

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

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