KCipher-2の差分攻撃に対する耐性評価

摘要

本稿では，CYPTREC暗号リストの電子政府推奨暗号にストリーム暗号としては唯一選定されているKCipher-2の差分攻撃に対する耐性評価を行う．2011年にMouhaらが提案したMILPを用いたActive S-box評価を行い，Preneelらの評価では考慮できていなかった差分パスを考慮し，32ビットモジュラ加算と線形変換の操作についてもモデリングを行う．結果として，関連IV差分攻撃では15ラウンドで最小Active S-box数の下限が25個，関連IV-鍵差分攻撃では24ラウンドで最小Active S-box数の下限が15個であることを示す．KCipher-2が関連IV差分攻撃に対して安全であることを本稿が初めて示しす．