Formal Methods And Computer Security presented at 11th USENIX Security Symposium 2002
by John C. Mitchell,
Tags: Security