李先贤

李先贤

当前位置:首页  李先贤

   李先贤,男,19699月出生,教授/博士生导师,现任广西师范大学计算机科学与信息工程学院院长。2014年国家高层次特殊人才支持计划(万人计划)-科技创新领军人才、2013国家创新人才推进计划-中青年科技创新领军人才、广西首批八桂学者教育部新世纪优秀人才。2002年在北京航空航天大学计算机软件与理论专业获工学博士,2003年至2010年在北航计算学院任教,并被聘为教授和博士生导师,20109月调入广西师范大学。

        邮箱:lixx@gxnu.edu.cn 

      主要从事网络安全、数据科学与智能计算、软件与形式化理论等方向基础研究工作,获得国家科技进步二等奖2项和国防科技一等奖1项,先后作为主持承担了国家973计划、国家863计划国家自然科学基金面上项目、国家核高基重大专项、国防基础科研等多个国家项目,研制了网络安全协议分析系统。担任多个国际学术会议程序委员会主席和国家重大研发计划评审人,在国际重要期刊、一流国际学术会议和国家权威刊物发表学术论文60余篇,获12发明专利。 
      主持科研项目 国家973计划课题、国家863计划课题、国家自然科学基金面上项目2项、国家核高基重大专项课题、以及广西八桂学者创新团队项目、广西人才小高地团队项目和人才基地项目等重大省部级项目多项。

  代表性论文:
[1] Li-e Wang, Yan Bai, Quan Jiang, and Xianxian Li*. Beh-Raft-Chain: A Behavior-based Fast Blockchain Protocol for Complex Networks[J]. IEEE Transactions on Network Science and Engineering, 2020.3 (online).
[2] Jinyan Wang, Kai Du, Xudong Luo, Xianxian Li*: Two privacy-preserving approaches for data publishing with identity reservation[J]. Knowledge and Information Systems, 60(2): 1039-1080 (2019)
[3] Jinyan Wang, Chen Liu, Xingcheng Fu, Xudong Luo, Xianxian Li*: A three-phase approach to differentially private crucial patterns mining over data streams[J]. Computer and Security 82: 30-48 (2019)
[4] Li-e Wang, Xianxian Li*: A graph-based multifold model for anonymizing data with attributes of multiple types[J]. Computer and Security 72: 122-135 (2018)
[5] Zhenjun Tang, Xianquan Zhang, Xianxian Li, Shichao Zhang. Robust Image Hashing With Ring Partition and Invariant Vector Distance[J]. IEEE Transactions on Information Forensics and Security 11(1): 200-214 (2016).
[6] JieXu, Dacheng Zhang, Lu Liu, and Xianxian Li: Dynamic Authentication for Cross-Realm SOA-Based Business Processes. IEEE Transactions on Services Computing, Vol. 5, No. 1, 2012: 20-32.
[7] Ting Deng, JinpengHuai, Xianxian Li, Zongxia Du: Automated Synthesis of Composite Services with Correctness Guarantee[C]. Proceedings of the 18th international conference on World wide web (WWW) 2009, MADRID, Spain 2009.4
[8] Li Xianxian, Huai Jinpeng. Cryptographic Protocol Security Analysis Based on Bounded Constructing Algorithm,Science in China Series F, Vol. 49, No.1, 2006. 李先贤, 怀进鹏. 基于约束构造算法的密码协议安全性自动分析技术. 中国科学(E辑), Vol. 35, No.10, 2005: 1009-1030.
[9] Jinpeng Huai, Ting Deng, Xianxian Li, Zongxia Du, Huipeng Guo. AutoSyn: A New Approach to Automated Synthesis of Composite Web Services with Correctness Guarantee, Science in China Series F52(9):1534-1549. 一种具有正确性保证的组合Web服务自动合成方法,中国科学F辑,2009(9) [10] HuaiJinpeng, 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.