USENIX supports diversity, equity, and inclusion and condemns hate and discrimination.
AutoISES: Automatically Inferring Security Specification and Detecting Violations
Submitted by Anonymous (not verified) on February 9, 2021 - 3:00 am
| Title | {AutoISES}: Automatically Inferring Security Specification and Detecting Violations |
| Publication Type | Conference Paper |
| Year of Publication | 2008 |
| Authors | Tan L, Zhang X, Ma X, Xiong W, Zhou Y |
| Conference Name | 17th USENIX Security Symposium (USENIX Security 08) |
| Date Published | 07/2008 |
| Publisher | USENIX Association |
| Conference Location | San Jose, CA |
| URL | https://www.usenix.org/conference/17th-usenix-security-symposium/autoises-automatically-inferring-security-specification |
- DBLP
- Log in or Register to post comments
- Google Scholar
- BibTex