TY - JOUR A1 - Chen, Q. A1 - Rettinger, Robert A1 - Su, K. A1 - Sattar, A. A1 - Yue, W. A1 - Lu, G. A1 - Zheng, Xizhong T1 - Verification of Authentication Protocols for Epistemic Goals via SAT Compilation Y1 - 2006 ER - TY - JOUR A1 - Chen, Q. A1 - Su, K. A1 - Yue, W. A1 - Zheng, Xizhong T1 - Instantiation Space: A New Model for Security Protocol Logic Y1 - 2006 ER -