为“看”不见的安全保驾护航——记西安电子科技大学网络与信息安全学院教授习宁

卫婷婷 户 万

习宁

2004年，习宁考入西安电子科技大学（以下简称“西电”）就读于计算机科学专业，师从国内网络安全领域学术带头人马建峰教授。大学4年的时间里，西电成熟的计算机课程体系，让习宁对计算机知识了如指掌，从深层的原理到复杂的工作机制，再到运用的方法，他一一融会贯通，不仅对计算机有了更加全面的认识，而且有了更大的兴趣。

“计算机是非常有意思的学科，它从二战时期发展至今，早已有了不同的形态，汇集了很多巧思，让我有了想深入学习的念头，想做一些深层次的研究。”就这样，习宁选择在西电继续攻读硕士学位，他在马建峰教授的指导下确定了自己的研究方向——网络安全和系统安全。

习宁说，他感谢马建峰教授把他带进了网络安全领域。因为最初开始研究计算机的时候，人们对计算机的安全意识不是很强，但马建峰教授已经意识到了这个问题。“马老师说安全是未来制约计算机发展的重要因素，因为计算机的不安全意味着数据和信息的泄露，会直接影响经济利益和社会利益。”

硕士毕业后，找到了科研乐趣的习宁放弃了直接工作的打算，下定决心留在西电攻读博士学位。“我觉得每个人的体会可能不太一样，我的感受是经过不懈努力把科研中遇到的难题解决了，你会有一种前所未有的满足感。我喜欢这种感觉。”

2014年，习宁顺利博士毕业，留在了西电，开启了新的研究生涯。两年后，他申请到了国家自然科学青年基金项目“面向服务组合的信息流安全验证及评估技术研究”，这个项目是基于他博士论文的进一步延展。

习宁针对顺序和复杂组合服务研究满足信息流安全的可组合条件，提出了面向组合服务（顺序/复杂）信息流分布式验证框架及方法，突破了传统集中式验证所导致的验证节点负载过重、服务可用性差的瓶颈问题，提高了验证效率，更加适合多云并存的分布式网络环境。他的研究成果申请专利5项，授权2项，获得陕西省科学技术奖一等奖1项、陕西省高等教育优秀成果奖一等奖1项，中国发明协会金奖1项，为物联网中服务组合安全提供了坚实的理论支撑。

另一方面，习宁的研究也紧跟“互联网+”、大数据、物联网的发展，特别是随着网络信息安全系统的安全保障成为各个重大行业健康发展的基础和关键。在这种形势下，习宁参与到了“系统与网络一体化安全设计关键技术”项目中，开展了一系列网络安全技术研究和系统研发工作。

针对综合化航电系统的安全需求，习宁与合作单位联合研发了针对首个国产机载信息系统中的多级安全防护系统，通过信息流安全防护技术保证系统分区间信息的安全交互，已用于国产飞机的任务规划系统。

值得一提的是，此项目获得了2018年陕西省科学技术奖一等奖，相关研究成果应用于安全移动智能终端、各类安全物联网设备，经济社会效益显著。

而在无人机安全防护方面，习宁与团队研发了无人机综合安全防护原型系统，为无人机组网过程提供系统安全验证、接入认证、访问控制、安全测试等功能。“无人机安全不只是飞行控制的安全，它还包括计算平台的安全、网络通信的安全，这几块结合起来才能构建一个可信的无人机综合安全防护系统。”习宁如是说道。

面向未来，习宁信心满满。“目前，我们在无人机方面做了不少成果，开发了一些无人机安全的支撑系统，未来的目标，第一希望把无人机安全进一步地完善，第二希望把我们研发的安全系统推广出去，在物联网、工控网络等领域真正落地，实现应用。”