|
USENIX Security '08 Refereed Paper
Pp. 379–394 of the Proceedings
AutoISES: Automatically Inferring Security Specification and Detecting Violations
Lin Tan, University of Illinois, Urbana-Champaign; Xiaolan Zhang,
IBM T.J. Watson Research Center; Xiao Ma, University of Illinois, Urbana-Champaign, and Pattern Insight Inc.; Weiwei Xiong, University of Illinois at Urbana-Champaign; Yuanyuan
Zhou, University of Illinois, Urbana-Champaign, and Pattern Insight Inc.
View the full text of this paper in HTML and PDF.
The Proceedings are published as a collective work, © 2008 by the USENIX Association. All Rights Reserved. Rights to individual papers remain with the author or the author's employer. Permission is granted for the noncommercial reproduction of the complete work for educational or research purposes. USENIX acknowledges all trademarks within this paper.
|
