《基於程式多模態的動態軟體水印方法研究》是依託南開大學，由賈春福擔任項目負責人的面上項目。
基本介紹
- 中文名：基於程式多模態的動態軟體水印方法研究
- 項目類別：面上項目
- 項目負責人：賈春福
- 依託單位：南開大學
中文摘要,結題摘要,
中文摘要
本項目從軟體開發、軟體驗證與測試以及軟體完整性保護等實踐中存在於電腦程式各方面的“多模態”現象入手，研究基於該現象的新型動態軟體水印方法，以期改變當前動態軟體水印方法中水印代碼與載體程式相互獨立的陳舊設計理念，從根本上解決其隱蔽性差等難以克服的安全性能缺陷。具體研究內容包括：（1）從形式化定義出發，形成“程式多模態”的基本概念、基本思想與方法；（2）構建基於程式多模態的動態軟體水印模型；（3）從語義多模態和狀態多模態兩方面研究其實現方法與技術；（4）分析多模態動態軟體水印性能與安全特性，建立相應的評估體系。在此基礎上，本項目還將開發相應的動態軟體水印嵌入/識別系統。.項目研究目標是，提出一套基於電腦程式中所存在的“多模態”現象的新型動態軟體水印方法，並提供相應的技術方案、實現方法和評估策略，力求形成具有自主智慧財產權的軟體水印新技術。
結題摘要
項目針對MATE（Man-At-The-End）攻擊對軟體智慧財產權保護帶來的挑戰和威脅，從克服現有軟體動態水印技術設計機制上存在的缺陷出發，研究基於電腦程式“狀態多模態”現象的新型軟體動態水印方法，並提供相應的技術方案與實現方法。項目完成的研究工作包括： （1）利用智慧型計算模型（如神經網路和隨機森林）內部邏輯“不可知性”混淆程式分支條件，分析驗證程式“狀態多模態”現象的存在性；進一步地，從上述混淆方法所產生的次生狀態出發，提出了新的、具有重要套用價值的動態軟體水印方案和相應實現技術。 （2）利用Collatz猜想對抗符號執行的優勢，構建一種新型、輕量級的動態軟體水印方案並給出了相應的實現方法。該水印方法具有重要的套用價值。 （3）利用SGX（Intel Software Guard Extension），一種新型可信計算平台，提出了一種具有較強魯棒性的軟體防篡改方法。 上述研究結果，豐富了軟體水印技術的研究方法和技術手段，對於在面對逆向工程時提高軟體智慧財產權的保護能力具有重要的意義。
