@inproceedings{tan08autoises,
    author = "Lin Tan and Xiaolan Zhang and Xiao Ma and Weiwei Xiong and Yuanyuan Zhou",
    title  = "{AutoISES}: {A}utomatically Inferring Security Specifications and Detecting Violations",
    booktitle = "Proceedings of the 17th USENIX Security Symposium (USENIX Security '08)",
    month  = "July-August",
    year   = "2008",
}