@inproceedings {270565,
	author = {John C. Mitchell},
	title = {Formal Methods and Computer Security},
	booktitle = {11th USENIX Security Symposium (USENIX Security 02)},
	year = {2002},
	address = {San Francisco, CA},
	url = {https://www.usenix.org/conference/11th-usenix-security-symposium/formal-methods-and-computer-security},
	publisher = {USENIX Association},
	month = aug
}
