Formal Methods And Computer Security presented at 11th USENIX Security Symposium 2002

by John C. Mitchell,

Tags: Security