Lin Tan Xiaolan Zhang Xiao Ma Weiwei Xiong Yuanyuan Zhou AutoISES: Automatically Inferring Security Specification and Detecting Violations. 379-394 2008 USENIX Security Symposium http://www.usenix.org/events/sec08/tech/full_papers/tan_l/tan_l.pdf conf/uss/2008 db/conf/uss/uss2008.html#TanZMXZ08