• 検索結果がありません。

Degree Extensions of Finite Fields with Odd Characteristic

N/A
N/A
Protected

Academic year: 2021

シェア "Degree Extensions of Finite Fields with Odd Characteristic"

Copied!
4
0
0

読み込み中.... (全文を見る)

全文

(1)

奇標数有限体の素数次拡大体上 GHS 攻撃の対象となる楕円曲線に関する解析 Analysis on Elliptic Curves Subjected to GHS Attack over Prime

Degree Extensions of Finite Fields with Odd Characteristic

情報工学専攻 細萱 隆之

Takayuki Hosogaya

1

はじめに

楕円曲線暗号とは有限体上の楕円曲線の有理点を用 いた離散対数問題(ECDLP)の困難性を利用した公開 鍵暗号である. 他の公開鍵暗号より鍵長を短く取れる ことで実装面などで優位性をもつ. 特にソフトウェア 実装においては,奇標数有限体の拡大体上定義した楕円 曲線を用いる高速化手法が知られている.

一方で拡大体上定義された楕円曲線に対する攻撃方 法としてGHS攻撃が知られている. この攻撃は, 条件 によっては鍵長を160bitとして設計された楕円曲線暗 号系の安全性を鍵長が107bit程度のそれの安全性と同 等にするなど現存暗号系に対して非常に強力に働く場 合がある. この攻撃を受ける奇標数有限体上の楕円曲 線の従来の分類はある条件下で行われたものであった.

そこで本研究では, 奇標数有限体の素数次拡大体上 GHS攻撃を受けうる曲線の完全な分類を行い, それら の曲線に対してGHS攻撃への耐性を考察する.

2

楕円曲線暗号と

ECDLP

2.1 楕円曲線

p3より大きい素数とし,正整数nをつかいpn=q とする. 有限体Fq =k上の楕円曲線とは,

E:y2=x3+Ax+B (A, B∈k) で表される. このとき右辺は重根を持たない.

このときEk上有理点に無限遠点を加えた集 合に,楕円曲線暗号特有の加算を定義することでこの集 合は有限アーベル群をなす.

2.2 ECDLP

E 上の離散対数問題(ECDLP)とは, B E上の 点として,与えられた点P ∈EについてxB=Pなる 整数x∈Zが存在するとき,これを求める問題である. 楕円曲線暗号は, xBからPを求めるのは容易だが , P Bからxを 求めるのは困難なことを利用してお , 楕円曲線暗号に対する攻撃はこのxを求めるため のものである.

3 GHS

攻撃

kd kd次拡大体とする. ここで, kd/kのフロ ベニウス自己同型写像σkd/k から拡張した, kd(x) 分離閉包での位数dの自己同型σを仮定する. その 様な写像の存在条件は[3]等で与えられている. この 仮定の下, kd(C0)/k(x)のガロア閉包はK:=kd(C0)· σ(kd(C0))· · ·σd1(kd(C0))であり,自己同型写像σ よる固定体はK0 := ∈K|σ(ζ) =ζ} ' k(C)であ

. もともとのGHS攻撃は,標数2の楕円曲線に対し, 下記に示すようなconorm-norm写像の合成

NK/K0◦ConK/kd(C0):Cl0(kd(C0))→Cl0(K0) を 使 い, Cl0(kd(C0)) ' J(C0)(kd) DLP , Cl0(K0) ' J(C)(k)DLPへと写像する[1]. この 攻撃は様々な種類の曲線へ拡張されており, Frey Diemによって被覆攻撃へと一般化されている.

本論文ではC0を標数が3より大きい奇標数有限体k とそのd次拡大体kd上定義されている超楕円曲線とす . C0が以下の形で与えられているとする. ここで, d は素数とする.

C0/kd : y2=c·f(x) (1) ここで,c ∈k×d かつf(x)∈kd[x]はモニック多項式と する. するとC0は下記の様なkd上の2次の被覆写像 を持っている.

C0

2 //P1(x) (2)

これ以降, 被覆写像 π/kd : C P1(x)が存在する と仮定する. そのとき, n d

z }| {n

(2,· · · ,2)型の関数 体の拡大 kd(x, y,σy,· · ·,σn−1y) ' kd(C)が得られ, cov(C/P1) := Gal(kd(C)/kd(x))' Fn2 となる. この とき, d 11 の素数に関しては被覆曲線C の種数 g(C)が大きくなりすぎて GHS攻撃がうまく働かな いことが知られている. そこで本研究では, まずk d= 2,3,5,7次の奇標数拡大体kdに関してGHS攻撃 の対象となりうる被覆曲線C を持つような楕円曲線 C0を完全に分類する. 4章ではC0の分類とその分類 方法について述べる.

4 GHS

攻撃を受けうる楕円曲線の分類 4.1 cov(C/P1)上のガロア表現の分類

下記のような次数 2 の被覆 C0/P1 を伴う全ての z }| {n

(2,· · · ,2) 被覆曲線C/P1の分類を考える. z }| {n

(2,· · · ,2)

z }| {

C→C0P1(x)

| {z }

2

(3)

そ の た め に, cov(C/P1) ' Fn2 に 作 用 し て い る Gal(kd/k)の表現を考える.

Gal(kd/k)×cov(C/P1)→cov(C/P1) (4) (σki

d/k, φ)7→σiφ:=σiφσi (5)

(2)

簡単のため,今後このσkd/kσと表記する. σFn2

の間の対応を与えているため,

Gal(kd/k),→Aut(cov(C/P1))'GLn(F2) (6) となる. 例として,d= 2, n= 2の場合のσの表現を以 下に示す.

d= 2, n= 2 σ=

( 1 1 0 1

)

∈M2(F2), F(x) =x2+ 1 また, σ の最小多項式F(x) F2[x] を用いて, C kd 上のモデルとなるための必要十分条件はガロア群 Gal(kd/k) y に対する作用から以下のように導か れる.

G(x)|F(x), G(x)6=F(x)に対して,

F(σ)y21 mod (kd(x)×)2 かつ

G(σ)y26≡1 mod (kd(x)×)2 (7) 続いて, (7) が成立していると仮定してC0 : y2 = c·f(x)を求めていく.

4.2 (2, . . . ,2)被覆を持つ楕円曲線の分類法 これ以降, ˆF(x)F2[x]を以下の様な多項式として 定義する.

xd+ 1 =F(x) ˆF(x)∈F2[x]

(7)のもとで, cが満たすべき条件として以下が知られ ている(Lemma 6.1[3]).

Fˆ(1) = 0のとき, c(kd×)2

Fˆ(1) = 1のとき, c∈kd×

次に, (7)のもとでf(x)を求めていく. まず, d, n, σ を 与 え て, C0/P1 の 分 岐 点 の 候 補 を 求 め る. い ま, Φ(x) := a(x) ˆF(x) = bd1xd1 +· · · +b1x+ b0, F2[x]3a(x), dega(x)<degF(x), (a(x), F(x)) = 1, N:= #{(F2[x]/(F(x)))×}/dと定義する.

1. a(x) = 1とする. Φ(x) := ˆF(x), C0/P1の分岐 点の候補の1{qi,0)|i= 0,· · ·, d−1 s.t. bi= 1}を与えている. ここで, α kd\kv, v|6=d or α∈k\kv, v|6=dτ, τ N>1としてよい. ただし, 後者の場合, f(x)kd αqi k の全ての共 役元を含む必要がある. もしN = 1ならば, 終了. N 2ならば, Step2.

2. (a(x), F(x)) = 1 かつ dega(x) < degF(x) なるような別の a(x) F2[x] を選び, Φ(x) :=

a(x) ˆF(x)とする.

3. 今までに選んだ全てのΦ(x)が互いに異なるかど うかを調べる. ここで,互いに異なったΦ(x)とは, その係数(b0, b1,· · ·, bd1)

(bj,· · ·, bd1, b0,· · ·, bj1)

の様な巡回置換になっていない事を意味する. し選んだΦ(x)が互いに異なるならば,分岐点の候 補に{qi,0)|bi = 1}を加える. そうでないなら, そのΦ(x)を捨ててStep2.

4. N個の候補が見つかったならば,終了. そうでない ならば, Step2へ戻る.

SC/P1の分岐点の数,S0C0/P1の分岐点の数と すると, Riemann-Hurwitzgenus formulaより

S= 4 +d·g(C0) +e−1

2n2 (8)

が得られる. また, Abhyankar’s lemmaにより, dS0 S≥max{d,2g0+ 3} (9) となる. リストアップした分岐点を, 上記のSに関す る制約条件の下で全ての組み合わせを試すことでf(x) を見つけ, cを決定しC0/kdを求める. 例として, 再び d = 2, n = 2の場合を述べる. この場合, 上記の方法 により分岐点の候補が(α,0)のみであることが分かる. また,(8)と式(9)より以下の不等式が成り立つ.

8 S = 4 +2·1 +e−1

20 5

3 e 0

この例では, e = 3 の場合を取り上げる. (8) より g(C0) = 1なのでS = 8となり, 上記分岐点の候補を 含むように f(x)のすべての組み合わせを考慮すると f(x) = (x−α1)(x−α2)(x−α3)(x−α4)しかないこ とが分かる. 最後に, ˆF(1) = 1なのでc ∈k2×として よい. 以上のことから, d= 2, n= 2, e = 3の場合の GHS攻撃を受けうる被覆曲線Cを持つ楕円曲線C0 y2=c(x−α1)(x−α2)(x−α3)(x−α4) (10) で あ る. d = 2 の 場 合, GHS 攻 撃 の 対 象 と な る, k 上 被 覆 曲 線 C を 持 つ C0 C の 種 数 g(C) 1 の 通 り で あ る. た だ し, C0 : y2 = f(x) = c · hd(x)h(x), deg(f(x)) = 4, hd(x) kd[x] \ k[x], h(x) k[x] と す る. c に つ い て は, 平 方 元 と 非 平 方 元 ど ち ら で も 構 わ な い た め 省 略 す る.

1 d= 2の場合のk上被覆曲線Cを持つk2上楕 円曲線C0

hCasei hd(x)

n,e,g(C) degh[x]

h1i (x−α1)

2 , 0 , 2 3

h2i (x−α1)(x−α2)

2 , 1 , 3 2

h3i (x−α1)(x−α2)(x−α3)

2 , 2 , 4 1

h4i (x−α1)(x−α2)(x−α3)(x−α4)

2 , 3 , 5 0

hsubi -

- 4

, αi k2 \ k, βi k, i ∈ {1,2,3,4} で あ る. た だ し Case 2, 3, 4 の 曲 線 は, αi k2 \ k or

(3)

αi k \kv, v|6=2τ, τ N>1 である. 後者の場合 , hd(x)kdαqi∈k の全ての共役元を含む.

本研究では, 上記の例を含めg0 = 1, S0= 4として d= 2,3,5,7についてC を持つ楕円曲線C0/kd に関 する完全な分類をおこなった. 5章ではその分類され た楕円曲線のうち, d= 2の曲線に対してP1(k2)上の

PGL(2, k2)により誘導される同型写像による軌道分解

を求め,各軌道における被覆曲線の種数全体を示す.

5 GHS

攻撃に対する耐性の考察

4章では, 被覆曲線Cを持つ楕円曲線C0を分類し, 各被覆曲線Cの種数を示した. 以下では, P1(kd)上の PGL(2, kd)により誘導されるkd 上の楕円曲線C0 同型写像

x7→ ax+b

cx+d (11)

a, b, c, d∈kd かつad−bc6= 0

の作用について考察する. 同型写像(11)によって, なる種数の被覆曲線C0を持つような楕円曲線C00 へと 写像されることがある. そのため,C0の被覆曲線C 種数g(C)に関する分類は, GHS攻撃に対する安全性 を保証するためには不十分である. よって(11)により 移されるg(C0)のとりうる値を示す必要がある. 本章 では, 4章で分類した曲線のうち拡大次数d= 2の曲線 に対し(11)の作用による軌道分解を求め, それぞれの 軌道における全ての被覆曲線の種数を求める.

5.1 kd上の楕円曲線の分岐パターン

kd 上 定 義 さ れ て い る 4 次 楕 円 曲 線 C0 : y2 = f(x), f(x) kd[x] , f(x)の分岐の様子に合わせ て表25つのパターンに分類できる.

2 f(x)の分岐パターン

PatternA (x−a1)(x−a2)(x−a3)(x−a4) PatternB (x−a1)(x−a2)F2(x) PatternC (x−a1)F3(x) PatternD F2(x) ´F2(x)

PatternE F4(x)

ai ∈kd, i∈ {1,2,3,4}, Fdkdd次既約多項式 この分岐パターンは, (11) の作用に対して不変で ある.

補題1. PGL(2, kd)により誘導される同型写像(11) 作用によって, kd上楕円曲線の分岐パターンは不変で ある.

1の各曲線は, (11)によって互いに移りあう場合

があるが, (11)に対して楕円曲線の分岐パターンは補

1より不変である. つまり,1の各曲線の(11) よる各軌道は, 同一の分岐パターンを持つ楕円曲線の みで構成されている. よって,分岐パターンごとに表1 の曲線の(11)による軌道を考察していく. そこで, 分岐パターンに存在する表1の曲線とそのときのf(x) の形をまとめたものが,3である. 5つの分岐パター ンのうち, 3次のf(x)を持つ楕円曲線に(11)によって

3 d= 2の場合のk2上のC0の分岐パターンが 持つCase

分岐パターン hCasei f(x)

PatternA h1i (x−α1)(x−β1)(x−β2)(x−β3) (x−α1)(x−α2)(x−αq2)(x−β1) h2i (x−α1)(x−α2)(x−β1)(x−β2) (x−α1)(x−α2)(x−α3)(x−α3q) h3i (x−α1)(x−α2)(x−α3)(x−β1) h4i (x−α1)(x−α2)(x−α3)(x−α4) hsubi (x−β1)(x−β2)(x−β3)(x−β4) PatternB h2i F2(x)(x−β1)(x−β2)

F2(x)(x−α1)(x−αq1) h3i F2(x)(x−α1)(x−β1) h4i F2(x)(x−α1)(x−α2) PatternC h1i G3(x)(x−α1)

h3i F3(x)(x−β1) h4i F3(x)(x−α1) hsubi G3(x)(x−β1) PatternD h4i F2(x)F20(x)

hsubi G2(x)G02(x)

PatternE h4i F4

αi∈k2\k, βi∈k, i∈ {1,2,3,4}

Fd(x)k2上既約d次多項式, Gd(x)k上既約d次多項式

変換可能なパターンはPatternA, B, Cである. それ 以外の分岐パターンを持つ楕円曲線は, (11)によって3 次のf(x)へ変換できない. 一般的に楕円曲線暗号に用 いられる楕円曲線のf(x)3次であるため, 本研究で は軌道の考察をPatternA, B, Cf(x)を持つ楕円 曲線に限定して行った.

5.1.1 Pattern A の 場 合 (11) の 性 質 と し て, P1(kd)上の任意の相異なる3点の組 P1, P2, P3 Q1, Q2, Q3 を選んだとき, これらの3点の対応を与 えるkd 上の(11)がただ一つ存在することが知られて いる. この性質を利用し,例えばCase 4の楕円曲線の k2\k上の分岐点4つのうち3つをCase 1の楕円曲線 3つのk上の分岐点へと対応させる(11)を取る. るとj不変量がk2\kの値の場合はCase 4からCase 1の楕円曲線への同型写像となる. j不変量がkの値の 場合も

1+b

1+d 6= aqαq1+bq cqαq1+dq

となるように a, b, c, dをとることによって得られる. その他のCase間の同型写像も同様にして得られる. 上より, Pattern Aの楕円曲線Case 1, 2, 3, 4( j不変 量がkの元ならhsubiが含まれる場合がある), 全て 同一の(11)による軌道に含まれ, この軌道の被覆曲線 の種数は2, 3, 4, 5である.

5.1.2 Pattern B の場合 (11)によってF2(x) 一次式の積に分解されることはないため, 残りの2 の根の間の対応を考えればよい. (11)は相異なる3 の組同士の対応を与えるため, Pattern B の場合全て

(4)

Caseの間に同型写像が存在することは自明である. よってPatternBの楕円曲線Case 2, 3, 4は全て同一 (11)による軌道に含まれ, この軌道の被覆曲線の種 数は3, 4, 5である.

5.1.3 Pattern Cの場合 PatternCの場合, f(x) 3次既約多項式と一次式の積であらわされる. 拡大 次数d= 2の場合, 3次既約多項式はk上既約である G3(x)k2\k上既約であるF3(x)が存在する. G3(x) の分解体はk3であり,k3上で

G3(x) = (x−γ)(x−γq)(x−γq2) γ∈k3\k

と表される. F3(x)の分解体はk6であり,k6上で F3(x) = (x−δ)(x−δq2)(x−δq4)

δ∈k6\ {k2∪k3}

と表される. あるγに対し,

A= ( a b

c d

)GL(2, k2), s.t. +b

+d =δ (12) となることが知られており, PGL(2, k2)の作用によっ F3(x)G3(x)が対応する.

補題 2. G3(x)同士の対応はPGL(2, k)の作用によっ て与えられる.

hsubiの一次式(x−β)Case 1の一次式(x−α) の対応はα∈ k2\kよりPGL(2, k2)で与えられるた ,hsubiCase 1の間にPGL(2, k2)によって誘導さ れる同型写像は存在しない. 次に, 残りの各ケース間同 士に同型写像が存在するかを考察していく.

• hsubi, Case 1からCase 3, 4

この場合, G3(x)同士の対応がPGL(2, k2)ではつかな いため,一次式同士の対応をPGL(2, k2)でとることで, 自然にG3(x)F3(x)との対応が誘導される.

Case 3, 4からhsubi, Case 1

F3(x)G3(x)へ対応させるPGL(2, k2)(12)の逆 写像である. G3(x)同士の対応がPGL(2, k2)ではつか ないため, そのPGL(2, k2)によってCase 3, 4の一次 式はk2[x]\k[x]の一次式のみかk[x]の一次式のみに 対応づけられる. Case 3, 4 の楕円曲線のj 不変量が k2\k上の値の場合,前者のみである.

Case 3, 4からCase 3, 4

Case 3Case 4の間の対応は, Case 3, 4からhsubi, あるいはCase 1への写像と,hsubi, Case 1からCase 3, 4への写像の合成によって実現できる.

以上より, (11)に対するPattern C の楕円曲線の (11)による軌道に含まれる楕円曲線は, j 不変量が k2\k の値の場合, Case 1, 3, 4であり, その軌道の g(C)2, 4, 5である. j不変量がkの値の場合, Case 1, 3, 4またはhsubiCase 3, 4であり,その軌道の g(C)2, 4, 5または4, 5である.

6

まとめ

4章では,奇標数の有限体kd次拡大体kdのうち, d = 2,3,5,7においてGHS攻撃を受けうる楕円曲線 を求めた. 5章では, 4章でまとめた楕円曲線のうち, d= 2の場合についてk2上の同型写像の作用による軌 道分解を求め,各軌道のとりうる種数全体を示した( 4). 4より,全ての軌道のg(C)4または5が含

4 f(x)の分岐パターン毎の軌道とそのg(C)

分岐パターン 軌道に含まれる曲線 g(C) PatternA h1i,h2i,h3i,h4i,hsubi 2, 3, 4, 5 PatternB h2i,h3i,h4i 3, 4, 5 PatternC h1i,h3i,h4i 2, 4, 5 hsubi h3i,h4i 4, 5

まれる. C上のDLPを解くIndex calculus algorithm 等はg(C)>3に対し作用し(3にも一部有効ではある ),計算量は原則g(C)の値によって評価される. つま , 上記軌道は全てGHS攻撃の対象となる. また, 岐パターンA, B, Cを持つ任意の楕円曲線はいずれか hCaseiに該当している. つまり, それらの曲線は表 4のいずれかの軌道に含まれていることとなる. よって d= 2の場合3次に変換できる楕円曲線全てがGHS 撃の対象となり,奇標数有限体の偶数次拡大体上定義さ れた楕円曲線はGHS攻撃により破れることが明らか となった. これは,楕円曲線暗号系の設計に新たな安全 指標を与えることとなる.

謝辞

本研究を進めるにあたり,適切な御指導,御助言, 検討を頂いた中央大学理工学部趙晋輝教授,趙研究室共 同研究員, 飯島努氏, 東海大学理学部情報数理学科, 村真帆呂准教授に深く感謝いたします.

関連発表

細萱 隆之, 飯島 努, 志村 真帆呂, 趙 晋輝 ”GHS 攻撃の対象となる奇標数素数次数拡大体上楕円曲 線の完全分類”, Proc of SCIS2014, IEICE Japan, 2014.

細萱 隆之, 飯島 努, 志村 真帆呂, 趙 晋輝 ”GHS 攻撃の対象となる被覆曲線を持つ楕円曲線の同 型類に関する考察”, Technical Report of IEICE, 2015/03, to apper

参考文献

[1] P. Gaudry, F. Hess and N. Smart, ”Constructive and destructive facets of Weil descent on elliptic curves,”

J. Cryptol, 15, pp.19–46, 2002.

[2] T. Iijima, F. Momose, and J. Chao ”Classification of elliptic/ hyperelliptic curves with weak coverings against GHS attack without isogeny condition,” Proc.

of SCIS2010, IEICE Japan, 2010.

[3] T. Iijima, F. Momose, and J. Chao ”Classi- fication of Elliptic/hyperelliptic Curves with Weak Coverings against GHS Attack under an Isogeny Condition”, preprint, 2013. Available from http://eprint.iacr.org/2013/487.

参照

関連したドキュメント

The Distribution of Group Structures on Elliptic Curves over Finite Prime Fields..

We derive our existence result by means of the Rothe method (cf. [6], [13]) which is based on a semidiscretization with respect to the time variable, whereby the given evolution

Let E /Q be a modular elliptic curve, and p &gt; 3 a good ordinary or semistable prime.. Under mild hypotheses, we prove an exact formula for the µ-invariant associated to

It is well known that an elliptic curve over a finite field has a group structure which is the product of at most two cyclic groups.. Here L k is the kth Lucas number and F k is the

On the other hand, recently, Sa¨ıdi-Tamagawa proved a weak version about the finiteness theorem over arbitrary algebraically closed fields of characteristic p &gt; 0 which says

If the S n -equivariant count of points of this space, when considered as a function of the number of elements of the finite field, gives a polynomial, then using the purity we

— Algebraic curves, finite fields, rational points, genus, linear codes, asymp- totics, tower of curves.. The author was partially supported by PRONEX #

In this paper, we extend this method to the homogenization in domains with holes, introducing the unfolding operator for functions defined on periodically perforated do- mains as