Cheng, Xiaochun

2 publications

IJCAI 2005 Knowledge Based Approach for Mechanically Verifying Security Protocols Xiaoqi Ma, Xiaochun Cheng, Rachel McCrindle

IJCAI 1995 The Rationality and Decidability of Fuzzy Implications Xiaochun Cheng, Yunfei Jiang, Xuhua Liu