《認證加密算法分析及可證明安全理論研究》是依託山東大學，由張國艷擔任項目負責人的青年科學基金項目。
基本介紹
- 中文名：認證加密算法分析及可證明安全理論研究
- 項目類別：青年科學基金項目
- 項目負責人：張國艷
- 依託單位：山東大學
- 負責人職稱：講師
- 申請代碼：F0206
- 研究期限：2017-01-01 至 2019-12-31
- 批准號：61602276
- 支持經費：20（萬元）
中文摘要
認證加密算法同時提供信息的保密性和完整性，安全有效的認證加密算法已成為萬物聯網時代安全通信的有力保障，成為國際研究的熱點問題。凱撒（CAESAR）競賽的提出，進一步促進認證加密算法快速發展。本項目擬致力於認證加密算法的安全性分析以及可證明安全理論的研究，跟蹤凱撒候選算法，借鑑傳統對稱密碼算法分析方法，結合認證加密算法結構特點，按照由外向內、從一般到具體的分析思路挖掘結構可能泄露的信息，探索基於分組密碼和Sponge結構的認證加密算法的新的攻擊方法，特別對AEGIS、AES-JAMBU、AEZ、ELmD、POET、SHELL、ASCON、PRIMATEs等算法進行分析。本課題擬將安全性分析中發現的問題，融合到可證明安全理論中。在攻擊模型中允許攻擊者詢問認證標籤生成諭示，結合密文不可偽造的新的安全目標，給出幾類安全定義，規劃認證加密算法合理的可證明安全模型，並重新探討新的模型下的各種安全定義。
