、ウ、ホ・レ。シ・ク、、マ、ニ、ハ・ヨ・テ・ッ・゙。シ・ッ、ヒトノイテ、ウ、ホ・レ。シ・ク、エ゙、爨マ、ニ、ハ・ヨ・テ・ッ・゙。シ・ッ 、ウ、ホ・レ。シ・ク、livedoor ・ッ・・テ・ラ、ヒトノイテ、ウ、ホ・レ。シ・ク、エ゙、瀝ivedoor ・ッ・・テ・ラ

  • トノイテ、オ、、ソケヤ、マ、ウ、ホソァ、ヌ、ケ。」
  • コス、オ、、ソケヤ、マ、ウ、ホソァ、ヌ、ケ。」
*フワシ。 [#wd9a6c64]

#contents


*クーカヲヘュ・ラ・・ネ・ウ・、ホ・゙・・チ・サ・テ・キ・逾ウネト・ [#w4f2ba23]
。。クーカヲヘュ。ハKE。ァKey Exchange。ヒ・ラ・・ネ・ウ・ヲミ、ホ・゙・・チ・サ・テ・キ・逾ウネト・、ネ、キ、ニ^ヲミ、ニウニ、ケ、。」、ウ、ホ^ヲミ、マニネホゥ、ハヲミ、スナ、ヘケ遉、サ、ソ、筅ホ、ヌ、「、。」

。。^ヲミ、ホニホマ、マ。「(establish-session,sid,ssid,PSUB{i};,PSUB{j};,role)、ヌ、「、。」、ウ、ホニホマ、シ、アシ隍、ネ。「^ヲミ、マニア、クssid、ホニホマ、ャ、ハ、、、ォ、ノ、ヲ、ォ、ウホ、ォ、皃。」、ト、゙、遙「ssid、、ュ、チ、、ネエノヘ、ケ、、ネ、、、ヲ、ウ、ネ、ヌ、「、。」

。。、ケ、、ネ。「・ユ・・テ・キ・螟ハヲミ、ホ・、・・ケ・ソ・・ケ、ャ。「(establish-session,ssid,PSUB{i};,PSUB{j};,role)、ヌクニ、ミ、、。」、ウ、ホ・、・・ケ・ソ・・ケ、ャ(ssid,PSUB{i};,PSUB{j};,k)、スミホマ、ケ、、ネ、ュ。「^ヲミ(sid,ssid,PSUB{i};,PSUB{j};,k)、スミホマ、ケ、。」


[トヘ]ヲミ、ャUCーツチエ「ヘ^ヲミ、禧Cーツチエ

。。、ウ、ホトヘ、ャ、、、ィ、、ミ。「^ヲミ、ヌケヘ、ィ、ノャヘラ、ャ、ハ、ッ、ハ、遙「ヲミ、ヌケヘ、ィ、、ミ、隍、。」イタマ、ャウレ、ヒ、ハ、遙「、ウ、ヲ、キ、ソ、ネ、ウ、、ャUC、ホ、「、熙ャ、ソ、、、ネ、ウ、、ネ、、、ィ、。」スセヘ隍ヌ、マ^ヲミ、ヌケヘ、ィ、ハ、ア、、ミ、ハ、鬢ハ、ォ、テ、ソ、ホ、ヌ、「、。」

。。、ハ、ェ。「、ウ、ホオユ、マタョ、ホゥ、ト。」、ハ、シ、ハ、鬢ミ。「・゙・・チ・サ・テ・キ・逾、ヌUCーツチエ、ハ、鬘「・キ・・ー・・サ・テ・キ・逾、ヌUCーツチエ、ヌ、「、。」


*PFS [#a0928a3f]
。。・サ・テ・キ・逾クー。ハ、ネタクタョ、ヒサネ、テ、ソヘソ。ヒ、マ。「ノ眛フ、ヒサネ、、スェ、、テ、ソ、鮴テ、ケ。」

。。・サ・テ・キ・逾クー、ネ、マハフ、ヒクーカヲヘュ・ラ・・ネ・ウ・、ヌ、マ。「・・・ー・ソ。シ・爭ュ。シ。ハlong-term key。ヒ、サネ、ヲ。」、ウ、ホlong-term key、マAuthenticate、キ、隍ヲ、ネ、ケ、、ネ、ノ、ヲ、キ、ニ、篷ャヘラ、ネ、ハ、、筅ホ、ヌ、「、。」

。。long-term key、マ・「・ノ・ミ。シ・オ・遙シ、ヒナマ、。」

。。イ盞、ヒ・サ・テ・キ・逾クー、カヲヘュ、ケ、、ソ、皃ホ、荀シ隍熙ホ・皈テ・サ。シ・ク、マセテ、サ、ハ、、。」、ウ、ヲ、キ、ソ、ウ、ネ、ォ、鬘「。ハネフゥ、ヌ、「、、ル、ッ、ホ。ヒ・サ・テ・キ・逾クー、ャ、、ォ、イトヌスタュ、ャ、「、。」

。。、ウ、ヲ、キ、ソイトヌスタュ、ャ、ハ、、、ウ、ネ、''PFS。ハforward secrecy。ヒ''、ネ、、、ヲ。」

。。コ」、ホーツチエタュ、ャフ、ヘ隍ホーツチエタュ、ヒ、稠orward、オ、、ニ、、、、、ア、タ。」


*SKーツチエ [#db095994]
。。・キ・・ー・・サ・テ・キ・逾クーカヲヘュ・ラ・・ネ・ウ・、ホ、ソ、皃ホーツチエ、ネ、キ、ニ。「SKーツチエ、ケヘ、ィ、。」

。。、゙、コ。「クーカヲヘュ・サ・テ・キ・逾、サマ、皃、ソ、皃ヒ。「・ム。シ・ニ・」。シ、activate、ケ、。」

。。、ス、キ、ニ。「エーホサ、キ、ソ・サ・テ・キ・逾クー、マクォ、。「ウォ、ォ、、ニ、、、ハ、、・サ・テ・キ・逾、・ニ・ケ・ネ・サ・テ・キ・逾、ヌ、ュ、エトカュ、ヌ、「、ZSUB{TEST};、ケヘ、ィ、。」

**Z_TEST、ホサナヘヘ [#r2310c68]

PSUB{1};,。ト,PSUB{n};~
A。ァ・「・ノ・ミ。シ・オ・遙シ~
、ウ、、鬢ホ・ム。シ・ニ・」。シ、マ・ラ・・ネ・ウ・^ヲミ、シツケヤ、ケ、。」

ZSUB{TEST};。ァニホマz、A、ヒナマ、ケ。」

1。ァA、ャPSUB{i};、activate、キ、ソ、、、ウ、ネ、ZSUB{TEST};、ヒヘラタチ、ケ、。」

。。A、ャPSUB{i};、(establised-session,sid,ssid,PSUB{i};,PSUB{j};role)、ヌactivate、キ、ソ、、、ネ、ュ。「Z、マPSUB{i};、、ス、ホニホマ、ヌactivate、ケ、。」

2。ァPSUB{i};、ャ(sid,ssid,PSUB{i};,PSUB{j};,ヲハ)、スミホマ、キ、ソ、鬘「Z、マ、ス、ホテヘ、オュマソ、キ。「ssid、ヒPSUB{j};、ヌcompleted、ネ・゙。シ・ッ、ケ、。」

3。ァA、ャssid、・サ・テ・キ・逾、ホcorrupt、ケ、、ネ、ュ。「ssid、exposed、ネ・゙。シ・ッ、ケ、。」

。。A、ャPSUB{i};、テア、ヒcorrupt、キ、ソセケ遑「、ケ、ル、ニ、ホPSUB{i};、ホエーホサ、キ、ニ、、、ハ、、・サ・テ・キ・逾、マexposed、ネ・゙。シ・ッ、オ、、。」、ス、キ、ニ。「セュヘ鎹SUB{i};、ャクニ、モスミ、ケ、ケ、ル、ニ、ホ・サ・テ・キ・逾、稙xposed、ネ・゙。シ・ッ、オ、、。」

4。ァA、ャPSUB{i};、ホcompleted、ネ、、、ヲssid、ホ・サ・テ・キ・逾・ュ。シ、ソメ、ヘ、、ネ、ュ。「オュマソ、オ、、ソ・サ・テ・キ・逾・ュ。シ、ナ、ィ。「、ス、ホ・サ・テ・キ・逾、exposed、ネ・゙。シ・ッ、オ、、。」

5。ァA、ャPSUB{i};、ホエーホサ、キ、ソ・サ・テ・キ・逾ssidSUB{0};、ホ・ニ・ケ・ネ、ーヘヘ熙ケ、、ネ、ュ。「シ。、ホ、隍ヲ、ハス靉、ケ、。」

&mimetex("b \overset{$}\leftarrow \bigl{ 0,1 \bigr}");

b、マ・ニ・ケ・ネ・モ・テ・ネ。」・、・・ニ・ー・・ニ・」、ハン、チ、ト、ト。「・キ。シ・ッ・・キ。シ。ハ、ウ、ホsecrecy、ャヒワシチ。ヒ、シ鬢。」

If b=0 Then PSUB{i};、ャスミホマ、キ、ソ・サ・テ・キ・逾・ュ。シ、A、ヒナマ、ケ。」~
Else ・鬣・タ・狹ヘ、A、ヒナマ、ケ。」

6。ァb'、b、ホソ萃ャテヘ、ネ、キ、ニA、ホスミホマ、ネ、ケ、、ネ、ュ。「シ。、ホキラササ、、キ、ニスェホサ、ケ、。」

PSUB{i};、ャ(ssid,PSUB{i};,PSUB{j};,role)、ホ・サ・テ・キ・逾、サ、チ。「PSUB{j};、ャ(ssid,PSUB{i};,PSUB{j};,role')、ホ・サ・テ・キ・逾、サ、ト、ネ、ュ。「、ウ、ホ2、ト、''・゙・テ・チ・・ー。ハmatching。ヒ''、キ、ニ、、、、ネ、、、ヲ。」、ソ、タ、キ。「ノャ、コ。ヨrole。穩ole'。ラ、ヌ、「、、ウ、ネ、ノャヘラ、ネ、キ、ハ、、。」

If PSUB{i};、ャ・サ・テ・キ・逾ヲメ、ホスミホマクー、ネ、キ、ニk、スミホマ、キ。「PSUB{j};、ャ・サ・テ・キ・逾ヲメ'、ホスミホマクー、ネ、キ、ニk'、スミホマ、キ。「k。稾'。「ヲメ、ネヲメ'、マ・゙・テ・チ・・ー、キ、ソウォ、ォ、、ニ、、、ハ、、・サ・テ・キ・逾、ヌ、「、。ハ・、・・ニ・ー・・ニ・」、ャヌヒ、鬢、ニ、、、。ヒ Then b'、スミホマ、ケ、。ハ・ラ・・ネ・ウ・、ホタオ、キ、オ、ヌヒ、。「ツィ、チA、ャセ。、ト。ヒ~
ElseIf ssidSUB{0};、ャ、ス、ホ・゙・テ・チ・・ー、キ、ソ・サ・テ・キ・逾、ャウォ、ォ、、ニ、、、ハ、、 Then ・鬣・タ・狹ヘ、スミホマ、ケ、。ハA、ャノ鬢ア、。ヒ~
Else 、オ、鬢ヒシ。、ホハャエ、ケヘ、ィ、

If b=b' Then 1、スミホマ~
Else 0、スミホマ

A、ャケカキ筅ヒタョク、キ、ニ、、、、ミ。「1、ヒハミ、。」

#img(http://s-akademeia.sakura.ne.jp/main/image9/Z_TEST.jpg)
#img(,clear)

**SKーツチエ、ホトオチ [#be61223e]

[トオチ]~
。ヨヲミ。ァ・皈テ・サ。シ・ク・ノ・・・KE・ラ・・ネ・ウ・、ネ、ケ、。」、ウ、ホ、ネ、ュ。「ヲミ、マUM、ヌSKーツチエ、ヌ、「、。ラ~
「ホSUP{def};。ヨ&mimetex("\forall A , Z_{TEST} \bigl( input: \forall z \bigr) ; REAL_{\hat{\pi},A,Z_{TEST}} \approx random \, bit");。ラ

[ケヘサ。1]、ウ、ホトオチ、マPFS、サ、ト。」~
。。ZSUB{TEST};、ホ・ケ・ニ・テ・ラ3、ホエーホサ、オ、、ニ、、、、ネ、ウ、、マ・゙。シ・ッ、オ、、ニ、、、ハ、、、ホ、ヌ。「・ニ・ケ・ネ、ホツミセンPFS、ホセキ、ォ、鮨、ォ、、。」、タ、ォ、魘、ハ、ッ、ニ、篁ス、、ハ、、。」corrupt、オ、、ニ、箚盞、ホクー、マシ鬢鬢ハ、ッ、ニ、マ、ハ、鬢ハ、、。」

[ケヘサ。2][[F_AUTH]]、ネ、キ、ニサネ、ィ、、ホ、マ。「^ヲミ、ネ、キ、ニ1イ、タ、ア。」


**UCーツチエ「ヘSKーツチエ [#y1396259]

[トヘ]ヌ、ーユ、ホUCーツチエ、ハ・ラ・・ネ・ウ・、マSKーツチエ、ヌ、「、。」

[セレフタ]UM。「PFS、ヌケヘ、ィ、。」

ヲミ。ァSKーツチエ、ヌ、ハ、、クークエケ・ラ・・ネ・ウ・、ネイセト熙ケ、。」

UCーツチエ、ヌ、「、、ウ、ネ、マシ。、シィ、サ、ミ、隍、。」

&mimetex("\forall A,\exists S,\forall Z ; REAL_{\pi,A,Z_{TEST}} \not\approx IDEAL_{\widehat{F_{KE}},S,Z_{TEST}}");

。。、゙、コ。「&mimetex("REAL_{\pi,A,Z_{TEST}}");、ネ・鬣・タ・爭モ・テ・ネ、シアハフ、ケ、ヌ、ーユ、ホ・「・ノ・ミ。シ・オ・遙シA、ャツクコ゚、ケ、。」、隍テ、ニ。「REAL、ホ、ネ、ュZSUB{TEST};、ォ、鮹、鬢、ニ、ッ、ヲハ、マ・鬣・タ・爭モ・テ・ネ、ォ、ノ、ヲ、ォ、シアハフ、ヌ、ュ、、ホ、ヌ。「ナキラナェ、ヒZSUB{TEST};、ホク。セレシー、ャタョホゥ、キ、荀ケ、ッ、ハ、、ホ、ヌ。「スミホマ、ャ1、ヒハミ、。」

。。、ス、ホ、ネ、ュ&mimetex("\widehat{F_{KE}}");、ネZSUB{TEST};、ネヌ、ーユ、ホS。ハ・、・ヌ・「・・「・ノ・ミ。シ・オ・遙シ。ヒ、ホツミマテ、ケヘ、ィ、。」

#img(http://s-akademeia.sakura.ne.jp/main/image9/uc_sk.jpg)
#img(,clear)

。。S、ォ、鬢゚、、ネ^FSUB{KE};、ヌヲハ、ャタクタョ、オ、、ソ、ホ、ォ。「ZSUB{TEST};、ヌヲハ、ャタクタョ、オ、、ソ、ホ、ォ、、ォ、鬢ハ、、。」、ハ、シ、ハ、餞、ヌタクタョ、キ、ソ、、ア、ヌ、ハ、、、ォ、鬢ヌ、「、。」、隍テ、ニS、ホVIEW、マヲハ、ホテヘ、ナキラナェ、ヒニネホゥ、ヒ、ケ、。」

。。、讀ィ、ヒ。ヨ&mimetex("\forall A,\exists S,\forall Z ; REAL_{\pi,A,Z_{TEST}} \not\approx IDEAL_{\widehat{F_{KE}},S,Z_{TEST}}");。ラ、ャシィ、サ、ソ。」




*KE・ラ・・ネ・ウ・、ホStrong UCーツチエ [#n4b99bc1]

FSUB{KE};。ァKE・ラ・・ネ・ウ・、ホ・ユ・。・・ッ・キ・逾ハ・・ニ・」
PSUB{1};,。ト,PSUB{n};。ァ・ム。シ・ニ・」。シ
S。ァ。ハIDEAL、ホテ讀ホ。ヒ・「・ノ・ミ。シ・オ・遙シ。」。ヨ「マA。「「ミS。ハStrong。ヒ。「「マZ。ラ、ホ、隍ヲ、ヒ、キ、ニ。「FSUB{KE};、シツクス、ケ、、隍ヲ、ヒ、ケ、、、ア、タ。」

1。ァPSUB{i};、ォ、(established-session,sid,PSUB{i};,PSUB{j};,role)、シ、ア、、ネ。「(sid,PSUB{i};,PSUB{j};,role)、オュマソ、キ。「、ウ、ホチネ、S、ヒチ、。」

、筅キ。「(sid,PSUB{i};,PSUB{j};,role')、ャ、「、、ミ。「シ。、ホセキハク、ケヘ、ィ、。」、ハ、ェ。「、ウ、ホrole'、マ。ヨrole。穩ole'。ラ、ヌ、「、テ、ニ、筅ハ、ッ、ニ、筅隍、。」

If PSUB{i};,PSUB{j};カヲ、ヒcorrupt、オ、、ニ、、、ハ、、 Then~
&mimetex("\kappa \overset{$}\leftarrow \bigl{ 0,1 \bigr}^{k}");~
PSUB{i};,PSUB{j};、ヒ(key,sid,ヲハ)、チ、遙「S、ヒ(key,sid,PSUB{i};,PSUB{j};)、チ、テ、ニ。「ト莉゚、ケ、。」~
Else If PSUB{i};、ォPSUB{j};、ャcorrupt、オ、、ニ、、、 Then~
S、ヒ(choose-value,sid,PSUB{i};,PSUB{j};)、チ、遙「S、ォ、鬥ハ、ホテヘ、シ、ア、ニ(key,sid,ヲハ)、PSUB{i};,PSUB{j};、ヒチ、遙「ト莉゚、ケ、。」

corrupt、オ、、ニ、、、、ネ、ュ、ホA、ホシォヘウナル、ャケ筅、。」A、ャクー、ホテヘ、キ隍皃、ウ、ネ、ャ、ヌ、ュ、。」、ス、ヲ、キ、ニ。「corrupt、オ、、ソ、ネ、ュ、ホネウイ、コヌツ遉ヒクォタム、筅テ、ニ、、、、、ア、ヌ、「、。」

2。ァPSUB{i};、ォPSUB{j};、ャcorrupt、オ、、、ネ。「・サ・テ・キ・逾・ュ。シ、ャ、゙、タFSUB{KE};、ホ・「・ヲ・ネ・エ。シ・、・・ー・ニ。シ・ラ、ヒス、ォ、、ニ、、、ハ、ア、、ミ。「S、ヒ・ュ。シ、ナマ、ケ。」、オ、筅ハ、ア、、ミ。「イソ、簀マ、オ、ハ、、。」

、ウ、ウ、ヌ。「PFS、ヘラオ皃キ、ニ、、、、ホ、ヌ、「、。」

[トオチ]~
。ヨ・ラ・・ネ・ウ・ヲミ、マUM、ヌUCーツチエ、ヌ、「、。ラ~
「ホSUP{def};。ヨUM、ヌFSUB{KE};、ーツチエ、ヒシツクス、キ、ニ、、、。ラ

。。・ケ・ニ・テ・ラ2、ホ。ヨ、オ、筅ハ、ア、、ミイソ、簀マ、オ、ハ、、。ラ、ネ、、、ヲ、ネ、ウ、、ス、ュエケ、ィ、、ネ。「PFS、サ、ソ、ハ、、UCーツチエ、ネ、ハ、。」

[トヘ]DHイセト熙ホイシ、ヌ。「・ラ・・ネ・ウ・[[SIG-DH]]、マ。「FSUB{SIG-hybrid};・筵ヌ・、ヌFSUB{KE};、ヘニーラ、ヒシツクス、キ、ニ、、、。」


*SIG-DH [#od12e657]

。。SIG-DH、マDDHイセト熙ホイシ、ヌ、ホスフセ・ラ・・ネ・ウ・、ヌ、「、。」FSUB{SIG};、ャサネ、ィ、、ネ、、、ヲチート、ハ、餞IG-DH・ラ・・ネ・ウ・、ャシ。、ホ、隍ヲ、ヒエハテア、ヒケスタョ、ヌ、ュ、。」

[トヘ]~
DDHイセト熙ホイシ、ヌ。「SIG-DH・ラ・・ネ・ウ・、マFSUB{SIG};・マ・、・ヨ・・テ・ノ・筵ヌ・、ホテ讀ヌ・ユ・。・・ッ・キ・逾ハ・・ニ・」FSUB{KE};、ーツチエ、ヒシツクス、ヌ、ュ、。」

#img(http://s-akademeia.sakura.ne.jp/main/image9/SIG-DH.jpg)
#img(,clear)

。。・ラ・・ネ・ウ・シツケヤ、エ、ネ、ヒクータクタョ、ケヤ、テ、ニ、、、。」

。。FSUB{SIG};シォツホ、シツクス、ケ、、ヒ、マカッホマ、ハスフセ、ャノャヘラ、ヌ、「、。」・ラ・・ネ・ウ・シツケヤ、ケ、ナル、ヒニネホゥ、ハFSUB{SIG};、ヌ、ハ、ッ。「、コ、テ、ネサネ、、イ、サ、FSUB{SIG};、ヌ、ハ、、、ネシツヘムセ蟒ネ、、ハェ、ヒ、ハ、鬢ハ、、。」

[イセト鷯[[DDHイセト鷯]、ホイシ、ヌヲチ、ネヲツ、ャ、ミ、、ニ、筍ハ・・ー、ヌサト、テ、ニ、筍ヒgSUP{x};、ホx、マ、、ォ、鬢ハ、、、ォ、鬘「PFS、ャハン、ソ、、。」ヒワナ、マone-way funciton、ホイシ、ヌケスタョ、オ、、、ネエ、キ、、。」


*サイケヘハクク・ [#v96d6e65]

-マタハク。ヨUniversally Composable Notions of Key Exchange and Secure Channels。ラ