Guanfeng Lv

Formal Analysis and Improvement of the State Transition Model for Intrusion Tolerant System

Kaile Su, Qingliang Chen, Han Lin, 2005, WINE.

CacBDD: A BDD Package with Dynamic Cache Management

Kaile Su, Yanyan Xu, Guanfeng Lv, 2013, CAV.

Bounded model checking knowledge and branching time in synchronous multi-agent systems

Abdul Sattar, Kaile Su, Xiangyu Luo, 2005, AAMAS '05.

A Succinct and Efficient Implementation of a 2^32 BDD Package

Kaile Su, Yao Chen, Qingliang Chen, 2012, 2012 Sixth International Symposium on Theoretical Aspects of Software Engineering.

Reasoning about Knowledge by Variable Forgetting

Yan Zhang, Kaile Su, Guanfeng Lv, 2004, KR.

Variable Forgetting in Reasoning about Knowledge

Yan Zhang, Abdul Sattar, Kaile Su, 2009, J. Artif. Intell. Res..

Verification of Authentication Protocols for Epistemic Goals via SAT Compilation

Abdul Sattar, Kaile Su, Qingliang Chen, 2006, Journal of Computer Science and Technology.

Knowledge structure approach to verification of authentication protocols

Kaile Su, Qingliang Chen, Guanfeng Lv, 2007, Science in China Series F: Information Sciences.

UAP: A New UDP-Based Application Level Transport Protocol

Kaile Su, Qingliang Chen, Guanfeng Lv, 2011, 2011 Second International Conference on Networking and Distributed Computing.