共通鍵方式をささえる数体

このページは[url=https://www.geogebra.org/m/ddm5798j]マス旅[/url]の一部です。[br][br]今回は初期の暗号である「共通鍵方式」について探ってみよう。
1.ウォーミングアップ
[b][size=150]<暗号の基本>[br][/size][/b][br]# [b]平文[/b]:暗号化する前の文のことです。[br] 暗号化した文はもちろん「暗号文」といいますね。[br]# [b]鍵[/b]:平文を「暗号化」したり、暗号文を平文に戻す「復号」のための情報や技術です。[br]# [b]ネットワークの通信路にある危険[/b]の代表:盗聴・改ざん・なりすまし[br]# [b]共通鍵方式[/b]:昔からあるやり方ですね。[br][color=#0000ff] 送信者と受信者が秘密鍵を事前に共有しておくこと[/color]が必要になります。[br][br][b][size=150]<GF(2^8)の基本>[br][br][/size][/b]前回は符号の多項式表現を作りましたね。[br]そのときに活躍したのが[b]GF(2)[/b]と[b]GF(2^8)[/b]でしたね。[br][br]#[b]GF(2):2要素ガロア体(GaussField)[/b]の略です。[br]X={0,1}の加法群をベースにしています。[br][b] 加法[/b]の0+0=0,1+0=1以外に1+1=0であることから、[br] mod 2とか排他的論理和と呼びましたね。[br] ただの和ではないから、[b]x⊕y[/b]ともかきました。[br] GF(2)では、[b]積[/b]が0*0=0,1*1=1,1*0=0とふつうのかけ算と同じになりますが、[br][b] x⊗y[/b]とかくこともあります。[br][br]#[b]GF(2^8)[/b]:8ビットつまり1バイトの符号語の各ビットを[br] 次数8-1=7の多項式の係数に対応させたものです。[br] 巡回符号のときに次数下げをするための法になる生成多項式Gを考えましたが、[br] 暗号でも、法となる多項式を設定することがあります。[br] たとえば、p(X)=X^8+x^4+x^3+x+1を法にすると、係数がGF(2)だから、[br] x^8をx^4+x^3+x+1に置き換えることができますね。[br]
2.共通鍵暗号をざっくり見渡そう
暗号と言えば、共通鍵。[br]というほど、共通鍵暗号は昔からありました。[br][br]#[b]シーザー暗号[/b][br]アルファベットを3巡回シフトする暗号です。[br]JAPAN⇒MDSDQ[br]単文字置き換え暗号の代表ですね。[br][br]#[b]転置暗号[/b][br]きまった長さで文字を区切って、区切りの中で置換規則で入れ替えます。[br]たとえば、5文字ずつ逆順にソートする例です。[br]JAPAN WORLD ⇒NAPAJ DLROW[br][br][b][size=150]<ストリーム暗号>[br][/size][/b][br]シーザー暗号も転置暗号も1文字やn文字など細かな長さで暗号化しましたね。[br]ストリーム暗号はビット、バイト、ワードなどの小単位で暗号化のことです。[br]コツコツ暗号化するので、逐次暗号といも言いますね。[br][br]でも、これまでのストリーム暗号はどうも、努力すれば見破れそうですね。[br]それは、言語を作るアルファベットの情報源には[br][b]マルコフ性(出現が直前の情報に依存する規則性・確率分布がある)[/b]が強くあります。[br]だから、条件付き確率の計算まですれば、どの文字がどの文字の置き換えなのかが推論しやすくなるからです。[br][br][b]ストリーム暗号なのに「無条件に安全な暗号」[/b]というものがあります。[br][br]それが「[b]バーナム暗号[/b]」です。[br][br]F:アルファベットのAからZの26文字を0から25の数字に置き換えます。[br][b]F(JAPAN)=[9,0,15,0,13] [br][/b]G:それに使い捨て鍵(ワンタイムパッド)としての[b]乱数列[/b]をそれぞれの文字にたします。[br][b]Keys=[19,3,22,8,10][br]G(F(JAPAN))=F(JAPAN)+Keys[br] =[9,0,15,0,13] +[19,3,22,8,10][br] =[28,3,37,8,23][br][/b]H:これを(mod 26)の剰余にします。[br][b]H(G(F(JAPAN)))=H([28,3,37,8,23])[br][/b]=[28,3,37,8,23](mod 26)[br]=[28(mod 26),3(mod 26),37(mod 26),8(mod 26),23(mod 26)][br][size=150]≡[b][2,3,11,8,23][br][/b][size=100]F^-1:Fの逆です。0から25の数字をアルファベットのAからZに置き換えます。[br][/size][b]F^-1([2,3,11,8,23])=[size=150]CDLIX[br][/size][br][/b][/size]このプロセスを平文JAPANの「P」を使って何が起きてるかを追跡しましょう。[br]F:P(0番スタートでアルファベット表参照)⇒15、[br][b]G:15(+22)⇒37、[br][/b]H:37(mod 26) ⇒11、[br]F:11(0番スタートでアルファベット表参照の逆)⇒L[br]これから、[b](FGHF^(-1))[/b]:P⇒L[br][b](FGHF^(-1))[/b]:[b][color=#0000ff][size=150] JAPAN⇒CDLIX[br][/size][/color][/b][br]この操作を逆にやる、つまり、(FGHF^(-1))を逆順に逆のことをやれば[br]もとの平文に戻せます。[br]でも、Gのワンタイムパッド(使い捨て鍵)の加算が曲者ですね。[br][b][color=#0000ff][size=200]JAPANからCDLIXへは何の規則性もありません。[br]Keysを入手しないかぎりは復号不可能ですね。[br][/size][/color][/b][br]それに、平文と同じ長さのデータを鍵として渡す必要があるので効率が悪いです。[br]とは言え、効率よりも秘匿性が高い通信、[br]たとえば、大統領どうしの通信内容とかには使われることがあるようですね。[br][br]実際にバーナム暗号を使うときは、多少の工夫をすれば使いやすくなります。[br]アルファベット表を手元において数えるのもめんどうですから、文字を文字コードに変換しましょう。[br]文字コード変換、逆変換の関数はたいていの言語には用意されているでしょう。[br]アルファベットを文字コードにして、さらに2進数にしても[br]バーナム暗号は実現できますね。[br]平文も暗号文も01による符号だとします。[br]平文がa=[10010110]、[br]ストリーム暗号がp=[11110000]のとき、[br]暗号文は[b]平文aと鍵pの排他的論理和[/b][br][b][color=#0000ff][size=200]c=a⊕p=[01100110][br][/size][/color][/b]のように計算します。[br][br]mod 26 よりも排他的論理和の方が計算しやすいです。[br]もし、関数が用意されてなければ、桁ごとの和にmod2をすれば大丈夫です。[br]復号は、これらの逆順に逆操作をするだけでできますね。[br]もちろん、鍵pのデータが手元のないと復号できません。[br]ここでも、鍵の長さが問題になります。[br][br]ストリーム暗号は、シャノンによると「[color=#0000ff][b][size=150]鍵の長さが平文の長さ以上でないといけない[/size][/b][/color]」のです。[br]それは難しいので、実際は固定長(128ビットなど)の鍵を疑似乱数生成器で平文以上の長さに引きのばすことで対応するそうです。[br][br][b][size=150]<ブロック暗号>[/size][/b][br][br]1977年から2004年までアメリカの標準局が採用したことで[br]世界標準になったブロック暗号方式があります。[br][b]DES(Data Encryption Standard)暗号[/b]です。[br][br]平文を[b]64ビットのブロックに区切って暗号化[/b]する方式です。[br]どんな暗号化をするかというと、次のようになります。[br]ブロックごとに[b]転置暗号[/b]化(ビットの入れ替え)、[br][b]S-Box[/b](乱数テーブルでの単文字置き換え暗号化)、[br][b]XOR[/b](秘密鍵の値との排他的論理和)などの定型処理をするのです。[br][br]このブロック単位の1回の定型処理が1ラウンドです。これを16回繰り返します。[br][br]1つの鍵は64ビットのうち8ビットが誤り検出用なので、[br]事実上64-8=56ビットを使います。[br]すると、鍵の種類は2^56≒7.2×10^16 種類あります。[br]総当たりで試したとして、1つの鍵をためすのに10^(-6)秒かかったとすると全部で2283年ほどかかりますが、コンピュータを連結したり高速コンピュータを使えば1年を切るかもしれません。[br][br][size=150][b]<AES>[br][/b][br][/size][color=#0000ff][size=200]DESの進化版が[br][b]AES(advanced encryption standard)[/b]です。[br][/size][/color]現在のアメリカの標準暗号ですね。[br][br]AESのブロック長はDESより大きいです。128、192、256(ビット)の3種類があり、[br]ビットによって回すラウンド数が違うようです。[br]128ビットは10、192ビットは12、256ビットは14ラウンドです。[br][br]たとえば、[b]128ビットの10ラウンド[/b]は次のように実行します。[br]128ビットの秘密鍵を11個作ります。[br]平文の方は、128ビットを1バイト(8ビット)ごとに16個に分割して、それを4×4の行列とみなします。[br]1つのラウンドは4つ操作があります。[br][br][b]SubBytes(各バイトをS-boxで置き換える),[br]ShiftRows(4つの行の巡回シフトでビット入れ替え),[br]MixColumns(列ごとに行列積して置き換える),[br]AddRoundKey(鍵とのXOR)です。[br][/b][br]11個の鍵のうち1個目の鍵はAddRoundKeyだけやります。[br]残り10個の鍵で10ラウンド回します。[br]ただし、最終ラウンドだけはMixColumnsをやりません。[br][br]どんだけ、かき混ぜるんだよ![br]という複雑化をします。[br]エントロピー上がりまくりですね。[br]でも、このほとんど跡形もないような暗号化をしても[br]復号できなければ、何の役にもたちません。[br]その「[b]複雑化をもとに戻す代数の基盤[/b]」がガウス体GF(2^8)です。[br][br]次にそのようすを具体的に見ていきましょう。
3.AESの実装を探ろう
平文の方128ビット=1バイト(8ビット)×16個を1ステート(4×4の行列)とします。[br]目まぐるしく状態がかわるから、ステートなんでしょうね。[br][br]4つの操作のかたまりをまとめて、ラウンド関数と呼びましょう。[br][b]SubBytes(各バイトをS-boxで置き換える),[br]ShiftRows(4つの行の巡回シフトでビット入れ替え),[br]MixColumns(列ごとに行列積して置き換える),[br]AddRoundKey(鍵とのXOR)です。[br][/b][br]「鍵とのXOR」はバーナム暗号のところで暗号化、復号化をかいたので飛ばします。[br]1つめはSubBytesです。[br][br][b][size=150]<SubBytes>[br][/size][/b]1バイトを思い出そう。[br]1バイト(8ビット)は2^8=(2^4)^2なので、2個の16進数の並びです。[br]00からffの256通りありますね。[br]たてによこに0からfまでが並ぶ16×16のテーブルを「S-Box」といいます。[br][br][color=#0000ff]0行目は[63,7c,77,7b,f2,6b,6f,c6,30,01,67,2b,fe,d7,ab,76][br]1行目は[ca,82,c9,7d,fa,59,47,f0,ad,d4,a2,af,9c,a4,72,c0][br].......................[br]f行目は[8c,a1,89,0d,bf,e6,42,68,41,99,2d,0f,b0,54,bb,16][br][/color][br]のようになっています。[br]表の一番上の行は列目名です。左から順に、[br]列目名は[x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,xa,xb,xc,xd,xe,xf][br]表の一番左の列は行目名です。上から順に、[br]行目名も[x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,xa,xb,xc,xd,xe,xf][br][br]このテーブルを参照すると、1バイトを別の1バイトに置換できますね。[br]まあ、アルファベット表をかきまぜる表を参照するようなものです。[br]やっていることはアナログ的に考えると単純ですが、デジタルでみると変なことをやってます。たてにたどっても、よこにたどっても規則性がないのです。[br]デジタル的な単純さがないので、非線形置換(変換)とも言われてます。[br]そうはいっても、これは乱数ではないし、鍵でもなく、ただの1対1対応ですから、[br][b]可逆です。つまり、これは復号できます[/b]ね。[br](最近のS-boxは、GF(2^8)での逆元を求めた8ビットベクトルに、8×8行列をかけてから定数0x63をXORすることで作られているそうです。逆元にしただけで、非線形なのに手が込んでますね。)[br][br][b][size=150]<ShiftRows>[br][/size][/b]ステート(4×4行列)を行ベクトル4つとみましょう。[br]行ごとに巡回シフトします。シフト量は決まっています。[br]0行目は0、1行目は1、2行目は2、3行目は3です。[br]たとえば、シフト方向は左なので、次のように変わります。[br][00,01,02,03]⇒[00,01,02,03][br][10,11,12,13]⇒[11,12,13,10][br][20,21,22,23]⇒[22,23,20,21][br][30,31,32,33]⇒[33,30,31,32][br]これも[b]可逆な変化ですから、復号できます[/b]ね。[br][br][b][size=150]<MixColumns>[br][/size][/b]ステートを列ごとに別の行列をかけて置き換えます。[br]ステートの要素はそれぞれ1バイト(2けたの16進数)です。[br][b][00,01,02,03][br][10,11,12,13][br][20,21,22,23][br][30,31,32,33][br][/b]今、みなさんはステートの世界、1バイト単位の世界にいることを[br]再確認してくださいね。[br]たとえば、[br]2行2列目は「11」ですが、これは10進数の10×1+1=11ではなく、[br]2けたの16進数なので、10進数の「16×1+1=17」を表しているとします。[br][br]さあ、いよいよ、MixColumnsの処理を始めます。[br]たとえば、2列目x=[x1,x2,x3,x4]^t=[01,11,21,31]^tがありますね。[br]これを次の行列Mにかけます。[br][b][02,03,02,01][br][01,02,03,01][br][01,01,02,03][br][03,01,01,02][br][/b]つまり、[br]積Mxの値である列ベクトルy=[y1,y2,y3,y4]^tを同じ2列目にします。[br]y=Mx[br]の計算がポイントです。[br]たとえば、このベクトルyの第1要素は内積で求められます。[br][b]y1=M(1,1)x1+M(1,2)x2+M(1,3)x3+M(1,4)x4[br] =02×01+03×11+02×21+01×31[br][/b][br]かけ算が4つありますが、2×1、3×11、2×21、1×31を10進数でやったらアウト![br]今、1バイトの世界にいることを思い出しましょう。[br][br]1バイトの世界は、2進数の8けた、多項式では7次式の世界でした。[br]GF(2^8)の登場です。[br]各積は「2けたの16進数」の積ですね。[br]これを2ビット×8ビットの2進数の積にし、[br]さらに、2進数を係数とする多項式の積を計算します。[br]そして、ウォーミングアップで触れたp(X)=X^8+x^4+x^3+x+1を法にした余りにします。[br]2進数を多項式に直すときは、左はしが最高位とし右はしは定数項です。[br][br][b][color=#0000ff][size=150]16進数積:02×01   ,03×11  ,02×21 ,01×31[br]2進数積:10×00000001 ,11×00010001 ,10×00100001 ,01×00110001[br]多項式積:x×1=x ,(x+1)(x^4+1) ,x ×(x^5+1) , 1×(x^5+x^4+1)[br]剰余;x(mod p)≡x ,x^5+x^4+x+1 ,x^6 +x , x^5+x^4 +1[br][br]ふつうの多項式の和は、[br]x+ (x^5+x^4+x+1) +(x^6 +x) + (x^5+x^4 +1)[br]=x^6 + 2x^5 +2x^4+ 3x+2[br]≡x^6 + x (mod 2)[br]これを2進数にすると1000010です。[br]下から4けたで区切ることで2けたの16進数42にできます。[br]y1=42と決まりました。[br][br][/size][/color][/b]これをプログラミングすれば、[br]y=[y1,y2,y3,y4]が決定できますね。[br]ということは、今のは2列目だけでしたが、それを1列目から4列目まで実行すると、[br]ステートから新ステートが計算できますね。[br][b]1つ1つの計算だけ近視眼的にみる[/b]と、[br]復元できそうもありませんね。[br]どうしましょう??[br][br]でも、そういうときは、俯瞰してみましょう。[br]やっていることは、「[b]y=Mx[/b]」というよくある行列×ベクトルですね。[br]xにもどすにはMの逆行列をかければよいですね。[br]逆行列はMの行列式がゼロでなければ存在します。[br]行列式は行列要素の積に符号をつけて合計しているだけだし、固定行列であれば、[br]前もってM^(-1)は用意できるでしょう。[br][b]GF(2^8)の数体で逆行列[/b]を計算すればよいわけです。[br][br]このように4つの操作ごとに逆関数が可能だということがわかった。[br][br]2≡0(mod 2)のため、同じものをもう一度たすと元に戻るので、[br][b]AddRoundKeyの逆関数はAddRoundKey自身です。[br]SubBytesにはInvSubBytes,[br]ShiftRowsにはInvShiftRows,[br]MixColumnsにはInvMixColumnsという逆関数ツールを[br]暗号化と逆順に同じラウンドだけ繰り返せば、[br]復号できる[/b]イメージがわきましたね。
4.振り返り
暗号が進化すれば解読技術が上がり、それがさらに堅牢な暗号を生む。[br]このいたちごっこが暗号史の原動力です。[br][br]また、AESのようなブロック暗号(128ビット単位)で長い文章を暗号化するには、[br][b]暗号化モード(ECB, CBC, CTRなど)[/b]を使います。[br]同じ平文ブロックでも暗号結果が変わるように初期化ベクトル(IV)やカウンターを組み合わせる工夫がなされています。[br][br]一方、[b]AES[/b]のような「[b]可逆(復号可能)[/b]」な暗号とは対照的に、[br]「[b]不可逆(二度と元に戻せない)」な性質[/b]を極限まで高めたのが[br]「[b]ハッシュ関数(SHA-256など)[/b]」です。[br]1文字変わっただけで結果がカオスのように激変(雪崩効果)し、[br]逆算が不可能であるため、[br]パスワードの保存やデータの改ざん検出(同一性保証)に不可欠な技術となっています。[br][br]暗号化と復号で同じ鍵を使う「共通鍵方式(対称鍵方式)」の仕組み、[br]その背後にある代数構造の美しさを実感していただけたでしょうか。[br][br][color=#9900ff][b][u][size=150]課題:MixColumnsをGF(2^8)のコマンドがないgeogebraで実現できますか。[br][/size][/u][/b][/color][br]できます。[br]先ほどやったようにステートの2列目xだけを行列Mをかけた積yのy1だけを求めましょう。[br][br]タイトルは「AES暗号のMixColumnsロジックを多項式剰余とGF(2)で実装しよう」[br]#M(1,1)からM(1,4)は01,02,03のどれかだから、多項式は1,x,x+1になる。[br][b]Times={1,x,x+1}[/b][br][br]#x1,x2,x3,x4を設定します。[br]a="01"[br]b="11"[br]c="21"[br]d="31"[br][br][b]#16進数として読み取り10進化してから2進表示にして、01の数値列にしたのがB1~B4 [br][/b]text1=ToBase(FromBase(a,16),2) [br]text2=ToBase(FromBase(b,16),2) [br]text3=ToBase(FromBase(c,16),2) [br]text4=ToBase(FromBase(d,16),2) [br]La=Length(text1)[br]Lb=Length(text2)[br]Lc=Length(text3)[br]Ld=Length(text4)[br]B1=Sequence(If(Element(text1,k)=="1",1,0),k,1,La)[br]B2=Sequence(If(Element(text2,k)=="1",1,0),k,1,Lb)[br]B3=Sequence(If(Element(text3,k)=="1",1,0),k,1,Lc)[br]B4=Sequence(If(Element(text4,k)=="1",1,0),k,1,Ld)[br][br][b]# B1からB4の01を係数とした多項式P1s~P4sを作ります。[/b][br]P1=Sequnece(Element(B1,k) x^(La-k),k,1,La)[br]P2=Sequnece(Element(B2,k) x^(Lb-k),k,1,Lb)P3=Sequnece(Element(B3,k) x^(Lc-k),k,1,Lc)P4=Sequnece(Element(B4,k) x^(Ld-k),k,1,Ld)[br]P1s(x)=Simplify(Sum(P1))[br]P2s(x)=Simplify(Sum(P2))[br]P3s(x)=Simplify(Sum(P3))[br]P4s(x)=Simplify(Sum(P4))[br]y1x1(x)=Times(2,x) P1s(x)[br]y1x2(x)=Times(3,x) P2s(x)[br]y1x3(x)=Times(2,x) P3s(x)[br]y1x4(x)=Times(1,x) P4s(x)[br]r(x)=Mod(y1x1,P)+ Mod(y1x2,P)+Mod(y1x3,P)+ Mod(y1x4,P)[br]s(x)=Simplify(r)[br]Coffs=Coefficients(s)[br][br][b]#多項式の係数を取り出すと、y1の係数がでますが、2以上もあり得ます。[br][/b]XOR=Zip(if(Mod(k,2)==0,0,1),k,Coffs) #[b]mod2にしたy1の係数[/b][br]lx=Length(XOR)[br]y1=Sequence(Element(XOR,k) x^(lx-k),k,1,lx) [br][b]#最終的にGF(2^8)でのy1の多項式[br][/b]f(x)=Simplify(Sum(y1))[br]e=f(2)[br][b]#最終的なy1の16進表示の文字列[br][/b]text5=ToBase(e,16)[br][br][b]#入力ボックスの挿入[br][/b]見出しをx1にして、コントロールをa[br]見出しをx2にして、コントロールをb[br]見出しをx3にして、コントロールをc[br]見出しをx4にして、コントロールをdにすると、[br][b]画面から、x1、x2、x3、x4を変更できます。[br][/b]その結果を見るために[br][b]"y1 = " + text5 + ""[br][/b]を貼り付けましょう。[br]グラフの曲線が大量に表示されますが、fとy1を表示して見比べるとおもしろいかもしれません。
AES暗号のMixColumnsロジックを多項式剰余とGF(2)で実装

Information: 共通鍵方式をささえる数体