Justifying a Dolev-Yao Model under Active Attacks

Backes, Michael and Pfitzmann, Birgit and Waidner, Michael
(2004) Justifying a Dolev-Yao Model under Active Attacks.
In: UNSPECIFIED Lecture Notes in Computer Science, 3655 . Springer, pp. 1-42.

[img]
Preview
Text
c22-final.pdf - Published Version

Download (470kB) | Preview

Actions

Actions (login required)

View Item View Item