Formal Methods and Computer Security

Submitted by Anonymous (not verified) on February 13, 2021 - 8:30 pm
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