|
Li Xianxian and Huai Jinpeng, ¡° Cryptographic Protocol Security Analysis Based on Bounded Constructing Algorithms ¡± , Science in China (Series E), Vol. 35, No.10, 2005.
Yu Zhang, Xianxian Li, Jinpeng Huai and Yunhao Liu , "Access Control in Peer-to-Peer Collaborative Systems", 25th International Conference on Distributed Computing Systems ( IEEE ICDCS 2005) Workshop on Mobility of Peer-to-Peer Systems, Ohio , USA , June, 2005.
Jinpeng Huai , Yu Zhang, Xianxian Li, and Yunhao Liu , "Distributed Access Control in CROWN Groups" , 34th International Conference on Parallel Processing ( ICPP 200 5 ), Oslo , Norway , June, 2005.
Li Jianxin, Li Xianxian, Zhuo Jiliang, and Huai Jinpeng, ¡° SPA: A Efficient System for Security Protocol analysis ¡± , Chinese Journal of Computers, Vol. 28, No. 3, March 2005.
Jianxin Li, Jinpeng Huai, Qin Li, Xianxian Li. Towards Security Analysis to Binding Update Protocol in Mobile IPv6 with Formal Method.X. Jia, J. Wu, and Y. He (Eds.): International Conference on Mobile Ad-hoc and Sensor Networks(MSN 2005), WuHan China.LNCS 3794, Springer-Verlag Berlin Heidelberg. 2005,1073-1080.
Huai Jinpeng and Li Xianxian, ¡° Algebra model and security analysis for cryptographic protocols ¡± , Science in China (Series F), Vol. 47, Feb 2004, Pages 199-220
Xianxian Li, Jun Han, Zhaohao Sun. Design principles and security of authentication protocols with trusted third party, Proc. of the AUUG 2004 Conference, 31 Aug.- 2 Sept. Melbourne, Australia, AUUG Incorporated, 2004, 103-108.
Xianxian Li and Jinpeng Huai, ¡° Efficient Non- repudiation Multicast Source Authentication Schemes ¡± , Journal of Computer Science & Technology, Vol. 17, No. 6, 2002, Pages 820-829
Xianxian Li, Xudong Liu and Jinpeng Huai, ¡° Dynamic security of group key distribution and its solutions ¡± , Chinese Journal of Computers, Vol. 25, No. 4, April 2002
Xianxian Li and Jinpeng Huai, ¡° Efficient authentication signature schemes for dynamic multicast groups ¡± , Journal of Software, Vol. 12, No. 10, 2001
Xianxian Li and Jinpeng Huai, ¡° A fair non-repudiation cryptographic protocol and its formal analysis ¡± , Journal of Software, Vol.11, No. 12, 2000
Xianxian Li and Fuchang Cheng, ¡° Cr-Coherency of polynomial rings and G-graded rings ¡± , Southeast Asian Bulletin of Mathematics, Springer-Verlag, Vol. 23, November 1999, pages 657-663. |