《流密碼算法設計與分析機械化方法研究》是依託中國科學院數學與系統科學研究院，由馮秀濤擔任項目負責人的面上項目。
基本介紹
- 中文名：流密碼算法設計與分析機械化方法研究
- 項目類別：面上項目
- 項目負責人：馮秀濤
- 依託單位：中國科學院數學與系統科學研究院
- 批准號：61572491
- 申請代碼：F0206
- 負責人職稱：副研究員
- 研究期限：2016-01-01 至 2019-12-31
- 支持經費：65（萬元）
項目摘要
隨著衛星通信網、物聯網和移動通信網的飛速發展，各種相關套用對高安全、高效率、低功耗和低成本的流密碼體制的需求凸顯。傳統的流密碼體制大多雄采定面向比特設計，輸出密鑰比記愚備微特吞吐率灶嫌雄低，且軟體實現效率差，已經很夜贈牛員難滿足現代網路套用的需求。因此研製適合此類環境的現代新型流密碼算法已經成為當前流密碼領域中急需解決的關鍵問題之一。本項目擬圍繞流密碼的標準化設計與分析機械化方法等問題展開重點研究。旨在(1) 提出流密碼新型設計模型，為衛星通信網和物聯網匙頁兆中的相關套用提供同時具備高安全、高效率、低功耗、低成本的新型流密拳厚良碼算法； (2) 給鑽臭出一類稀疏非線性方程組的快速求解算法； (3) 建立流密碼分析機械化方法的相關理論和分析機械化軟體包。
