Anil Madhavapeddy, Alan Mycroft, Dave Scott and Richard Sharp.
Paper in the proceedings of the International Conference on Security and Management, SAM 03, June 23 - 26, 2003, Las Vegas, Nevada, USA, Volume 1.
URL (cl.cam.ac.uk) BIB PDF
No abstract available
papers