Dongxi Liu Xiaoyong Li Yingcai Bai An Attack-Finding Algorithm for Security Protocols. 450-463 2002 17 J. Comput. Sci. Technol. 4 http://jcst.ict.ac.cn/cone/cone24.html#paper9 db/journals/jcst/jcst17.html#LiuLB02