ÖÐÎÄ 

 English
¡¡  Home   Introduction   Research  Teachers  Projects   Publications  Students ¡¡
 ¡¡ 
¡¡
Welcome to ACT  
Home
Introduction of Institute
Research Divisions
Teachers
in ACT
Projects and Solutions
Publicatioins
Students in ACT
¡¡
Introduction of Professor Li Xianxian
Name:  Xianxian Li
Sex:  Male
Birth:  September , 1969
Nationality:  Guilin,Guangxi Zhuang Nationality Autonomous Region,  China
Business Title/Position:
 Associate Professor, Doctor
¡¡

Research Interest:

  Security Protocols; Access Control for Distributed systems; Security for Grid service; Service composition.
Working Experience£º


  
He received the master's degree in Mathematics from Guangxi Normal University in 1997, and received the Ph.D degree in Computer Science and Technology from Beihang University . As a principal researcher and manager he engaged in many important projects like National Natural Science Foundation, National 863 Program and National Defence Foundation etc. He has published more than 20 papers and obtained Second-class China State Science and Technology Award in 2004 and the first prize of National Defence Science and Technology.

¡¡
Selected Publications£º

 

•  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.

¡¡
¡¡   ¡¡
           
¡¡Copyright 2001-2004 ACT, All Rights Reserved
This site have been visited for   times
¡¡