衛(wèi)婷婷 戶 萬

習(xí)寧

2004年，習(xí)寧考入西安電子科技大學(xué)（以下簡稱“西電”）就讀于計(jì)算機(jī)科學(xué)專業(yè)，師從國內(nèi)網(wǎng)絡(luò)安全領(lǐng)域?qū)W術(shù)帶頭人馬建峰教授。大學(xué)4年的時間里，西電成熟的計(jì)算機(jī)課程體系，讓習(xí)寧對計(jì)算機(jī)知識了如指掌，從深層的原理到復(fù)雜的工作機(jī)制，再到運(yùn)用的方法，他一一融會貫通，不僅對計(jì)算機(jī)有了更加全面的認(rèn)識，而且有了更大的興趣。

“計(jì)算機(jī)是非常有意思的學(xué)科，它從二戰(zhàn)時期發(fā)展至今，早已有了不同的形態(tài)，匯集了很多巧思，讓我有了想深入學(xué)習(xí)的念頭，想做一些深層次的研究?！本瓦@樣，習(xí)寧選擇在西電繼續(xù)攻讀碩士學(xué)位，他在馬建峰教授的指導(dǎo)下確定了自己的研究方向——網(wǎng)絡(luò)安全和系統(tǒng)安全。

習(xí)寧說，他感謝馬建峰教授把他帶進(jìn)了網(wǎng)絡(luò)安全領(lǐng)域。因?yàn)樽畛蹰_始研究計(jì)算機(jī)的時候，人們對計(jì)算機(jī)的安全意識不是很強(qiáng)，但馬建峰教授已經(jīng)意識到了這個問題?！榜R老師說安全是未來制約計(jì)算機(jī)發(fā)展的重要因素，因?yàn)橛?jì)算機(jī)的不安全意味著數(shù)據(jù)和信息的泄露，會直接影響經(jīng)濟(jì)利益和社會利益。”

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

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

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

另一方面，習(xí)寧的研究也緊跟“互聯(lián)網(wǎng)+”、大數(shù)據(jù)、物聯(lián)網(wǎng)的發(fā)展，特別是隨著網(wǎng)絡(luò)信息安全系統(tǒng)的安全保障成為各個重大行業(yè)健康發(fā)展的基礎(chǔ)和關(guān)鍵。在這種形勢下，習(xí)寧參與到了“系統(tǒng)與網(wǎng)絡(luò)一體化安全設(shè)計(jì)關(guān)鍵技術(shù)”項(xiàng)目中，開展了一系列網(wǎng)絡(luò)安全技術(shù)研究和系統(tǒng)研發(fā)工作。

針對綜合化航電系統(tǒng)的安全需求，習(xí)寧與合作單位聯(lián)合研發(fā)了針對首個國產(chǎn)機(jī)載信息系統(tǒng)中的多級安全防護(hù)系統(tǒng)，通過信息流安全防護(hù)技術(shù)保證系統(tǒng)分區(qū)間信息的安全交互，已用于國產(chǎn)飛機(jī)的任務(wù)規(guī)劃系統(tǒng)。

值得一提的是，此項(xiàng)目獲得了2018年陜西省科學(xué)技術(shù)獎一等獎，相關(guān)研究成果應(yīng)用于安全移動智能終端、各類安全物聯(lián)網(wǎng)設(shè)備，經(jīng)濟(jì)社會效益顯著。

而在無人機(jī)安全防護(hù)方面，習(xí)寧與團(tuán)隊(duì)研發(fā)了無人機(jī)綜合安全防護(hù)原型系統(tǒng)，為無人機(jī)組網(wǎng)過程提供系統(tǒng)安全驗(yàn)證、接入認(rèn)證、訪問控制、安全測試等功能?！盁o人機(jī)安全不只是飛行控制的安全，它還包括計(jì)算平臺的安全、網(wǎng)絡(luò)通信的安全，這幾塊結(jié)合起來才能構(gòu)建一個可信的無人機(jī)綜合安全防護(hù)系統(tǒng)?！绷?xí)寧如是說道。

面向未來，習(xí)寧信心滿滿?！澳壳?，我們在無人機(jī)方面做了不少成果，開發(fā)了一些無人機(jī)安全的支撐系統(tǒng)，未來的目標(biāo)，第一希望把無人機(jī)安全進(jìn)一步地完善，第二希望把我們研發(fā)的安全系統(tǒng)推廣出去，在物聯(lián)網(wǎng)、工控網(wǎng)絡(luò)等領(lǐng)域真正落地，實(shí)現(xiàn)應(yīng)用?！?/p>