@inproceedings {268066,
	author = {Lin Tan and Xiaolan Zhang and Xiao Ma and Weiwei Xiong and Yuanyuan Zhou},
	title = {{AutoISES}: Automatically Inferring Security Specification and Detecting Violations},
	booktitle = {17th USENIX Security Symposium (USENIX Security 08)},
	year = {2008},
	address = {San Jose, CA},
	url = {https://www.usenix.org/conference/17th-usenix-security-symposium/autoises-automatically-inferring-security-specification},
	publisher = {USENIX Association},
	month = jul
}
