非相関理論

暗号学において、無相関理論は、差分解読法、線形解読法、^{[2] 、}さらには特定の広範な基準を満たす未発見の解読攻撃に対しても安全であることが証明されるブロック暗号を設計するためのシステムであり、1998年にセルジュ・ヴォードネによって開発された。これらの原理を使用して設計された暗号には、COCONUT98やAES候補のDFCなどがあり、どちらも理論でカバーされていない いくつかの形式の暗号解読に対して脆弱であることが示されている。

ヴォードネーによれば、非相関理論には4つの課題がある。1) 非相関の測定の定義（通常は行列ノルムに依存する）、2) 非常に優れた非相関を持つ単純なプリミティブまたは「非相関モジュール」の構築、3)プリミティブをアルゴリズムに継承できるように非相関モジュールを備えた暗号化アルゴリズムの構築、4) 非相関が攻撃に対するセキュリティを提供することを証明することである。^[3]

• Serge Vaudenay (1998 年 2 月)。「非相関化によるブロック暗号の証明可能セキュリティ」。第 15 回コンピュータ サイエンスの理論的側面に関する年次シンポジウム (STACS '98)。パリ: Springer-Verlag。pp . 249–275。2007年 4 月 23 日時点のオリジナル( PostScript )からのアーカイブ。2007年2 月 26 日閲覧。
• Lars KnudsenおよびVincent Rijmen (1999 年 3 月)。非相関高速暗号 (DFC) とその理論について(PostScript) 。第 6 回高速ソフトウェア暗号化に関する国際ワークショップ(FSE '99)。ローマ: Springer-Verlag。pp. 81–94。2007年2 月 26 日閲覧。
• Serge Vaudenay (1999 年 5 月)。一般的な反復攻撃に対する耐性( PDF /PostScript)。Advances in Cryptology — EUROCRYPT '99。プラハ: Springer-Verlag。pp. 255–271。2007年8 月 21 日閲覧。
• Serge Vaudenay (2003 年 9 月)。「Decorrelation: ブロック暗号セキュリティの理論」(PDF)。Journal of Cryptology。16 ( 4): 249–286。doi :10.1007/s00145-003-0220-6。ISSN 0933-2790。2007年 2 月 21 日の オリジナル(PDF)からアーカイブ。2007年2月26 日に取得。

• 非相関理論入門 2007-08-21にWayback MachineにアーカイブされましたSerge Vaudenayによるオンラインマニュアル