暗号学において、非相関理論は、セルジュ・ヴォードネーが1998年に開発した体系であり[1] 、差分解読法、線形解読法[ 2] 、さらには特定の広範な基準を満たす未発見の解読攻撃に対しても安全であることが証明されるブロック暗号を設計するためのものである。この原理を用いて設計された暗号には、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日閲覧。
- セルジュ・ヴォードネ (2003年9月). 「Decorrelation: A Theory for Block Cipher Security」(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日閲覧。
- ^ Stinson, Douglas (2001). Selected Areas in Cryptography: 7th Annual International Workshop, SAC 2000, Waterloo, Ontario, Canada, August 14-15, 2000. Proceedings . Berlin: Springer Science+Business Media. p. 57. ISBN 354042069X。
- ^ ソン・ジュソク (2006).情報セキュリティと暗号学 - ICISC'99: 第2回国際会議ソウル、韓国、1999年12月9-10日議事録. ベルリン: シュプリンガー. p. 1. ISBN 3540673806。
- ^ Serve Vaudenay (2003年5月). 「適応型攻撃ノルムによる非相関性と超擬似乱数性」, Howard HeysとCarlisle Adams共著「Selected Areas in Cryptography: 6th Annual International Workshop, SAC'99 Kingston, Ontario, Canada, August 9-10, 1999 Proceedings」, ベルリン: Springer. pp. 49-61. ISBN 3540671854
外部リンク
- 非相関理論入門 2007年8月21日アーカイブWayback Machineオンラインマニュアル Serge Vaudenay