Chen, L. & Ryan, M., 1 Jan 2010, Formal Aspects in Security and Trust: 6th International Workshop, FAST 2009, Eindhoven, The Netherlands, November 5-6, 2009, Revised Selected Papers. Degano, P. & Guttman, JD. (eds.). Springer, p. 201-21616 p. (Lecture Notes in Computer Science; vol. 5983).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution