為“看”不見的安全保駕護航
——記西安電子科技大學網絡與信息安全學院教授習寧

衛婷婷 戶 萬

習寧

2004年，習寧考入西安電子科技大學（以下簡稱“西電”）就讀于計算機科學專業，師從國內網絡安全領域學術帶頭人馬建峰教授。大學4年的時間里，西電成熟的計算機課程體系，讓習寧對計算機知識了如指掌，從深層的原理到復雜的工作機制，再到運用的方法，他一一融會貫通，不僅對計算機有了更加全面的認識，而且有了更大的興趣。

“計算機是非常有意思的學科，它從二戰時期發展至今，早已有了不同的形態，匯集了很多巧思，讓我有了想深入學習的念頭，想做一些深層次的研究。”就這樣，習寧選擇在西電繼續攻讀碩士學位，他在馬建峰教授的指導下確定了自己的研究方向——網絡安全和系統安全。

習寧說，他感謝馬建峰教授把他帶進了網絡安全領域。因為最初開始研究計算機的時候，人們對計算機的安全意識不是很強，但馬建峰教授已經意識到了這個問題。“馬老師說安全是未來制約計算機發展的重要因素，因為計算機的不安全意味著數據和信息的泄露，會直接影響經濟利益和社會利益。”

碩士畢業后，找到了科研樂趣的習寧放棄了直接工作的打算，下定決心留在西電攻讀博士學位。“我覺得每個人的體會可能不太一樣，我的感受是經過不懈努力把科研中遇到的難題解決了，你會有一種前所未有的滿足感。我喜歡這種感覺。”

2014年，習寧順利博士畢業，留在了西電，開啟了新的研究生涯。兩年后，他申請到了國家自然科學青年基金項目“面向服務組合的信息流安全驗證及評估技術研究”，這個項目是基于他博士論文的進一步延展。

習寧針對順序和復雜組合服務研究滿足信息流安全的可組合條件，提出了面向組合服務（順序/復雜）信息流分布式驗證框架及方法，突破了傳統集中式驗證所導致的驗證節點負載過重、服務可用性差的瓶頸問題，提高了驗證效率，更加適合多云并存的分布式網絡環境。他的研究成果申請專利5項，授權2項，獲得陜西省科學技術獎一等獎1項、陜西省高等教育優秀成果獎一等獎1項，中國發明協會金獎1項，為物聯網中服務組合安全提供了堅實的理論支撐。

另一方面，習寧的研究也緊跟“互聯網+”、大數據、物聯網的發展，特別是隨著網絡信息安全系統的安全保障成為各個重大行業健康發展的基礎和關鍵。在這種形勢下，習寧參與到了“系統與網絡一體化安全設計關鍵技術”項目中，開展了一系列網絡安全技術研究和系統研發工作。

針對綜合化航電系統的安全需求，習寧與合作單位聯合研發了針對首個國產機載信息系統中的多級安全防護系統，通過信息流安全防護技術保證系統分區間信息的安全交互，已用于國產飛機的任務規劃系統。

值得一提的是，此項目獲得了2018年陜西省科學技術獎一等獎，相關研究成果應用于安全移動智能終端、各類安全物聯網設備，經濟社會效益顯著。

而在無人機安全防護方面，習寧與團隊研發了無人機綜合安全防護原型系統，為無人機組網過程提供系統安全驗證、接入認證、訪問控制、安全測試等功能。“無人機安全不只是飛行控制的安全，它還包括計算平臺的安全、網絡通信的安全，這幾塊結合起來才能構建一個可信的無人機綜合安全防護系統。”習寧如是說道。

面向未來，習寧信心滿滿。“目前，我們在無人機方面做了不少成果，開發了一些無人機安全的支撐系統，未來的目標，第一希望把無人機安全進一步地完善，第二希望把我們研發的安全系統推廣出去，在物聯網、工控網絡等領域真正落地，實現應用。”