Qingfeng Chen, Shichao Zhang, Yi-Ping Phoebe Chen. Identifying Dependency Between Secure Messages for Protocol Analysis. In Zili Zhang, Jörg H. Siekmann, editors, Knowledge Science, Engineering and Management, Second International Conference, KSEM 2007, Melbourne, Australia, November 28-30, 2007, Proceedings. Volume 4798 of Lecture Notes in Computer Science, pages 30-38, Springer, 2007. [doi]