发表论文:
2012
1 李先贤; 高琦。 一种面向数据中心架构的虚拟网络分布式路由技术 广西师范大学学报(自然科学版) 2012/03
2011
2 Xianxian Li, Changhui Jiang, Jianxin Li, and Bo Li. VMInsight: Hardware Virtualization-based Process Security Monitoring System. The 2011 International Conference on Network Computing and Information Security, May, 2011.
2010
3 JieXu, Dacheng Zhang, Lu Liu, and Xianxian Li. Dynamic Authentication for Cross-Realm SOA-Based Business Processes. IEEE Transactions on Services Computing, Jun. 2010, Pages:1939-1174
4 蒋俊彦; 李先贤; 李建欣; 吴茜 SOArTester4RT:一种面向组合服务演化的高效回归测试工具 微电子学与计算机 2010/08
2009
5 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).
6 Ting Deng JinpengHuai Xianxian Li Zongxia Du. Automated Synthesis of Composite Services with Correctness Guarantee, Proceedings of the 18th international conference on World wide web (WWW) 2009 (Poster Sessions) MADRID, Spain 2009.4
7 林莉, 怀进鹏, 李先贤. 基于属性的访问控制策略合成代数, 软件学报, Vol.20, No.2, 2009.2.
8 李建欣 怀进鹏 李先贤 林莉. DTM :一种面向网络计算的动态信任管理模型, 计算机学报, Vol.32, No.3, 2009.3
2008
9 Li Lin, JinpengHuai, Yanmin Zhu, Chunming Hu, Xianxian Li. A Multi-agents Contractual Approach to Incentive Provision in Non-cooperative Networks, On the Move to Meaningful Internet Systems: OTM Conferences (1) 2008: 231-248.
10 张巍; 李先贤 基于启发式搜索算法的网格信息查询优化 计算机工程 2008/19
11 刘小佩; 李先贤 基于网格与SIP的VoIP服务 微计算机信息 2008/03
2007
12 Dacheng Zhang JieXu and Xianxian Li. Dynamic Cross-Realm Authentication for Multi-Party Web Service Interactions, The 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2007), Edinburgh, UK, June 2007
13 朱晓娜; 李先贤; 李沁 面向服务网格的虚拟环境部署运行管理系统 计算机工程与应用 2007/36
14 蔡炳; 李沁; 李先贤 虚拟运行环境描述管理工具的研究和实现 计算机工程与设计 2007/23
15 李先贤 英国大学计算机教育特点与思考 计算机教育 2007/07
2006
16 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
17 JinpengHuai, 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.
18 李建欣, 怀进鹏, 李先贤. 自动信任协商研究, 软件学报, Vol. 17, No. 1, 2006.1: 124~133.
19 张煜,林莉,怀进鹏,李先贤,钟亮. 网格环境中信任-激励相容的资源分配机制. 软件学报,2006,17(11):2245-2254
2005
20 Li Xianxian&HuaiJinpeng. Cryptographic Protocol Security Analysis Based on Bounded Constructing Algorithm,Science in China Series F, Vol. 49, No.1, 2006. 21 李先贤, 怀进鹏. 基于约束构造算法的密码协议安全性自动分析技术. 中国科学(E辑), Vol. 35, No.10, 2005: 1009-1030.
22 JinpengHuai, 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.
23 Yu Zhang, Xianxian Li, JinpengHuai 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
24 李建欣,李先贤,卓继亮,怀进鹏. SPA:新的高效安全协议分析系统,计算机学报,Vol.28, No.3, 2005.3: 309-318.
24 张煜, 张文燚,李先贤, 怀进鹏. 多自治域协同环境中群组通信的安全访问控制, 计算机研究与发展,Vol.42, No.9, 2005:1558-1563.
25 卓继亮,李先贤, 李建欣,怀进鹏. 安全协议的攻击分类及其安全性评估,计算机研究与发展,Vol.42, No.7,2005.7:1100-1107.
26 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.
2004
27 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, pp. 103-108.
28 卓继亮; 蔺慧丽; 李先贤 具有可信第三方的认证协议的安全性 计算机应用研究 2004/12
2003
29 HuaiJinpeng, Li Xianxian. Algebra model and security analysis for cryptographic protocols. Science in China Series F, Vol.47,2004.2:199-220.
30.怀进鹏,李先贤. 密码协议的代数模型及其安全性,中国科学(E辑),Vol.33, No.12, 2003.12: 1087-1106.
31 怀进鹏; 李先贤 密码协议的代数模型及其安全性 中国科学E辑:技术科学 2003/12
2002
32 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
33 李先贤,怀进鹏,刘旭东. 群密钥分配动态安全性及其方案,计算机学报,Vol. 25, No.4,2002.4:337-345.
34 李先贤; 怀进鹏 分布式网络环境下密码协议形式模型和安全性 中国科学院研究生院学报 2002/03
2001
35 李先贤,怀进鹏. 高效的动态组播通信认证方案,软件学报,Vol.12, No.10,2001.10:1486-1494.
36 李先贤; 怀进鹏 一种双方不可否认的密码协议及应用 北京航空航天大学学报 2001/02
2000
37 李先贤,怀进鹏. 公平的非否认密码协议及其应用,软件学报,Vol.11, No.12,2000.11:1628-1634.
38 李先贤 基于PGP安全系统及应用 广西师范大学学报(自然科学版) 2000/03
2000年以前的
45 李先贤; 程福长 非交换Gr-凝聚半局部环的同调维数 广西师范大学学报(自然科学版) 1998/02
46 李先贤; 程福长 分次余同调维数 广西师范大学学报(自然科学版) 1998/01
47 李先贤; 程福长 Gr-NoetherGr-半局部环的同调维数 广西师范大学学报(自然科学版) 1997/01
会议论文:
1 SOArTester4RT:一种面向组合服务演化的高效回归测试工具 蒋俊彦; 李先贤; 李建欣; 吴茜 2010年全国开放式分布与并行计算机学术会议 中国会议 2010-08-19
不忘初心 方得始终
——记广西师范大学计算机科学与信息工程学院副院长李先贤
寂寞悠长的漓江,伴随着岁月无情的钟声静静流淌。桂林山水的孕育丝毫没有减缓它的流动,漓江始终自上而下,朝着最初的方向安静地前进,最终成为广西壮族自治区最为秀丽迷人的风景。
家乡的河这样,家乡的人也是如此。从一位普通的小镇中学教师到知名大学的教授、博士生导师,李先贤的人生经历在别人眼中颇有些传奇色彩。然而,对于他自身而言,这一切都不过是再理所应当的一件事,“不怕失败,一往无前,就一定能做到心中所想”。
从教师到学生
1987年7月,从中等师范学校毕业后李先贤就去了家乡广西阳朔县的一个小镇教书,此时的他还不满18岁。
小镇的生活十分安逸,却也更加容易磨灭人的斗志。然而,年轻的李先贤并没有因此放弃自己最初的梦想,在这贫穷落后的乡村仍然努力地追求上进。“因为工作的时候还很年轻,而且也是因为从小就有一个梦想吧,希望长大后能成为一个有知识、有理想的人。”李先贤的声音徐徐响起,语气中听不出丝毫情绪起伏。
在小镇执教的7年,李先贤自学了大学课程,于1994年获得了在广西师范大学数学与计算机科学系攻读硕士学位的机会。
短短的一句话就概括了李先贤这7年间的经历,然而,这背后的无数奋斗和辛酸却只有他自己知晓。对于李先贤而言,那几年最困难的就是图书资料的获取。20世纪80年代后期信息获取比较落后,再加上小镇的地理位置远离城市中心,这一切都让李先贤的借书之路显得异常艰辛。
小镇没有资料,李先贤几乎跑遍了临近所有大大小小的图书馆,身处桂林市的广西师范大学便成了他的主战地,他甚至还找到了以前的同学向他们借书。在大数据盛行于当下的时代,实在很难想象当时的艰辛,而李先贤就是在这样的条件下完成了所有的自学课程。
“因为教育比较落后,从小我就已经习惯了自学,所以自学对我来说并不算困难。”在李先贤的记忆里,只有教程资料的缺乏让他印象深刻,其他问题并没给他带来任何阻碍。
而从李先贤的名字就可看出家人对他的期待,所以在这条漫长且崎岖的求学路上,令李先贤幸运的是家人一直都很支持他的决定。“从小在学校成绩也还算比较优秀,所以家人也一直对我有很大期待,知道我的理想以后对我的决定他们都很支持。”对于家人的理解和支持,李先贤也感恩在心,而让他欣慰的是求学时代也并没给家里带来太大压力和负担。“我们读书的时候不用交多少学费,后来参加工作之后又可以自己承担生活费和自学的费用,所以一直以来也没给家里造成太大压力。”
1994年9月,李先贤开始了攻读数学专业的硕士生涯,而他最早的方向其实是物理。“开始的时候我最感兴趣的是物理,但是在学物理的时候发现需要非常多的数学知识,后来在学数学的过程中又对数学挺感兴趣的,也积累了一些数学基础,所以就报考了数学研究生。”李先贤说道。
兴趣是支撑一个人事业成就的起点。对于李先贤而言,在数学的学习过程中,也是在探索人类心灵世界的秩序,使复杂的问题变得清晰和自然,享受着数学带来的美感,兴趣支撑着不知疲倦的投入,“凭着兴趣学习,累也觉得快乐”。
“我觉得自己还是挺幸运的,我的硕士导师是程福长教授和易忠教授,那时易忠教授刚从英国格拉斯哥(GLAS—GOW)大学数学系毕业留学归国,两位导师就带了我一个研究生,他们的专业知识非常强,又对我很是关心和照顾,对我影响很大。”李先贤强调。几年的硕士生涯,生活上李先贤早在自学时期就对广西师范大学有了一定了解,而学习上又有导师的关心和引导,这些都对他后来的工作与学习产生了重要影响。
结缘计算机
1997年9月,在获得广西师范大学数学与计算机学院硕士学位后,李先贤留在了母校当讲师。然而,这仍然不是他求学的终点。
在基础数学领域钻研了数年之后,李先贤知道在这方面留给自己的空间很小,已经很难有重大突破和创新,他决定换一个与数学相关的方向。而此时正在各国间悄然兴起的计算机领域,便走进了李先贤的视野。
“那时计算机技术正处于迅速发展阶段,而互联网在国内才刚开始起步,发展的空间很大,跟数学的联系又很紧密,所以我就选择了这个方向。”李先贤说道。在广西师范大学担任了两年讲师后,他又以优异的成绩考取了北京航空航天大学计算机学院,攻读计算机科学技术专业博士研究生。
“北京航空航天大学的计算机专业非常好,我的导师怀进鹏教授也非常优秀。”李先贤介绍。怀进鹏教授长期从事软件与理论、网络化软件系统技术研究工作,2009年当选为中国科学院院士。导师怀进鹏对李先贤的影响很大,博士期间的学习也为他后来开展学术研究打下了坚实基础。 “所以我后来也经常跟我的学生说,可能本科时期很重要,但硕士、博士选择合适的导师才是最重要的,直接影响你今后的学术研究方向。”谈到导师的时候李先贤说道。而从小培养的自学才能,也让他在面对一个全新的领域时丝毫没有表现出弱势。攻读博士期间,他还获得2001年度微软亚洲研究院的“微软学者”(当年中国共有14人获得)。
因为表现优异,2003年起李先贤就在北京航空航天大学(以下简称北航)计算机学院任教,并先后在北航被聘为副教授、教授和博士生导师。2006年~2008年,他还主持了教育部新世纪优秀人才计划项目“基于协议计算的资源协同及安全技术”。“目前为止,这项研究对我的印象最深,因为它是从复杂系统构建中产生新的数学问题,并且通过数学分析和构筑形成一种系统构造方法,在团队的帮助下我们还开发了一个相应的应用,最后在很多系统中都起到了很大作用。”李先贤介绍。
在其他人眼中,也许李先贤的人生算得上波澜起伏,但对他而言,只要不怕失败,一往无前,就一定能做到心中所想。从数学到计算机的转变,并没有为李先贤带来任何困难,反而成了他学习计算机的基石。
项目中,他将静态的代数结构与动态的逻辑推理技术结合,提出全新的安全协议分析形式化理论及其模型-称为CPA(Cryptographic Protocol Algebra)模型,并运用于安全协议分析技术,推进了安全协议一致性、安全性归约、无限空间搜索等问题研究,设计高效的密码协议安全性分析算法,并研制了网络安全协议安全性分析系统,发现了国际上未公开的安全协议缺陷,并与国际上当时同类技术相比,显著提高分析效率。系统以及协议相关算法应用于网络安全系统的构建和评测,帮助发现系统的缺陷并完善其安全性。
2000年之后,互联网用户越来越多,特别是近十年呈爆炸式增长。互联网是一个开放的环境,所有的人都可以在这个平台上进行交流互动,然而,互联网并不能识别信息的真伪以及是否有害,例如,服务有可能是一个病毒或者恶意软件,怎么办?
“这就需要一个构建支持信任的系统,去解决在开放的环境下如何保障我们应用中交流的安全性。”李先贤介绍。2007~2009年,他又主持了国家“863”计划“分布式环境下的信任模型与保障技术研究”,便是针对互联网下由于信任引起的交互安全问题开展研究。
一路走来,李先贤并没有明确地划下目标,从物理到数学,再到计算机,只不过是按照心中所想一步步坚定地向前。对于他而言人生没有终点,每一个阶段都只是前行的阶梯。
北雁南归
2010年9月,李先贤离开了工作学习十多年的北京航空航天大学,作为A类“漓江学者”回到了孕育他的母校——广西师范大学。
家乡对于一个人的意义是什么?也许李先贤也说不清楚。只是当母校对他抛出橄榄枝的时候,他选择了离开工作学习十多年的北京回到了家乡,回到了母校。
“到目前为止,北航是我人生中待过时间最长的地方了。在北航的十年,它给我印象最深的就是踏实,大家都很勤奋、务实。”提到北航,李先贤的语气中也带了一丝怀念。而这十年,李先贤不仅在北航完成了博士学业,还在2006~2007年赴往英国利兹大学(University of Leeds)做访问学者研究交流一年。同时,北航为李先贤留下的荣誉与奖励也不胜枚举:2004年度、2005年度获国家科技进步奖二等奖;2005年度获国防科学技术奖一等奖;作为第一发明人获得发明专利3项,2005年获教育部“新世纪优秀人才支持计划”;承担项目包括国家自然科学基金、国家“863计划”、国家“973计划”、国防基础科研项目。
“回到母校主要也是两个原因,第一它毕竟是我的家乡,第二是广西的信息技术不发达,计算机领域还比较落后,对我而言可以发展的空间很大,我也希望能发挥自己的特长回报父老乡亲,为这个地方带来一些进步。”李先贤淡淡地说道。
十多年后重回母校,李先贤仍然没有放弃自己奋斗的梦想,带领团队在家乡的舞台尽情绽放。与企业合作、建立院士工作站、与国外建立良好的交流合作关系
李先贤:不怕失败就一定能做到
人物档案:博士、教授,北京航空航天大学计算机软件与理论方向博士生导师。2010年9月,作为“漓江学者”被引进到广西师范大学计算机科学与信息工程学院。
感言:别人看来很难的事,我觉得只要自己坚持,只要不怕失败,就一定能做到。
1987年中等师范学校毕业后,他在广西阳朔县福利初中执教7年;自学高中和大学课程;于1994年获得在广西师范大学数学与计算机学院攻读硕士学位的机会,之后在该校任讲师两年;1999年他以优异成绩进入北京航空航天大学计算机学院攻读博士学位,2002年获工学博士学位;2003年至2010年8月在北京航空航天大学计算机学院从事科研教学工作,被聘为教授和博士生导师。
从一位普通的初中教师到一所知名大学的教授,这样的传奇人生让人感叹,李先贤却笑着说:“凭着兴趣做事,累也觉得快乐。别人看来很难的事,我觉得只要自己坚持,只要不怕失败,就一定能做到。”
正是因为李先贤这种不怕失败、敢于拼搏的精神,他在网络安全、计算机软件方面取得了显着成果。作为技术组织人和主要研究人员,他主持完成国家“863”项目、国家“核高基”重大专项子课题及国防科研等国家项目,获得国家科技进步二等奖2项、国防科技一等奖1项。
同时,他具有很高的研究水平和创新能力,并能组织研究队伍进行科研攻关,有着良好的科研管理能力。获得2001年度微软亚洲研究院的“微软学者”奖金(中国共14人获得)。作为第一发明人获得发明专利3项,入选2005年度教育部“新世纪优秀人才”、广西“十百千”第二层次人才等。
对于这些成绩,李先贤认为多年的数学学习背景对自己帮助很大。同时,丰富的人生经历也教会他任何时候都不要在困难面前低头。去年被引进广西师范大学后,他希望能发挥自己特长,回报母校和家乡父老。
来源: 桂林生活网—桂林日报 2011-09-09 16:19:00