博士生导师----李先贤

李先贤，男，1969年9月出生，教授/博士生导师（北航），现任广西师范大学计算机科学与信息工程学院副院长。2005年度教育部新世纪优秀人才、广西首批"八桂学者"特聘教授（2011年）、广西"十百千人才工程"第二层次人才。2002年在北京航空航天大学计算机软件与理论专业获工学博士，2003年至2010年在北航计算学院任副教授、教授，并担任博士生导师，2010年9月调入广西师范大学。
主要从事网络与信息安全、服务计算和形式化理论等方向基础研究工作，获得国家科技进步二等奖2项和国防科技一等奖1项，先后作为主持人或技术负责人承担了国家自然基金、国家863计划、国家"核高基"重大专项、国防基础科研等多个国家项目，研制了网络安全协议分析系统。在国际重要期刊、一流国际学术会议和国家权威刊物发表学术论文30余篇，获多项发明专利。

主持完成的科研项目（1）2006年-2008年,主持教育部新世纪优秀人才计划项目"基于协议计算的资源协同及安全技术"（NCET-05-0186），50万元。（2）2007年-2009年，主持国家"863"计划"分布式环境下的信任模型与保障技术研究"（2007AA01Z426），54万元。（3）2009年-2011年，主持国家"核高基"重大专项子课题"面向电子政务领域的应用平台关键技术研究"(2009ZX01043-003-004-09），134万元。

发表主要论文和专利
[1]XianxianLi,ChanghuiJiang,JianxinLi,andBoLi.VMInsight:HardwareVirtualization-basedProcessSecurityMonitoringSystem.The2011InternationalConferenceonNetworkComputingandInformationSecurity,May,2011.
[2]JieXu,DachengZhang,LuLiu,andXianxianLi.DynamicAuthenticationforCross-RealmSOA-BasedBusinessProcesses.IEEETransactionsonServicesComputing,Jun.2010,Pages:1939-1174
[3]LiXianxian&HuaiJinpeng.CryptographicProtocolSecurityAnalysisBasedonBoundedConstructingAlgorithm，ScienceinChinaSeriesF,Vol.49,No.1,2006.李先贤,怀进鹏.基于约束构造算法的密码协议安全性自动分析技术.中国科学（E辑）,Vol.35,No.10,2005:1009-1030.
[4]HuaiJinpeng,LiXianxian.Algebramodelandsecurityanalysisforcryptographicprotocols.ScienceinChinaSeriesF,Vol.47，2004.2：199-220.怀进鹏，李先贤.密码协议的代数模型及其安全性，中国科学（E辑）,Vol.33,No.12,2003.12:1087-1106.
[5]JinpengHuai,TingDeng,XianxianLi,ZongxiaDu,HuipengGuo.AutoSyn:ANewApproachtoAutomatedSynthesisofCompositeWebServiceswithCorrectnessGuarantee,ScienceinChinaSeriesF52(9):1534-1549.一种具有正确性保证的组合Web服务自动合成方法,中国科学F辑,2009(9).
[6]LiXian-xian,HuaiJin-peng.EfficientNon-repudiationMulticastSourceAuthenticationSchemes，JournalofComputerScience&Technology,Vol.17,No.6，2002.12:820-829
[7]DachengZhangJieXuandXianxianLi.DynamicCross-RealmAuthenticationforMulti-PartyWebServiceInteractions,The37thAnnualIEEE/IFIPInternationalConferenceonDependableSystemsandNetworks(DSN2007),Edinburgh,UK,June2007
[8]TingDengJinpengHuaiXianxianLiZongxiaDu.AutomatedSynthesisofCompositeServiceswithCorrectnessGuarantee,Proceedingsofthe18thinternationalconferenceonWorldwideweb(WWW)2009(PosterSessions)MADRID,Spain2009.4
[9]YuZhang,XianxianLi,JinpengHuaiandYunhaoLiu.AccessControlinPeer-to-PeerCollaborativeSystems.The25thIEEEInternationalConferenceonDistributedComputingSystems(ICDCS2005),Columbus,USA,June6-9,2005
[10]XianxianLi,LijunLiu.AMulti-agentCooperativeModelandSystemforIntegratedSecurityMonitoring.The5thInternationalConferenceonCryptologyandNetworkSecurity(CANS2006),LectureNotesinComputerScience,Springer2006,ISBN3-540-49462-6:329-341
[11]LiLin,JinpengHuai,YanminZhu,ChunmingHu,XianxianLi.AMulti-agentsContractualApproachtoIncentiveProvisioninNon-cooperativeNetworks,OntheMovetoMeaningfulInternetSystems:OTMConferences(1)2008:231-248.
[12]JinpengHuai,YuZhang,XianxianLi,andYunhaoLiu,DistributedAccessControlinCROWNGroups,the34thInternationalConferenceonParallelProcessing(ICPP2005),Norway,June,2005.
[13]JinpengHuai,XianxianLi,WenyiZhang,JunHan.ASoftwareProtocolofGoalsandOperationsBasedonBDIModel.IEEEInternationalConferenceonSensorNetworks,Ubiquitous,andTrustworthyComputing.(IEEESUTC2006):454-461.
[14]XianxianLi,JunHan,ZhaohaoSun.Designprinciplesandsecurityofauthenticationprotocolswithtrustedthirdparty,Proc.oftheAUUG2004Conference,31Aug.-2Sept.Melbourne,Australia,pp.103-108.
[15]李建欣，李先贤，卓继亮，怀进鹏.SPA：新的高效安全协议分析系统，计算机学报，Vol.28,No.3,2005.3:309-318.
[16]李先贤，怀进鹏，刘旭东.群密钥分配动态安全性及其方案，计算机学报，Vol.25,No.4，2002.4：337-345.
[17]林莉,怀进鹏,李先贤.基于属性的访问控制策略合成代数,软件学报,Vol.20,No.2,2009.2.
[18]李建欣　怀进鹏　李先贤　林　莉.DTM:一种面向网络计算的动态信任管理模型,计算机学报,Vol.32,No.3,2009.3
[19]李建欣,怀进鹏,李先贤.自动信任协商研究,软件学报,Vol.17,No.1,2006.1:124~133.
[20]卓继亮，李先贤,李建欣，怀进鹏.安全协议的攻击分类及其安全性评估，计算机研究与发展，Vol.42,No.7,2005.7:1100-1107.
[21]JianxinLi,JinpengHuai,QinLi,XianxianLi.TowardsSecurityAnalysistoBindingUpdateProtocolinMobileIPv6withFormalMethod.InternationalConferenceonMobileAd-hocandSensorNetworks(MSN2005),LNCS3794,Springer-VerlagBerlinHeidelberg.2005,1073-1080.
[22]张煜,林莉,怀进鹏,李先贤,钟亮.网格环境中信任-激励相容的资源分配机制.软件学报，2006,17(11):2245-2254
[23]张煜,张文燚，李先贤,怀进鹏.多自治域协同环境中群组通信的安全访问控制,计算机研究与发展，Vol.42,No.9,2005:1558-1563.
[24]李先贤，怀进鹏.高效的动态组播通信认证方案，软件学报，Vol.12,No.10，2001.10：1486-1494.
[25]李先贤，怀进鹏.公平的非否认密码协议及其应用，软件学报，Vol.11,No.12，2000.11：1628-1634.

申请及获得专利
1.实现消息安全处理的服务网关及方法,中国专利号:ZL**2.1,授权日:2010年5月.(排名1)
2.一种基于webservices的显微镜操作平台,中国专利号:ZL**2.2,授权日:2010年12月.(排名1)
3.服务相对信任度评价方法和装置,中国专利号:ZL**8.2,2010-07-07.(排名1)
4.支持组合服务QoS动态优化的服务总线,中国专利号:ZL**8.8,2010-09-01(排名1)
5.资源安全保护的信任自动建立方法和系统,中国专利号:ZL**9.7,2010-07-14(排名2)
6.服务化软件生产方法和装置,中国专利号:ZL**4.3,2010-06-16(排名2)