基本信息

---

姓名：习宁 职位：副教授
硕士生导师
硕士学科：网络空间安全　
工作单位：网络与信息安全学院

联系方式
通信地址：陕西省西安市太白南路2号西安电子科技大学
电子邮箱：nxi@xidian.edu.cn
办公电话：**
办公地点：北校区新科技楼1003 南校区行政辅楼227


个人简介
2011年毕业于西安电子科技大学，获计算机系统结构博士学位，主要研究方向包括异构网络融合安全、服务组合安全、信息流安全等。代表性成果及经历：在服务计算顶级会议International Conference on Web Service（ICWS）及期刊《Future Generation Computer System》等发表论文多篇；开发了无线网络快速切换接入、复杂系统安全性验证工具、航电多级安全管理等系统及软件，参与开发了“秦盾”加密数据库、无人机安全组网等系统；曾获2014年度中国电子学会科学技术奖一等奖；主持了国家自然基金青年项目，并先后参与了国家自然基金重点项目、国家重点研发计划等项目的研究。

代表性成果
申请人长期从事网络安全、系统安全等方面的研究，内容涉及异构网络融合安全、信息流安全、服务组合安全等多个方面，并取得了一系列的研究成果。
在理论研究方面，申请人结合程序静态分析、模型检测等方法针对服务协同组合环境下的信息流安全问题进行了深入研究，申请人提出了保证服务组合效率的信息流安全验证方法。相关代表性研究成果已发表在Future Generation Computer System（FGCS，JCR 2 区），Science China，China Communication 等SCI 期刊及服务计算领域顶级会议ICWS 上。其中，已被FGCS 录用的论文《Secure Service Composition With Information Flow Control in Service Clouds》提出了跨云环境下针对服务组合的可组合信息流验证方法，克服了传统模型检测方法整体建模复杂，验证开销大的缺陷；已在ICWS 2013 上发表的《Decentralized Information Flow Verification Framework for the Service Chain Composition in Mobile Computing Environments》提出了移动环境下可组合信息流验证框架及方法，解决了能量受限情况下集中式验证方法给终端带来较大负载的问题。
在系统开发方面，申请人结合系统组件化特点，基于SPIN模型检测工具设计并开发了针对嵌入式软件的可组合信息流验证系统，解决传统验证方法中状态爆炸问题，降低验证开销。该系统申请了相关专利并已授权。
在成果总结方面，申请人参与的“泛在网信息汇聚及安全保护关键技术”获得2014年度中国电子学会科学技术奖一等奖。
在承担项目方面，申请人主持了国家自然基金青年项目“面向服务组合的信息流安全验证及评估技术研究”，并先后参与了“嵌入式软件可组合信息流安全验证机制研究”，“面向异构物联网的安全融合理论及关键技术研究”等项目的研究。

---

基本信息

---

姓名：习宁 职位：副教授
硕士生导师
硕士学科：网络空间安全　
工作单位：网络与信息安全学院

联系方式
通信地址：陕西省西安市太白南路2号西安电子科技大学
电子邮箱：nxi@xidian.edu.cn
办公电话：**
办公地点：北校区新科技楼1003 南校区行政辅楼227


个人简介
2011年毕业于西安电子科技大学，获计算机系统结构博士学位，主要研究方向包括异构网络融合安全、服务组合安全、信息流安全等。代表性成果及经历：在服务计算顶级会议International Conference on Web Service（ICWS）及期刊《Future Generation Computer System》等发表论文多篇；开发了无线网络快速切换接入、复杂系统安全性验证工具、航电多级安全管理等系统及软件，参与开发了“秦盾”加密数据库、无人机安全组网等系统；曾获2014年度中国电子学会科学技术奖一等奖；主持了国家自然基金青年项目，并先后参与了国家自然基金重点项目、国家重点研发计划等项目的研究。

代表性成果
申请人长期从事网络安全、系统安全等方面的研究，内容涉及异构网络融合安全、信息流安全、服务组合安全等多个方面，并取得了一系列的研究成果。
在理论研究方面，申请人结合程序静态分析、模型检测等方法针对服务协同组合环境下的信息流安全问题进行了深入研究，申请人提出了保证服务组合效率的信息流安全验证方法。相关代表性研究成果已发表在Future Generation Computer System（FGCS，JCR 2 区），Science China，China Communication 等SCI 期刊及服务计算领域顶级会议ICWS 上。其中，已被FGCS 录用的论文《Secure Service Composition With Information Flow Control in Service Clouds》提出了跨云环境下针对服务组合的可组合信息流验证方法，克服了传统模型检测方法整体建模复杂，验证开销大的缺陷；已在ICWS 2013 上发表的《Decentralized Information Flow Verification Framework for the Service Chain Composition in Mobile Computing Environments》提出了移动环境下可组合信息流验证框架及方法，解决了能量受限情况下集中式验证方法给终端带来较大负载的问题。
在系统开发方面，申请人结合系统组件化特点，基于SPIN模型检测工具设计并开发了针对嵌入式软件的可组合信息流验证系统，解决传统验证方法中状态爆炸问题，降低验证开销。该系统申请了相关专利并已授权。
在成果总结方面，申请人参与的“泛在网信息汇聚及安全保护关键技术”获得2014年度中国电子学会科学技术奖一等奖。
在承担项目方面，申请人主持了国家自然基金青年项目“面向服务组合的信息流安全验证及评估技术研究”，并先后参与了“嵌入式软件可组合信息流安全验证机制研究”，“面向异构物联网的安全融合理论及关键技术研究”等项目的研究。

---

科学研究
[1]国家自然科学基金青年基金，面向服务组合的信息流安全验证及评估技术研究，**，项目编号：**，22万，2016.01-2018.12，在研，主持。
[2]国家自然科学基金促进海峡两岸科技合作联合基金，面向异构物联网的安全融合理论及关键技术研究，项目编号：U**，245 万，2015.01-2018.12，在研，参加，负责服务融合安全。
[3]国家自然科学基金青年基金，嵌入式软件可组合信息流安全验证机制研究，项目编号：**，23万，2014.01-2016.12，结题，参加，负责信息流安全模型分析。

---

学术论文
[1] Xi Ning, Sun Cong, Ma Jianfeng, Shen Yulong. Secure service composition with information flow control in service clouds[J]. Future Generation Computer Systems, 2015, 49: 142-148.
[2] Xi N, Lu D, Sun C, et al. Distributed Secure Service Composition with Declassification in Mobile Clouds[J]. Mobile Information System, 2017.
[3] Xi Ning, SUN Cong, MA Jianfeng, CHEN Xiaofeng, SHEN Yulong. Distributed Information Flow Verification for Secure Service Composition in Smart Sensor Network. China Communications. 2016.04.
[4] Ning Xi, Jianfeng Ma, Cong Sun, Yulong Shen, Tao Zhang. Distributed Information Flow Verification Framework for the Composition of Service Chain in Wireless Sensor Network. International Journal of Distributed Sensor Networks, vol. 2013, 2013.(SCI 00031**，IF 0.7).
[5] 习宁, 马建峰, 孙聪, 卢笛, 张涛. 基于模型检测的服务链信息流安全可组合验证方法. 通信学报. 2014.
[6] Ning Xi, Yulong Shen, Zhiwei Zhang, Jianfeng Ma. MADA: A Multi-Application Domain Architecture For Home Network. International Journal of Advancements in Computing Technology, vol.4, no.11, pp.66-76,2012.(EI 943).
[7] Cong Sun, Ning Xi, Sheng Gao, Zhong Chen, Jianfeng Ma, Automated enforcement for relaxed information release with reference points. SCIENCE CHINA Information Sciences, 2014, 57(11), pp. 1-19.
[8] Ning Xi, Jianfeng Ma, Cong Sun, Tao Zhang. Decentralized Information Flow Verification Framework for the Service Chain Composition in Mobile Computing Environments. 2013 IEEE 20th International Conference on Web Services (ICWS), 2013.(EI **，计算机B类会议).
[9] Cong Sun, Ning Xi, Jinku Li, Qingsong Yao and Jianfeng Ma, Verifying Secure Interface Composition for Component-based System Designs. APSEC'14: the 21st Asia-Pacific Software Engineering Conference. IEEE, 2014, pp. 382-389.
[10] Tao Zhang, Jianfeng Ma, Ning Xi, Ximeng Liu, Zhiquan Liu. Trustworthy Service Composition in Service-Oriented Mobile Social Networks. 2014 IEEE 21th International Conference on Web Services (ICWS), 2014.
[11] Tao Zhang, Jianfeng Ma, Cong Sun, Qi Li, Ning Xi. Service Composition in Multi-domain Environment under Time Constraint. IEEE 20th International Conference on Web Services (ICWS), 2013.

---

荣誉获奖
2014年获中国电子学会科学技术发明奖一等奖，泛在网信息汇聚及安全保护关键技术，第五发明人。

---

科研团队
团队教师




博士研究生
硕士研究生

---

课程教学
目前本人承担的教学任务：

课件下载 示例

---

招生要求
~~~~~~~~~~~~~~~~~~~~~~~~~~
关于研究生招生的信息：
~~~~~~~~~~~~~~~~~~~~~~~~~~
研究方向：系统安全、软件安全、人工智能

---

Profile
Name Title
Department:

Contact Information
Address:
Email:
Tel:


Introduction
Put brief introduction of yourself here


Research Interests
1．
2.
3．
4．
5．

---

Research
目前研究团队承担的科研项目：

---

Papers
[1]
[2]
[3]
[4]
[5]
[6]
[7];
[8]
[9]

---

Honors
点击网页顶部“添加栏目”可以添加其他栏目
把鼠标放在栏目标题处，尝试拖动栏目。

---

Team
团队教师




博士研究生
硕士研究生

---

Teaching
目前本人承担的教学任务：

课件下载 示例

---

Admission
~~~~~~~~~~~~~~~~~~~~~~~~~~
关于研究生招生的信息：
~~~~~~~~~~~~~~~~~~~~~~~~~~