Kaile Su Qingliang Chen Abdul Sattar Weiya Yue Guanfeng Lv Xizhong Zheng Verification of Authentication Protocols for Epistemic Goals via SAT Compilation. 932-943 2006 21 J. Comput. Sci. Technol. 6 http://dx.doi.org/10.1007/s11390-006-0932-9 db/journals/jcst/jcst21.html#SuCSYLZ06