2012 Fiscal Year Annual Research Report
| Project/Area Number |
22680001
|
|---|
| Research Institution | Nagoya University |
|---|
Principal Investigator |
岩田 哲 名古屋大学, 工学(系)研究科(研究院), 准教授 (90344837)
|
|---|
| Project Period (FY) |
2010-04-01 – 2013-03-31
|
| Keywords | 暗号系 / 共通鍵暗号 / ブロック暗号 / 利用モード |
|---|
| Research Abstract |
利用モードの安全性解析に関して，GCM (Galois Counter Mode) の詳細な安全性解析を行った．GCMの安全性は提案者らによって数学的に証明されているものの，その議論には誤りがあることを突き止めた．カウンタ衝突と呼ばれる事象が起こるとGCMの安全性は崩れる．したがってGCMの安全性を証明する際には，この事象の生起確率が十分に小さいことを示す必要がある．しかし，提案者らが主張するよりも実際には高い確率でカウンタ衝突が起こることを，反例を挙げることにより示した．さらに，その数学的な証明の誤りを修正することに成功し，GCMが証明可能安全性を有することを明らかにした．
次に，利用モードの開発に関して，AES-NIが使用できる環境に適した確定的認証暗号化方式のプロトタイプを設計した．ブロック暗号を基本要素として用い，認証部分を含めて並列計算が可能である．AES-NIが利用できる環境ではGCMよりも高速に動作する．
また，EAX-primeの安全性解析を行った．EAX-primeに対しては効率的な偽造攻撃，識別攻撃，平文回復攻撃が可能である．しかし，入力の一部であるcleartextと呼ばれるデータのビット長が使用するブロック暗号のブロック長よりも常に長い場合，EAX-primeが証明可能安全性を有することを示した．さらに，EAX-primeを安全に使用するための方式を3通り開発した．
ブロック暗号の設計に関して，Type 1一般化Feistel構造とType 2一般化Feistel構造を特殊な場合として包含するType 1.x一般化Feistel構造を提案し，その構造に適した置換部分の構成に関する検討を行った．
|
| Current Status of Research Progress |
Reason
24年度が最終年度であるため、記入しない。
|
| Strategy for Future Research Activity |
24年度が最終年度であるため、記入しない。
|
