Download paper - Information Security Research Group

Transcript
c 2014 Robert N.M. Watson, David Chisnall, Brooks Davis,
Wojciech Koszek, Simon W. Moore, Steven J. Murdoch,
Peter G. Neumann, Jonathan Woodruff
SRI International is acknowledged as an additional copyright
holder
Technical reports published by the University of Cambridge
Computer Laboratory are freely available via the Internet:
http://www.cl.cam.ac.uk/techreports/
ISSN 1476-2986