喜報!軟件工程學院獲批5項國家自然科學基金資助項目
    發布時間:2019-08-17  閱讀次數:1145

    近日,國家自然科學基金委員會公布了2019年度國家自然科學基金申請項目評審結果的通告。軟件工程學院共有5個項目獲得立項資助,直接經費總金額為305萬元。

     

     

     

    作為國家級的學術研究項目,國家自然科學基金項目代表著高校及科研機構的綜合科研水平與實力。未來,學院將進一步做好國家自然科學基金的申報工作,在學校科技處等職能部門的指導和支持下,采取全過程部署、分時段謀劃的工作思想,充分借助各領域專家的指導作用,并通過人才引進、學科與平臺建設等一系列工作,助力項目申報。

     

    教師是科研活動的主體。學院將繼續充分調動并發揮教師的主體性、積極性,鼓勵教師們積極參加科研活動,通過國家自然科學基金資助項目申報動員會、獲獎教師經驗分享等不同形式的交流活動,搭建互動平臺,聚力優勢、突出重點,做好報獎工作,爭取在2020年的申報中取得更好成績!

     

    謹對獲得資助的老師們表示熱烈的祝賀!

     

    獲批項目介紹

     

    劉靜 教授

     

    項目名稱

    信息物理系統時空建模與驗證關鍵問題研究

     

    項目內容

    本項目擬在多形態時間與多形態空間的基礎上,針對信息物理系統時間空間的多樣、動態、實變的特點,考慮時間與空間的同一性問題,以構造時空為原子實體的統一模型并給出模型精化與驗證方法為目標。

     

    重點研究非正交時間邏輯和空間邏輯元素相互影響與疊加問題,構造時空統一模型,建立時空統一建模語言UMLST和時空約束語言STCL。研究靜態分析與動態分析相結合的信息物理系統時空模型高效驗證方法,給出基于預測語義的運行時動態驗證。面向人-車-地一體的軌道交通信息物理系統,開發時空統一建模、精化與驗證研究。

     

     

    陳潔 研究員

     

    項目名稱

    面向新型網絡空間實用服務需求的功能加密體制研究

     

    項目內容

    網絡空間已成為大國戰略博弈的新場域,網絡空間安全技術則是推動網絡空間服務安全、高效、友好運行的重要保障,而密碼學中的數據加密技術則是為數據提供最直接保護的有效手段。

     

    受“互聯網+”技術驅動,網絡空間中數據存儲、計算和搜索等服務上產生了新需求,而使用傳統數據加密技術對數據加密后,生成的密文失去了數據原本特征變得難以分析,無法滿足這些網絡空間新實用需求。因此本項目將基于可證明安全理論,研究滿足網絡空間服務中實用基礎需求的功能加密方案,具體包括:(1)考慮網絡空間服務中函數隱私和輸入非受限服務需求,設計相適應的計算型功能加密方案;(2)面向網絡空間服務中多種復雜搜索查詢需求,基于功能加密體制構造相應的可搜索加密方案。

     

    本項目研究功能加密體制在計算、搜索等實用基礎服務需求方面的關鍵技術并進行突破,推進功能加密體制在新型網絡空間服務需求方面實用化。

     

     

     

    張磊 研究員

     

    項目名稱

    認證貢獻廣播加密及其應用研究

     

    項目內容

    群密鑰協商和廣播加密是密碼學基礎問題。貢獻廣播加密結合群密鑰協商與廣播加密優點,可實現無可信中心控制環境中廣播加密信道快速建立、發送者動態、接收群體可控和強安全保障等應用需求。

     

    本項目研究主流公鑰密碼體制中認證貢獻廣播加密的新模型、新協議和新應用。項目首次提出靜態/動態抗主動攻擊貢獻廣播加密的安全模型;研究各模型下貢獻廣播加密協議的實現技術;首次提出發送者與成員身份并發認證的貢獻廣播加密思想、安全模型與構造方法;首次提出抗惡意內部用戶和無可信控制中心的密鑰管理技術,解決成員密鑰同步問題;將認證貢獻廣播加密與其他應用領域結合,創新應用模式。

     

    本項目將突破現有貢獻廣播加密模型理論限制,創新密碼學基礎理論,引領信息安全相關領域的技術發展

     

     

    李祥學 研究員

     

    項目名稱

    面向量子計算環境數據安全的輕量級密碼系統與密鑰封裝

     

    項目內容

    業界近年來的研制實踐和學界的研究進展表明量子計算理論正一步步走進現實,其非預期后果是對當下支撐起信息系統安全的核心密碼系統破壞性顛覆。后量子密碼配用被認為是遷移上一代公鑰密碼(PKE)、重新固定網絡空間信任之錨的關鍵舉措。學習困難問題LPN具有量子安全、代數結構簡潔等典型特征,是用于設計量子計算環境下輕量級安全密碼時有推動力的代表性技術。

     

    本項目將研究LPN及其變體的代數特征(密鑰/噪聲非均勻分布、隨機公開參數等),根據不同代數特征適應性地設計具有嚴格安全性保證的PKE和(多接收者)密鑰封裝機制,以同時實現輕量級密碼的計算高效性和配用實用性(公開參數、密鑰及密文長度等),在合理的安全模型下通過直接規約或游戲序列的方式考察其典型安全屬性。研究路徑還將同時揭示在傳統PKE構造中發揮獨特作用的通用性變換(FO變換、CHR變換等)以及HPS、輔助輸入等技術在LPN輕量級密碼設計中的適用性。

     

     

    杜德慧 副教授

     

    項目名稱

    時空數據驅動的安全攸關CPS建模與驗證方法研究

     

    項目內容

    安全攸關信息物理融合系統(Cyber-Physical Systems,CPS)是集計算、通信、控制于一體的下一代信息系統,可信建模與驗證是其基礎研究面臨的挑戰性問題。復雜、大規模CPS的廣泛應用及對系統安全性的迫切需求使得該問題日益突出。

     

    針對安全攸關CPS建模與驗證缺乏系統的理論、方法,圍繞“時空數據驅動的安全攸關CPS建模與驗證”關鍵科學問題,提出以數據驅動與模型驅動相結合的方式構建安全攸關CPS并對其關鍵支撐技術進行創新性研究:1)以場景建模為切入點,提出時空數據驅動的安全攸關場景建模方法,擴展標準建模語言MARTE/pCCSL構建安全攸關場景下的CPS系統模型;2)提出基于統計模型檢驗定性驗證系統的安全性并定量評估環境對安全性的影響;3)開發原型工具并研究案例實證。

    華東師范大學軟件工程學院
    www.wangugoo.cn Copyright School of Software Engineering
    院長信箱:yuanzhang@sei.ecnu.edu.cn | 院辦電話:021-62232550 | 學院地址:上海中山北路3663號理科大樓
    3438鉄算盘资料王中王一