Books by Computer Security Foundations Workshop (13th 2000 Cambridge, England)