Gallery, E. &
Mitchell, C. J.,
2007,
Foundations of Security Analysis and Design IV: FOSAD 2006/2007 Tutorial Lectures. Aldini, A. & Gorrieri, R. (eds.).
Springer-Verlag,
Vol. 4677.
p. 282-323 42 p. (Lecture Notes in Computer Science).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution