Arapinis, M.,
Liu, J.,
Ritter, E. &
Ryan, M.,
2014,
Principles of Security and Trust : Third International Conference, POST 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings. Abadi, M. & Kremer, S. (eds.).
Springer,
Vol. 8414.
p. 22-41 Chapter 2. (Lecture Notes in Computer Science; vol. 8414).
Research output: Chapter in Book/Report/Conference proceeding › Other chapter contribution