个人简历

个人简介
2011年毕业于西安电子科技大学，获计算机系统结构博士学位。代表性成果及经历：在服务计算顶级会议InternationalConferenceonWebService（ICWS）及期刊《FutureGenerationComputerSystem》等发表论文多篇；开发了无线网络快速切换接入、复杂系统安全性验证工具、航电多级安全管理等系统及软件，参与开发了“秦盾”加密数据库、无人机安全组网等系统；曾获2014年度中国电子学会科学技术奖一等奖；主持了国家自然基金青年项目，并先后参与了国家自然基金重点项目、国家重点研发计划等项目的研究。
代表性成果
申请人长期从事网络安全、系统安全等方面的研究，内容涉及异构网络融合安全、信息流安全、服务组合安全等多个方面，并取得了一系列的研究成果。
在理论研究方面，申请人结合程序静态分析、模型检测等方法针对服务协同组合环境下的信息流安全问题进行了深入研究，申请人提出了保证服务组合效率的信息流安全验证方法。相关代表性研究成果已发表在FutureGenerationComputerSystem（FGCS，JCR2区），ScienceChina，ChinaCommunication等SCI期刊及服务计算领域顶级会议ICWS上。其中，已被FGCS录用的论文《SecureServiceCompositionWithInformationFlowControlinServiceClouds》提出了跨云环境下针对服务组合的可组合信息流验证方法，克服了传统模型检测方法整体建模复杂，验证开销大的缺陷；已在ICWS2013上发表的《DecentralizedInformationFlowVerificationFrameworkfortheServiceChainCompositioninMobileComputingEnvironments》提出了移动环境下可组合信息流验证框架及方法，解决了能量受限情况下集中式验证方法给终端带来较大负载的问题。
在系统开发方面，申请人结合系统组件化特点，基于SPIN模型检测工具设计并开发了针对嵌入式软件的可组合信息流验证系统，解决传统验证方法中状态爆炸问题，降低验证开销。该系统申请了相关专利并已授权。
在成果总结方面，申请人参与的“泛在网信息汇聚及安全保护关键技术”获得2014年度中国电子学会科学技术奖一等奖。
在承担项目方面，申请人主持了国家自然基金青年项目“面向服务组合的信息流安全验证及评估技术研究”，并先后参与了“嵌入式软件可组合信息流安全验证机制研究”，“面向异构物联网的安全融合理论及关键技术研究”等项目的研究。
科学研究
[1]国家自然科学基金青年基金，面向服务组合的信息流安全验证及评估技术研究，61502368，项目编号：61502368，22万，2016.01-2018.12，在研，主持。
[2]国家自然科学基金促进海峡两岸科技合作联合基金，面向异构物联网的安全融合理论及关键技术研究，项目编号：U1405255，245万，2015.01-2018.12，在研，参加，负责服务融合安全。
[3]国家自然科学基金青年基金，嵌入式软件可组合信息流安全验证机制研究，项目编号：61303033，23万，2014.01-2016.12，结题，参加，负责信息流安全模型分析。
荣誉获奖
2014年获中国电子学会科学技术发明奖一等奖，泛在网信息汇聚及安全保护关键技术，第五发明人。
招生要求
关于研究生招生的信息：
研究方向：系统安全、软件安全、人工智能

研究领域

主要研究方向包括异构网络融合安全、服务组合安全、信息流安全等

近期论文

[1]XiNing,SunCong,MaJianfeng,ShenYulong.Secureservicecompositionwithinformationflowcontrolinserviceclouds[J].FutureGenerationComputerSystems,2015,49:142-148.
[2]XiN,LuD,SunC,etal.DistributedSecureServiceCompositionwithDeclassificationinMobileClouds[J].MobileInformationSystem,2017.
[3]XiNing,SUNCong,MAJianfeng,CHENXiaofeng,SHENYulong.DistributedInformationFlowVerificationforSecureServiceCompositioninSmartSensorNetwork.ChinaCommunications.2016.04.
[4]NingXi,JianfengMa,CongSun,YulongShen,TaoZhang.DistributedInformationFlowVerificationFrameworkfortheCompositionofServiceChaininWirelessSensorNetwork.InternationalJournalofDistributedSensorNetworks,vol.2013,2013.(SCI0003119165300001，IF0.7).
[5]习宁,马建峰,孙聪,卢笛,张涛.基于模型检测的服务链信息流安全可组合验证方法.通信学报.2014.
[6]NingXi,YulongShen,ZhiweiZhang,JianfengMa.MADA:AMulti-ApplicationDomainArchitectureForHomeNetwork.InternationalJournalofAdvancementsinComputingTechnology,vol.4,no.11,pp.66-76,2012.(EI20124115554943).
[7]CongSun,NingXi,ShengGao,ZhongChen,JianfengMa,Automatedenforcementforrelaxedinformationreleasewithreferencepoints.SCIENCECHINAInformationSciences,2014,57(11),pp.1-19.
[8]NingXi,JianfengMa,CongSun,TaoZhang.DecentralizedInformationFlowVerificationFrameworkfortheServiceChainCompositioninMobileComputingEnvironments.2013IEEE20thInternationalConferenceonWebServices(ICWS),2013.(EI13879040，计算机B类会议).
[9]CongSun,NingXi,JinkuLi,QingsongYaoandJianfengMa,VerifyingSecureInterfaceCompositionforComponent-basedSystemDesigns.APSEC'14:the21stAsia-PacificSoftwareEngineeringConference.IEEE,2014,pp.382-389.
[10]TaoZhang,JianfengMa,NingXi,XimengLiu,ZhiquanLiu.TrustworthyServiceCompositioninService-OrientedMobileSocialNetworks.2014IEEE21thInternationalConferenceonWebServices(ICWS),2014.
[11]TaoZhang,JianfengMa,CongSun,QiLi,NingXi.ServiceCompositioninMulti-domainEnvironmentunderTimeConstraint.IEEE20thInternationalConferenceonWebServices(ICWS),2013.