Formal Methods and Computer Security

TitleFormal Methods and Computer Security
Publication TypeConference Paper
Year of Publication2002
AuthorsMitchell JC
Conference Name11th USENIX Security Symposium (USENIX Security 02)
Date Published08/2002
PublisherUSENIX Association
Conference LocationSan Francisco, CA
URLhttps://www.usenix.org/conference/11th-usenix-security-symposium/formal-methods-and-computer-security