Proc. 19th IEEE Computer Security Foundations Symposium/Workshop, Venice, Italy (CSF 2006), pp. 112-123
January 31, 2006
A. Chaudhuri, M. Abadi