博士，教授。1969年9月生，2002年12月在北京航空航天大学计算机软件与理论专业获博士学位。2005年入选教育部新世纪优秀人才支持计划。主持或作为学术骨干参与了国家863项目、国家自然科学基金、973基础科研计划等科研项目。主要从事可信计算、网络与信息安全理论与技术研究。提出了安全协议的代数模型和安全性分析技术，并研制高效安全传输系统和协议安全性分析系统。在《中国科学》、Journal of Computer Sci. & Tech.等国家核心期刊、国际会议等发表学术论文20余篇。获得2项国家科技进步奖和1项国防科技奖。
  

 •  Li Xianxian & Huai jinpeng. Cryptographic Protocol Security Analysis Based on Bounded Constructing Algorithm, Science in China Series F, Vol. 49, No.1, 2006.1: 26 ~ 47. 李先贤, 怀进鹏. 基于约束构造算法的密码协议安全性自动分析技术. 中国科学（E辑）, Vol. 35, No.10, 2005: 1009-1030.

•  Huai Jinpeng, Li Xianxian. Algebra model and security analysis for cryptographic protocols. Science in China Series F, Vol.47，2004.2：199-220. 怀进鹏，李先贤. 密码协议的代数模型及其安全性，中国科学（E辑）,Vol.33, No.12, 2003.12: 1087—1106.

•  Li Xian-xian, Huai Jin-peng. Efficient Non-repudiation Multicast Source Authentication Schemes，Journal of Computer Science & Technology,Vol.17, No.6，2002.12: 820-829.

•  李先贤，怀进鹏，刘旭东. 群密钥分配动态安全性及其方案，计算机学报，Vol. 25, No.4，2002.4：337-345.

•  李建欣，李先贤，卓继亮，怀进鹏. SPA：新的高效安全协议分析系统，计算机学报，Vol.28, No.3, 2005.3: 309-318.

•  李先贤，怀进鹏. 高效的动态组播通信认证方案，软件学报，Vol.12, No.10，2001.10：1486-1494.

•  李先贤，怀进鹏. 公平的非否认密码协议及其应用，软件学报，Vol.11, No.12，2000.11：1628-1634.

•  卓继亮，李先贤, 李建欣，怀进鹏. 安全协议的攻击分类及其安全性评估，计算机研究与发展，Vol.42, No.7,2005.7:1100—1107.

•  李建欣, 怀进鹏, 李先贤. 自动信任协商研究, 软件学报, Vol. 17, No. 1, 2006.1: 124~133.

•  张煜, 张文燚，李先贤, 怀进鹏. 多自治域协同环境中群组通信的安全访问控制, 计算机研究与发展，Vol.42, No.9, 2005:1558-1563.

•  张煜,林莉,怀进鹏,李先贤,钟亮.网格环境中信任-激励相容的资源分配机制. 软件学报，2006,17(11):2245-2254

•  Xianxian Li, Fuchang Cheng. Gr-Coherency of Polynomial Rings and G-Graded Rings, Southeast Asian Bulletin of Mathematics，Springer-Verlag, 1999(11)，23：657-663.

•  Dacheng Zhang Jie Xu and Xianxian Li. Dynamic Cross-Realm Authentication for Multi-Party Web Service Interactions, Proceedings of the 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN'07), Edinburgh, UK, June 2007，pp. 440-449.

•  Xianxian Li, Lijun Liu. A Multi-agent Cooperative Model and System for Integrated Security Monitoring. The 5th International Conference on Cryptology and Network Security (CANS 2006), Lecture Notes in Computer Science, Springer 2006, ISBN 3-540-49462-6: 329-341.

•  Yu Zhang, Xianxian Li, Jinpeng Huai and Yunhao Liu. Access Control in Peer-to-Peer Collaborative Systems. The 25th IEEE International Conference on Distributed Computing Systems (ICDCS 2005), Columbus, USA, June 6-9, 2005.

•  Jinpeng Huai, Yu Zhang, Xianxian Li, and Yunhao Liu, Distributed Access Control in CROWN Groups, the 34th International Conference on Parallel Processing (ICPP 2005 ), Norway, June, 2005.

•  Jinpeng Huai, Xianxian Li, Wenyi Zhang, Jun Han. A Software Protocol of Goals and Operations Based on BDI Model. IEEE International Conference on Sensor Networks, Ubiquitous, and Trustworthy Computing. (IEEE SUTC 2006): 454-461.

•  Jianxin Li, Jinpeng Huai, Qin Li, Xianxian Li. Towards Security Analysis to Binding Update Protocol in Mobile IPv6 with Formal Method. International Conference on Mobile Ad-hoc and Sensor Networks(MSN 2005), LNCS 3794, Springer-Verlag Berlin Heidelberg. 2005,1073-1080.