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

フワシ。

タナチ

。。ナ・オ・、・ネ、ヒ、ェ、ア、ーナケ讀ヒエリ、ケ、・レ。シ・ク、ヌ、マ。「タ篶タ、ャツュ、熙ハ、ォ、テ、ソ、遙「ク、テ、ソオュスメ、、キ、ニ、、、ソ、熙ケ、、ネ、ウ、、ャ、「、熙゙、ケ。」コ」ク蝪「セッ、キ、コ、トス、タオ、ケ、ヘスト熙ヌ、ケ。」

。。ーナケ賚マタ、ホ。リーナケ豬サスム、ホ、ケ、ル、ニ。ル、ャネッヌ荀オ、、ニ、、、゙、ケ。」ス鯀エシヤク、ア、ホーナケ賤ワ、ヌ、ケ。」、ウ、、゙、ヌーナケ賤ワ、ヒイソナル、ォトゥタ、キ、ト、ト、篌テダ、キ、ニ、キ、゙、テ、ソハ。「ウリケサ、ホインツ熙ヌヌコ、、ヌ、、、ハ。「サウハサクウ、ヒ、ニーナケ讀ホフ萃熙ャカシ熙ハハ、ハ、ノ、ヒ、ェエォ、皃ヌ、ケ。」

。リーナケ豬サスム、ホ、ケ、ル、ニ。ルタナチ・オ・、・ネ

。。カスフ」、ャ、「、ハ、マタナチ・オ・、・ネ、サイセネ、キ、ニ、ッ、タ、オ、、。」Amazon、ヌ、篳ッヌ菘讀ヌ、ケ。」

UC、ネ、マ

。。2001ヌッ、ヒRan Canetti、ヒ、隍テ、ニトセァ、オ、、ソーツチエタュ、ホソキ、キ、、ーツチエタュトオチ、ホマネチネ、゚、ヌ、「、。」テアツホ、ネ、キ、ニハンセレ、オ、、ソーツチエタュ、ャ。「、ノ、ホ、隍ヲ、ヒキケ遉キ、ニ、簗ンサ、オ、、、ウ、ネ、ハンセレ、ケ、。」

スセヘ隍ホーツチエタュトオチ、ネUCーツチエ、ホーユフ」、ヌ、ホーツチエタュ

。。・ラ・・ネ・ウ・、ホーツチエタュ、マ・・「・、ホ・ラ・・ネ・ウ・、・、・ヌ・「・、ホTTP、ヌシツクス、キ、ニ。「・・「・、ヒ、ェ、ア、A、ヒツミア、ケ、・、・ヌ・「・、ヒ、ェ、、、ニ・キ・゚・螂。シ・ソS、ケステロ、ヌ、ュ、、ミ。「ーツチエ、ネ、、、ヲ、ウ、ネ、ヌ、「、。」

スセヘ隍ホーツチエタュトオチ「マA。「「ミS
UCーツチエ、ホーユフ」、ヌ、ホーツチエタュ「マA。「「ミS。「「マZ

。。UCーツチエ、ホセケ遉マ・・「・、ネ・、・ヌ・「・、ヒ、ス、、セ、ニア、クZ、ャ、、、ニ。「シアハフ、ヌ、ュ、、ォ、ノ、ヲ、ォ、ヌーツチエタュ、ノセイチ、ケ、。」

・・「・・鬣、・ユ。ハReal-life。ヒ・筵ヌ・

。。サイイテシヤ、マシ。、ホトフ、遙」、ウ、、鬢マチエノITM。」

。ヲ・ム。シ・ニ・」。シP1,。ト,Pn。ハ・ラ・・ネ・ウ・ヲミ、シツケヤ。ヒ

。ヲナィ。ハAdversary。ヒ。ァA

。。、ウ、ホA、ャ・皈テ・サ。シ・ク、・ウ・・ネ・。シ・イトヌス。」

。ヲエトカュ・゙・キ・。ハenvironment machine。ヒ。ァZ。。。ハz。ァニホマ。ヒ

。。ク蝪「・サ・ュ・螂・ニ・」・ム・鬣癸シ・ソk、ャサリト熙オ、、。」

・ラ・・ネ・ウ・シツケヤ

。。・・「・・鬣、・ユ・筵ヌ・、ホ・ラ・・ネ・ウ・シツケヤ、シ。、ヒシィ、ケ。」

[1]Z、ャニー、、、ニ、、、、ネ、ュ

。。(a)Z。ハニホマ。ァz。ヒ、ャactivate、オ、、ソ、ネ、ュ

。。。。Z、マ「マ・ム。シ・ニ・」。シ、ネA、ホスミホマ・ニ。シ・ラ、ャニノ、皃。」、オ、鬢ヒ。「「マ・ム。シ・ニ・」。シ、ネA、ホニホマ・ニ。シ・ラ、ヒス、ュケ、皃。」

。。(b)A、ャactivate、オ、、ソ、ネ、ュ

。。。。(i)・ム。シ・ニ・」。シ、ホ・「・ヲ・ネ・エ。シ・、・・ー・ニ。シ・ラ、クォ、。」・皈テ・サ。シ・ク、マA、ホニホマ・ニ。シ・ラ、ヒス、ォ、、ニ、、、。」

。。。。(ii)Pi、ヒ・皈テ・サ。シ・クm、deliver。ハヌロテ」。ヒ、ケ、。」Pi、ホ・、・・ォ・゚・・ー・ニ。シ・ラ、ヒ・皈テ・サ。シ・ク、ス、ュケ、爍」・皈テ・サ。シ・ク、ホチソョシヤ、Pj、ホID、ネ、ケ、。」

。。。。(iii)Pi、corrupt。ハ・ウ・鬣ラ・ネ。ヒ、ケ、。」A、マクスコ゚、ホPi、ホセツヨ、テホ、、ウ、ネ、ャ、ヌ、ュ、。」Z、マPi、ャcorrupt、オ、、ソ、ウ、ネ、テホ、。」、ウ、ホサナタ、ォ、餘i、マactivate、オ、、ハ、、。」

。。A、マ、、、ト、ヌ、箴ォハャ、ヌチェ、、タセハ、シォハャ、ホスミホマ・ニ。シ・ラ、ヒス、ア、。」

。。A、ャ・皈テ・サ。シ・ク、deliver、キ、ソ、ネ、ュ。「シ。、ヒ、ス、ホ・ム。シ・ニ・」。シ、ャactivate、オ、、。」、オ、筅ハ、ア、、ミ。「Z、ャactivate、オ、、。」

。。(c)corrupt、オ、、ニ、、、ハ、、Pi、ャactivate、オ、、ソ、ネ、ュ

。。。。・ラ・・ー・鬣爨ヒスセ、、。「キラササ、ケヤ、、。「スミホマ・ニ。シ・ラ。「・「・ヲ・ネ・エ。シ・、・・ー・ニ。シ・ラ、リス、ュケ、爨ォ、筅キ、、ハ、、。」

。。。。ツヤ、チセツヨ、ォト莉゚セツヨ、ヒ、ハ、遙「Z、ャactivate、オ、、。」

[2]Z、マ{0,1}。ハチエツホ、ホスミホマキイフ。ヒ、スミホマ、ケ、。」

トセエムナェタ篶タ

。。Real Life・筵ヌ・、ネ、マ・ム。シ・ニ・」、ャーナケ讌ラ・・ネ・ウ・ヲミ、シツケヤ、キ、ニ、、、クスシツタ、ウヲ、・筵ヌ・イス、キ、ソ、筅ホ、ヌ、「、。」

  • ・ム。シ・ニ・」、マ・ラ・・ネ・ウ・、シツケヤ、ケ、。」
  • Z。ハエトカュ・゙・キ・。ヒ、マニホマz、ャヘソ、ィ、鬢、、ネ。「ウニ・ム。シ・ニ・」、ヒニホマ、ヘソ、ィ、ソ、遙「スミホマ、クォ、。」
  • A。ハ・「・ノ・ミ。シ・オ・遙ァナィ。ヒ、マ・皈テ・サ。シ・ク、ヌチ、、、ソ、遙「・ム。シ・ニ・」、corrupt。ハヌ羮。ヒ、ケ、。」corrupt、ネ、マネフゥセハ、、筅鬢ィ、、ウ、ネ、ヌ、「、。」
  • コヌク螟ヒZ、マシツケヤチエツホ、ホキイフ、ネ、キ、ニ1・モ・テ・ネ、スミホマ、ケ、。」

。。ホ网ィ、ミ。「A、マ・ケ・ム・、。ハクオ。ケナィケ、ホ・ム。シ・ニ・」。シ、ホーー、ヌ。「ヌ羮、オ、、ニ・ケ・ム・、、ヒ、ハ、テ、ニ、、、セツヨ、ヒカ皃、。ヒ。「Z、マサハホ盒ア、ヌ。「A、ネZ、ホエヨ、マフエ、ホ、隍ヲ、ハエーチエ、ハ、荀シ隍熙ャイトヌス、ネ、、、ヲセカキ、ネ、、、ィ、。」

トオチ

[トオチ]

A、ネ・ラ・・ネ・ウ・ヲミ、シツケヤ、キ、ニ、、、・ム。シ・ニ・」。シ、ホツミマテ
k。ァ・サ・ュ・螂・ニ・」・ム・鬣癸シ・ソ
z。ァエトカュZ、ホニホマ
\vec{r}~:=~(~r_{Z}~,~r_{A}~,~r_{1}~,~\cdots~,~r_{n})。ァ・鬣・タ・爭ニ。シ・ラ
、ネ、ケ、。」

。。、ウ、ホ、ネ、ュ。「REAL_{\pi,A,Z}(k,z,\vec{r})、ネトオチ、ケ、。」

。。、゙、ソ。「REAL_{\pi,A,Z}(k,z)。ァ\vec{r}、ャーヘヘ、ヒチェ、ミ、、ソ、ネ、ュ、ホウホホィハムソ、ネトオチ、ケ、。」
。。、ト、゙、遙「REAL_{\pi,A,Z}(k,z)、マ。ハヲミ,A,Z、ヒーヘツク、ケ、。ヒーシ、ホ・ウ・、・、ヒ、ハ、テ、ニ、、、、、ア、ヌ、「、。」

。。、オ、鬢ヒ。「・「・・オ・・ヨ・、シ。、ホ、隍ヲ、ヒトオチ、ケ、。」

REAL_{\pi,A,Z}~:~\bigl\{REAL_{\pi,A,Z}(k,z)\bigr\}_{k~\in~\mathbb{N},~z~\in~\bigl\{0,1\bigr\}^{*}}

・、・ヌ・「・・ラ・・サ・ケ。ハIdeal process。ヒ・筵ヌ・

。。サイイテシヤ、マシ。、ホトフ、遙」

。ヲエトカュ。ァZ。。。ハニホマ、マz。ヒ

。ヲ・、・ヌ・「・・ユ・。・・ッ・キ・逾ハ・・ニ・」。ァF

。ヲナィ。ァS。。「ォA、ヌ、マ、ハ、、、ウ、ネ、ヒテーユ。」

。ヲ・タ・゚。シ・ム。シ・ニ・」。シ。ァ~P1,。ト,~Pn

。。、ス、キ、ニ。「・サ・ュ・螂・ニ・」・ム・鬣癸シ・ソk、ャタ゚ト熙オ、、ニ、、、。」

・ラ・・ネ・ウ・シツケヤ

。。・、・ヌ・「・・ラ・・サ・ケ・筵ヌ・、ホ・ラ・・ネ・ウ・シツケヤ、シ。、ヒシィ、ケ。」

[1]Z、ャニー、、、ニ、、、、ネ、ュ

。。(a)Z。ハニホマz。ヒ、ャactivate、オ、、ソ、ネ、ュ

。。。。Z、マ「マ・ム。シ・ニ・」。シ、ネS、ホスミホマ・ニ。シ・ラ、ャニノ、皃。」、オ、鬢ヒ。「Z、マ「マ・ム。シ・ニ・」。シ、ネS、ホニホマ・ニ。シ・ラ、ャス、ア、。」

。。(b)~Pi、ャactivate、オ、、ソ、ネ、ュ

。。。。ニホマ・ニ。シ・ラ、ホテヘ、F、ホ・、・・ォ・゚・・ー・ニ。シ・ラ、ヒ・ウ・ヤ。シ、ケ、。」

。。。。シ。、ヒF、ャactivate、オ、、。」

。。(c)F、ャactivate、オ、、ソ、ネ、ュ

。。。。・ラ・・ー・鬣爍ハ・ラ・・ネ・ウ・、ホサナサ、マ、ウ、ウ、タ、ア、ハ、ホ、ヌソョヘ熙ヌ、ュ、。ヒ、ヒスセ、、。「シツケヤ、オ、、。」

。。。。・ム。シ・ニ・」。シ、ネナィ、ヒーク、ニ、ソ・「・ヲ・ネ・エ。シ・、・・ー・ニ。シ・ラ、ヒス、ュケ、爨ウ、ネ、ャ、ヌ、ュ、。」

。。。。F、ャS、ヒーク、ニ、ニ・皈テ・サ。シ・ク、ス、、、ソセケ遑「シ。、ヒS、ャ、ス、ーハウー、ホセケ遉マトセチー、ホ・ム。シ・ニ・」。シ、ャactivate、オ、、。」

。。(d)S、ャactivate、オ、、ソ、ネ、ュ

。。。。・ラ・・ー・鬣爨ヒスセ、、。「スミホマ・ニ。シ・ラ、ヒセハ、ス、ュケ、爨ォ、筅キ、、ハ、、。」

。。。。イテ、ィ、ニ。「シ。、ホ、ヲ、チ、メ、ネ、ト、シツケヤ、ケ、。」

。。。。(i)S、マ・タ・゚。シ・ム。シ・ニ・」。シ、ホ・「・ヲ・ネ・エ。シ・、・・ー・ニ。シ・ラ。「F、ホ・「・ヲ・ネ・エ。シ・、・・ー・ニ。シ・ラ、ホークタ隍クォ、。」

。。。。。。、ウ、ホセハ、マS、ホ・、・・ォ・゚・・ー・ニ。シ・ラ、ヒス、ュケ、゙、、。」

。。。。(ii)S、マ・皈テ・サ。シ・クm、F、ォ、驃Pi、リヌロテ」、ケ、。」

。。。。。。。ハ~Pi、ャcorrupt、オ、、ソセケ遉ス、ュ。ヒm、ホテ豼ネ、マクォ、、ハ、、。」

。。。。(iii)・サ・・タ。シS、ャF、ホ・、・・ォ・゚・・ー・ニ。シ・ラ、ヒ・皈テ・サ。シ・クm、ス、ュケ、爍」

。。。。(iv)S、マ~Pi、corrupt、ケ、。」

。。。。。。Z、ネF、マ~Pi、ャcorrupt、オ、、ソ、ウ、ネ、テホ、。」

。。。。。。F、マS、ヒ~Pi、ホニ篷セツヨ、チ、。」

。。。。。。、ウ、ーハケ゚。「~Pi、マactivate、オ、、ハ、、。」

。。。。。。S、マF、ォ、驃Piーク、ニ、ホ・皈テ・サ。シ・ク、シ、ア。「F、ヒ~Pi、ォ、鬣皈テ・サ。シ・ク、チソョ、ケ、、ウ、ネ、ャ、ヌ、ュ、。」

。。。。・皈テ・サ。シ・ク、ャ~Pi、リヌロテ」、オ、、ソ、ネ、ュ、マ。「シ。、ヒ~Pi。「、ス、ーハウー、マZ、ャシ。、ヒactivate、オ、、。」

。。(e)F、ォ、鬢ホ・皈テ・サ。シ・ク、ヌ~Pi、ャactivate、オ、、ソ、ネ、ュ

。。。。・皈テ・サ。シ・ク、マ、ス、ホ、゙、゙スミホマ・ニ。シ・ラ、リ・ウ・ヤ。シ、オ、、。」

。。。。。ハ・ラ・・ネ・ウ・、ホスミホマ、ヌ、「、・皈テ・サ。シ・ク、S、マクォ、、ハ、、、ャ。「Z、マテホ、、ウ、ネ、ャ、ヌ、ュ、。ヒ

。。。。Z、ォ、鬢゚、、ネ。「Pi。「A、ャ、、、、ホ、ネニア、ク、、ア、タ。」

[2]Z、ャ1・モ・テ・ネスミホマ、ケ、。」

トセエムナェタ篶タ

。。Ideal Process・筵ヌ・、ネ、マhonest・ム。シ・ニ・」、ヒツミ、キ、ニヘチロナェ、ハツ霆ーシヤ。ハTrusted Third Party。ァTTP。ヒ、ヘム、、、ソタ、ウヲ、・筵ヌ・イス、キ、ソ、筅ホ、ヌ、「、。」、ウ、ウ、ヌ、ホTTP、・、・ヌ・「・・ユ・。・・ッ・キ・逾ハ・・ニ・」、ネクニ、モ。「F、ヌノス、ケ。」

  • Z、マニホマz、ャヘソ、ィ、鬢、、ネ。「ウニ・ム。シ・ニ・」、ヒニホマ、ヘソ、ィ、ソ、遙「スミホマ、クォ、。」
  • F、マオッニー、キ、ソ、鬣ラ・・ネ・ウ・、ヒスセ、、キラササ、キ、ニ。「・ム。シ・ニ・」、膣、リセハ、ナマ、ケ。」
  • S。ハIDEAL・「・ノ・ミ。シ・オ・遙ヒ、マオッニー、キ、ソ、鬘「・ラ・・ネ・ウ・、シツケヤ、ケ、。」S、マF、corrupt、ヌ、ュ、コ。「F、ォ、餞、リ、マーツチエタュ、ツサ、ハ、、ハ、、トナル、ホセハ、キ、ォナマ、オ、、ハ、、。」
  • コヌク螟ヒZ、マシツケヤチエツホ、ホキイフ、ネ、キ、ニ1・モ・テ・ネ、スミホマ、ケ、。」

トオチ

[トオチ]

k。ァ・サ・ュ・螂・ニ・」・ム・鬣癸シ・ソ
z。ァエトカュZ、ホニホマ
\vec{r}~:=~(~r_{Z}~,~r_{S}~,~r_{1}~,~\cdots~,~r_{n})。ァ・鬣・タ・爭ニ。シ・ラ
、ネ、ケ、。」

。。、ウ、ホ、ネ、ュ。「IDEAL_{F,S,Z}(k,z,\vec{r})。ァ・、・ヌ・「・・ラ・・サ・ケ、ホZ、ホスミホマ、ネトオチ、ケ、。」

。。、゙、ソ。「IDEAL_{F,S,Z}(k,z)。ァ\vec{r}、ャーヘヘ、ヒチェ、ミ、、ソ、ネ、ュ、ホウホホィハムソ、ネトオチ、ケ、。」

。。、オ、鬢ヒ。「・「・・オ・・ヨ・、シ。、ホ、隍ヲ、ヒトオチ、ケ、。」

IDEAL_{F,S,Z}~:~\bigl\{IDEAL_{F,S,Z}(k,z)\bigr\}_{k~\in~\mathbb{N},~z~\in~\bigl\{0,1\bigr\}^{*}}

・、・ヌ・「・・ユ・。・・ッ・キ・逾ハ・・ニ・」。シ、ーツチエ、ヒシツクス

。。・・「・・鬣、・ユ・筵ヌ・、ヒ、ェ、、、ニ「マ、ホA、ヒツミア、キ、ニ。「・、・ヌ・「・・ラ・・サ・ケ・筵ヌ・、ヒ、ェ、、、ニ、ホ、「、S、ャツクコ゚、ケ、。」、ト、゙、遙「「マA。「「ミS、ネ、、、ヲス酳ヨ。」

。。・・「・・鬣、・ユ・筵ヌ・、ヌヲム、シツケヤ、キ、ニ、、、A、ネ、、、ヲ・ム。シ・ニ・」。シ、ネ。「・、・ヌ・「・・ラ・・サ・ケ・筵ヌ・、ヌ、ホS、ネF、ホツミマテ、。「「マZ、ャnon-neg、ハウホホィ、ヌカ靆フ、ヌ、ュ、ハ、、、ウ、ネ、。「・ラ・・ネ・ウ・ヲム、マ・、・ヌ・「・・ユ・。・・ッ・キ・逾ハ・・ニ・」F、ーツチエ、ヒシツクス、キ、ニ、、、、ネ、、、ヲ。」

。。ホ网ィマテ、ヌ、、、ヲ、ネ。「・ケ・ム・、A、ャ、、、ニサハホ盒アZ、ャS、ォ、鯡ケス、、筅鬢テ、ソセケ遉ネ。「Z、ャエ、ホセ螟ヌ・キ・゚・螂。シ・ソ、ヌニタ、ソセハ、ャ、ハ、、鯡ム、、鬢ハ、ア、、ミ。「A、マシツシチイソ、ホサナサ、筅キ、ニ、、、ハ、、、ウ、ネ、ヌ、「、。」

[トオチ]
。ヨX~\approx~Y。ラ 「ホdef。ヨ\forall~c~\in~\mathbb{N}~,~\exists~k_{0}~\in~\mathbb{N}~\,~s.t.~\,~\forall~k~>~k_{0}~,~\forall~a~\in~\bigl\{0,1\bigr\}^{*}~;~|~Pr[X(k,a)=1]~-~Pr[Y(k,a)]=1|~<~k^{-c}。ラ
、ソ、タ、キ。「X~=~\bigl\{~X(k,a)~\bigr\}_{k~\in~\mathbb{N}~,~a~\in~\bigl\{0,1\bigr\}^{n}}。「Y~=~\bigl\{~Y(k,a)~\bigr\}_{k~\in~\mathbb{N}~,~a~\in~\bigl\{0,1\bigr\}^{n}}

[ケヘサ。]ニア、ク・、・・ヌ・テ・ッ・ケ、ォ、魑ホホィハムソ、サ、テ、ニ、ュ、ソ、ネ、ュ。「ネ「X。「ネ「Y、ォ、鮠隍テ、ソ、ォ、、ォ、鬢ハ、、セツヨ、ネニアヘヘ。」

[トオチ]

n~\in~\mathbb{N}
F。ァ・、・ヌ・「・・ユ・。・・ッ・キ・逾ハ・・ニ・」
ヲミ。ァn-party・ラ・・ネ・ウ・

、ウ、ホ、ネ、ュシ。、ャタョ、ホゥ、ト。」
。ヨヲミ、マF、ーツチエ、ヒシツクス、キ、ニ、、、。ラ
「ホdef。ヨ\forall~A~,~\exists~S~,~\forall~Z~;~IDEAL_{F,S,Z}~\approx~REAL_{\pi,A,Z}。ラ

。。z、ャ「マ、タ、ネカッホマ。」ホ网ィ、ミ。「、ス、ホ・ラ・・ネ・ウ・、ホヒワシチ、ャス、ォ、、ソH、サ、テ、ニ、、、、ォ、筅キ、、ハ、、。」、゙、ソ。「z、マフオクツ、ォ、鮠隍テ、ニ、ュ、ソ、ォ、筅キ、、ハ、、。」トケ、オ、マツソケ狆ートケ、タ、ャ。「、ス、、コ、スミ、ケサエヨ、マツソケ狆ーーハセ螟ォ、筅キ、、ハ、、、ホ、ヌ。「H、ャオヘ、゙、テ、ニ、、ォ、筅キ、、ハ、、。」

エトカュZ

。ヲZ、マIDEAL、膤EAL、テア、ヒシアハフ、ケ、、タ、ア、ヌ、ハ、ッ。「・キ・ケ・ニ・爨ヒサリホ皃チ、遙「・「・ヲ・ネ・ラ・テ・ネ、、筅鬢ィ、。」、ト、゙、遙「ヌスニーナェ、ハシアハフサメ、ネ、、、ィ、。」

F-・マ・、・ヨ・・テ・ノ。ハhybrid。ヒ・筵ヌ・

。。、ウ、ホ・筵ヌ・、マ・・「・・鬣、・ユ・筵ヌ・、ネ・、・ヌ・「・・ラ・・サ・ケ・筵ヌ・、チネ、゚ケ遉、サ、ソ・筵ヌ・、ネ、、、ィ、。」

。。サイイテシヤ、マシ。、ホトフ、遙」

。ヲP1,。ト,Pn。ァ・ラ・・ネ・ウ・ヲミ、シツケヤ、キ、ニ、、、・ム。シ・ニ・」。シ

。ヲF(sid)。ァF、ホハ」ソ、ホ・ウ・ヤ。シ。」SID、ャsid、ホF、ホ・ウ・ヤ。シ。」ニネホゥ、キ、ソニ篷セツヨ。」

。ヲH。ァナィ

。ヲZ。ァエトカュ。ハニホマ。ァz。ヒ

。。、ウ、ウ、ヌ。「・サ・ュ・螂・ニ・」・ム・鬣癸シ・ソk、ャタ゚ト熙オ、、ニ、、、。」

・ラ・・ネ・ウ・シツケヤ

。。F-・マ・、・ヨ・・テ・ノ・筵ヌ・、ホ・ラ・・ネ・ウ・シツケヤ、シ。、ヒシィ、ケ。」

[1]Z、ャト莉゚、ケ、、゙、ヌシツケヤ

。。(a)Z、ャactivate、オ、、ソ、ネ、ュ

。。。。・・「・・鬣、・ユ・筵ヌ・、ネニアヘヘ、ヒF(sid)、ヒ・「・ッ・サ・ケ、ヌ、ュ、ハ、、。」

。。(b)H、ャactivate、オ、、ソ、ネ、ュ

。。。。(i)、ケ、ル、ニ、ホ・ム。シ・ニ・」。シ、ホ・「・ヲ・ネ・エ。シ・、・・ー・ニ。シ・ラ、クォ、、。」、ス、ホセハ、マH、ホ・、・・ォ・゚・・ー・ニ。シ・ラ、ヒス、ュケ、゙、、。」

。。。。(ii)H、マ・皈テ・サ。シ・ク、・ム。シ・ニ・」。シPi、リヌロテ」、ヌ、ュ、。」

。。。。(iii)H、マF(sid)、ォ、鬢ホ・皈テ・サ。シ・クm、Pi、リヌロテ」、ヌ、ュ、。」・皈テ・サ。シ・ク、ホテ豼ネ、マクォ、、ハ、、。」

。。。。(iv)H、マ・皈テ・サ。シ・クm、F(sid)、リヌロテ」、ヌ、ュ、。ハ・サ・・タ。シ、マH。ヒ。」

。。。。(v)H、マ・ム。シ・ニ・」。シPi、corrupt、ヌ、ュ、。」

。。。。。。H、マ・ラ・・ネ・ウ・ヲミ、ヌ、ホPi、ホセツヨ、テホ、。」

。。。。。。、ケ、ル、ニ、ホF(sid)、マPi、ャcorrupt、オ、、ソ、ウ、ネ、テホ、。」

。。。。。。F(sid)、マトノイテセハ、H、ヒチ、。」

。。。。・皈テ・サ。シ・ク、ヌロテ」、キ、ソセケ遉ヒ、マ。「Pi、゙、ソ、マF(sid)、ャシ。、ヒactivate、オ、、。」

。。。。、ス、ーハウー、ヌ、マ。「H、ホトセチー、ヒactivate、オ、、ニ、、、ソZ、ャ。「F(sid)、ャコニ、モactivate、オ、、。」

。。(c)corrupt、オ、、ニ、、、ハ、、Pi、ャactivate、オ、、ソ、ネ、ュ

。。。。・ラ・・ー・鬣爨ヒスセ、、。「セハ、スミホマ・ニ。シ・ラ、ヒス、ュケ、爨ォ。「・皈テ・サ。シ・ク、・「・ヲ・ネ・エ。シ・、・・ー・ニ。シ・ラ、ヒス、ュケ、爍」

。。。。Pi、マ、メ、ネ、ト、ホF(sid)、ヒ・皈テ・サ。シ・ク、ス、ア、。」

。。。。、ス、ホF、ャシ。、ヒactivate、オ、、。」、ス、ーハウー、ヌ、マZ、ャactivate、オ、、。」

。。(d)F(sid)、ャactivate、オ、、ソ、ネ、ュ

。。。。・、・ヌ・「・・ラ・・サ・ケ・筵ヌ・、ネニアヘヘ、ヒシツケヤ、オ、、。」

。。。。スミホマ、マHキミヘウ、ヌPi、リハヨ、オ、、。」

[2]Z、ャ1・モ・テ・ネスミホマ、ケ、。」

トオチ

[トオチ]

k。ァ・サ・ュ・螂・ニ・」・ム・鬣癸シ・ソ
z。ァエトカュZ、ホニホマ
\vec{r}~:=~(~r_{Z}~,~r_{H}~,~r_{1}~,~\cdots~,~r_{n})。ァ・鬣・タ・爭ニ。シ・ラ
、ネ、ケ、。」

。。、ウ、ホ、ネ、ュ。「HYB_{\pi,H,Z}^{F}(k,z,\vec{r})。ァ・マ・、・ヨ・・テ・ノ・筵ヌ・、ホZ、ホスミホマ、ネトオチ、ケ、。」

。。、゙、ソ。「HYB_{\pi,H,Z}^{F}(k,z)。ァ\vec{r}、ャーヘヘ、ヒチェ、ミ、、ソ、ネ、ュ、ホウホホィハムソ、ネトオチ、ケ、。」

。。、オ、鬢ヒ。「・「・・オ・・ヨ・、シ。、ホ、隍ヲ、ヒトオチ、ケ、。」

HYB_{\pi,H,Z}^{F}~:~\bigl\{HYB_{\pi,H,Z}^{F}(k,z)\bigr\}_{k~\in~\mathbb{N},~z~\in~\bigl\{0,1\bigr\}^{*}}

。。Z、ォ、鮑ォ、、ネ。「・・「・・筵ヌ・。「・、・ヌ・「・・筵ヌ・。「・マ・、・ヨ・・テ・ノ・筵ヌ・、ォ、クォハャ、ア、ヌ、ュ、ハ、、、ウ、ネ、ヒテーユ。」、ハ、シ、ハ、鬘「ニスミホマ、ャニア、ク、タ、ォ、鬢ヌ、「、。」

。。・・「・、ネ・、・ヌ・「・、ホネ豕モ、マツ醋ム、ヌ、「、。」、ス、ウ、ヌ。「・・「・、ネ・、・ヌ・「・、ホエヨ、ヒ・マ・、・ヨ・・テ・ノ、トオチ。」、ウ、、ャ・マ・、・ヨ・・テ・ノ、ニウニ、キ、ソヘヘウ、ヌ、「、。」ク螟マ・・「・、ネ・マ・、・ヨ・・テ・ノ。「・マ・、・ヨ・・テ・ノ、ネ・、・ヌ・「・、ネ豕モ、ケ、。」、ウ、ホ2、ト、ホネ豕モ、ホキイフ、ォ、鬘「・・「・、ネ・、・ヌ・「・、ホエヨ、ホネ豕モ、ヒ、ト、、、ニク、。」

F、ホクニ、モスミ、キ、・ラ・・ネ・ウ・オッニー、ヒテヨ、ュエケ、ィ、

ヲミ。ァF・マ・、・ヨ・・テ・ノ・筵ヌ・、ホ・ラ・・ネ・ウ・
ヲム。ァF、ーツチエ、ヒシツクス、キ、ニ、、、・ラ・・ネ・ウ・
、ネ、ケ、。」

ヲミヲム。ァF・マ・、・ヨ・・テ・ノ、ホ・ラ・・ネ・ウ・、ホテ讀ヌ。「F(sid)、ホactivate、・ラ・・ネ・ウ・ヲム、ホクニ、モスミ、キ、ヒハム、ィ、。」

。。r、ネs、マ。「F、クニ、モスミ、ケ、エ、ネ、ヒソキ、キ、、・鬣・タ・狹ヘ、シ隍。」、ス、キ、ハ、、、ネニネホゥ、ヒ、ハ、鬢ハ、、。」

。。、゙、ソ。「・オ・ヨ・ラ・・ネ・ウ・、タ、ォ、鯣アサ、ヒハフ、ホキラササ、ャイトヌス。」

。。、オ、鬢ヒ。「ホ网ィ、ミ3-party、ホ、ネ、ュ、マ。「P2、ホナ、ィ、ツヤ、トエヨ、ヒ。「P3、ヒ・皈テ・サ。シ・ク、ナ熙イ、、ウ、ネ、ャイトヌス。」

。ヲ・ラ・・ネ・ウ・ヲム、ャ・・「・、ハ、鬘「ヲミヲム、筵・「・、ヒ、ハ、。」

。ヲ・ラ・・ネ・ウ・ヲム、ャG・マ・、・ヨ・・テ・ノ・筵ヌ・、ハ、鬘「ヲミヲム、筵・「・、ヒ、ハ、。」

[トヘ]・ラ・・ネ・ウ・ヲムヲミ、ャ・ラ・・ネ・ウ・ヲムF、・ィ・゚・螂。シ・ネ、ケ、。」

[トヘ]
。ヨ(ヲムF,A')、ャーツチエ、ヒオ。ヌスG、シツクス、ケ、。ラ「ヘ。ヨ(ヲムヲミ,A)、箍ツチエ、ヒオ。ヌスG、シツクス、ケ、。ラ

Composition Theorem。ハキケ酘ヘ。ヒ

キケ鄰犲。ハcomposition operation。ヒ

[トヘ]
ヲム、ャG-・マ・、・ヨ・・テ・ノ、ヌF、ーツチエ、ヒシツクス、キ、ニ、、、、ハ、鬘「キケ逾ラ・・ネ・ウ・ヲミヲム、マF-・マ・、・ヨ・・テ・ノ、ヌヲミ、ホシツケヤ、・ィ・゚・螂。シ・ネ、キ、ニ、、、。」

\forall~A~,~\exists~S,~\forall~Z~;HYB_{\rho,A,Z}^{G}~\approx~IDEAL_{F,S,Z}

「ヘ

\forall~A~,~\exists~S,~\forall~Z~;HYB_{\pi^{\rho},A,Z}^{G}~\approx~HYD_{\pi,S,Z}^{F}

。。、隍テ、ニ。「・ラ・・ネ・ウ・ヲム、ャ・・「・・鬣、・ユ・筵ヌ・、ハ、鬘「ヲミヲム、筵・「・・鬣、・ユ・筵ヌ・、ヒ、ハ、。」

。。、゙、ソ。「ヲム、ャG-・マ・、・ヨ・・テ・ノ・筵ヌ・、ハ、鬘「ヲミSUP{ヲム}、礙-・マ・、・ヨ・・テ・ノ・筵ヌ・、ヒ、ハ、。」

UCシツクス

。。G=ヲナ。ハ・ィ・・ラ・ニ・」。」サネ、ィ、ハ、、。ヒ、ホ、ネ、ュ、マ。「、ノ、、ハ・ラ・・ネ・ウ・ヲミ、ネケ鄲ョ、ヌ、ュ、。」

\forall~A~,~\exists~S,~\forall~Z~;REAL_{\rho,A,Z}~\approx~IDEAL_{F,S,Z}。。「ォ(1)

「ヘ

\forall~A~,~\exists~S,~\forall~Z~;REAL_{\pi^{\rho},A,Z}~\approx~HYB_{\pi,S,Z}^{F}

。。セ螟ホイセト熙ャ、、、ィ、、ミ。「イシ、ホキマタ、ャ、、、ィ、。」キマタ、ニタ、ソ、ア、、ミ。「、タ、ォ、(1)、ャ、、、ィ、、ミ、隍、。」

。。、゙、ソ。「シ。、ャタョ、ホゥ、ト。」

\forall~A~,~\exists~\tilde{S},~\forall~Z~;HYB_{\pi,S,Z}^{F}~\approx~IDEAL_{F_{\pi},\tilde{S},Z}。。「ォ(2)

。。、隍テ、ニ。「(1)(2)、隍遙「

REAL_{\pi^{\rho},A,Z}~\approx~IDEAL_{F_{\pi},\tilde{S},Z}

、ヒ、ソ、ケ、隍ヲ、ハ・ユ・。・・ッ・キ・逾ハ・・ニ・」Fヲミ、ャケスタョ、ヌ、ュ、。」、ウ、、UCシツクス、ヌ、ュ、、ネ、、、ヲ。」

。。、ウ、ホウオヌー、ヘム、、、ニ。「。ヨツクコ゚、ケ、HYB、ホタ、ウヲ、ネシアハフ、ヌ、ュ、ハ、、、隍ヲ、ハ。「、「、・、・ヌ・「・・ユ・。・・ッ・キ・逾ハ・・ニ・」、ヘム、、、ソIDEAL、ホタ、ウヲ、コ、、。ラ、ホ、ヌ、「、。」、筅チ、、。「、ス、ホ、ネ、ュ、ス、ホ・、・ヌ・「・・ユ・。・・ッ・キ・逾ハ・・ニ・」、ホニスミホマ、・チ・ァ・テ・ッ、キ、ニ。「ヒワナ、ヒシアハフ、ヌ、ュ、ハ、、、ォ、ノ、ヲ、ォ、オトマタ、キ、ハ、ア、、ミ、ハ、鬢ハ、、。」A、ネB、ホ、荀シ隍熙ホーナケ讌ラ・・ネ・ウ・、ハ、鬢ミ。「シ。、ホ4、ト、ホセケ遉ヒ、、ア、ニオトマタ、キ、ニ。「、ケ、ル、ニ、ヒ、ェ、、、ニZ、ヒ、ネ、テ、ニシアハフノヤイトヌス、ハ、鬘「UCーツチエ、ネ、ハ、。」

  1. A,B、ホホセハ、ャcorrupt、オ、、ソセケ遑。「ォ、ウ、ホセケ遉ホシツケヤ、マシアハフノヤイトヌス、ヌ、「、、ウ、ネ、マシォフタ、タ、ォ、鬘「ノ眛フ、マセハ、ォ、、。」
  1. A,B、ホホセハ、ャhonest、ホセケ
  2. A、ャcorrupt、オ、。「B、ャhonest、ホセケ
  3. A、ャhonest。「B、ャcorrupt、オ、、ソセケ

・ラ・・ネ・ウ・・ィ・゚・螂。シ・キ・逾

[トオチ]・ラ・・ネ・ウ・・ィ・゚・螂。シ・キ・逾
F1,F2。ァ・、・ヌ・「・・ユ・。・・ッ・キ・逾ハ・・ニ・」
ヲミ1,ヲミ2。ァ・゙・・チ・ム。シ・ニ・」。シ・ラ・・ネ・ウ・
、ネ、ケ、。」
。ヨF1・マ・、・ヨ・・テ・ノ・筵ヌ・、ホ・ラ・・ネ・ウ・ヲミ1、ャ。「F2・マ・、・ヨ・・テ・ノ・筵ヌ・、ホ・ラ・・ネ・ウ・ヲミ2、・ィ・゚・螂。シ・ネ、キ、ニ、、、。ラ;
「ホdef。ヨ\exists~A_1~,~\exists~A_2,~\forall~Z~;HYB_{\pi_{1},A_{1},Z}^{F_{1}}~\approx~HYB_{\pi_{2},A_{2},Z}^{F_{2}}。ラ

。。、ウ、ホ・ィ・゚・螂。シ・キ・逾、マソ莢ワナェ、ヌ、「、。」

。。REAL、ネIDEAL、トセタワネ豕モ、ケ、、ホ、マニ、キ、、、ウ、ネ、ャツソ、、、ホ、ヌ。「エヨ、ヒHYB、ケヘ、ィ、。」
。。ス。ケ、ヒ・ユ・。・・ッ・キ・逾ハ・・ニ・」、カッイス、キ、ソ・筵ヌ・、ケヘ、ィ、ニ。「、ス、、ャソ莢ワナェ、ハ、ホ、ヌ。「、ス、、セ、、ャーツチエ、ハ、鮗ヌスェナェ、ハREAL、ネIDEALエヨ、ヌ、箍ツチエ、ネ、、ォ、。」、ウ、ホタホャ、サネ、ヲ、ソ、皃ヒ、マ。「ネニヘムナェキケ遉ホトヘ、ャノャヘラ、ネ、ハ、。」

ネニヘムナェキケ

[トヘ]ネニヘムナェキケ遑ハUC。ァUniversal composition。ヒ
F,G。ァ・、・ヌ・「・・ユ・。・・ッ・キ・逾ハ・・ニ・」
ヲミ。ァn・ム。シ・ニ・」。シ・ラ・・ネ・ウ・。ハF・マ・、・ヨ・・テ・ノ・筵ヌ・。ヒ
ヲム。ァn・ム。シ・ニ・」。シ・ラ・・ネ・ウ・。ハG・マ・、・ヨ・・テ・ノ・筵ヌ・、ヌ。「F、ーツチエ、ヒシツクス、キ、ニ、、、。ヒ
、ネ、ケ、。」
、ウ、ホ、ネ、ュ。「シ。、ャタョ、ホゥ、ト。」
。ヨG・マ・、・ヨ・・テ・ノ、ホヲミヲム、マ。「F・マ・、・ヨ・・テ・ノ、ホヲミ、・ィ・゚・螂。シ・ネ、キ、ニ、、、。ラ

。。、ウ、ホ・ケ・ニ。シ・ネ・皈・ネ、ャシ酘・、キ、ニ、、、ーユフ」、マ。「ヲム、ヲミ、ホテ讀ヒチネ、゚ケ、、ヌ、筍「チネ、゚ケ、゙、、ソヲム、マF、ーツチエ、ヒハンセレ、ケ、、ネ、、、ヲ、ウ、ネ、ヌ、「、。」、ハ、シ、ウ、、ャエ、キ、、、ォ、ネ、、、ヲ、ネ。「ーネフナェ、ヒーナケ讌ラ・・ネ・ウ・、チネ、゚ケ遉、サ、、ネ。「チネ、゚ケ遉、サ、ソ、ウ、ネ、ヒ、隍ソキ、キ、、タネシ蠡ュ、ャタク、゙、ーツチエタュ、ャ、ハ、ッ、ハ、、ウ、ネ、ャ、「、。」ーツチエタュ、ウホ、ォ、皃、ヒ、マ、゙、ソセレフタ、、キ、ハ、ア、、ミ、ハ、鬢ハ、、。」UCーツチエ、ホセケ遑「UCーツチエ、ャセレフタ、オ、、ソーナケ讌ラ・・ネ・ウ・、ハ、鬢ミ、、、ッ、鮹ネ、゚ケ遉、サ、ニ、筍「チネ、゚ケ遉、オ、、ソキイフ、禧Cーツチエ、ハ、ホ、ヌ、「、。」、ト、゙、鷆Cーツチエ、ャセレフタ、オ、、ソーナケ讌ラ・・ネ・ウ・、・ヨ・・テ・ッ、ホ、隍ヲ、ヒケヘ、ィ。「UCーツチエ、ヌ、「、、ウ、ネ、セレフタ、ケ、、ホ、マニ、キ、、、ャーテカセレフタ、オ、、ニ、キ、゙、ィ、ミーハク蟆ナケ讀ホタ、ウヲ、ヌ、ス、、ササコ、ネ、キ、ニサト、キ、ニ、、、ア、、、ア、ヌ、「、。」

。。、ハ、ェ。「UCーツチエ、ネ、マ。「Z、ヒ、ネ、テ、ニREAL、ネIDEAL、シアハフ、ヌ、ュ、ハ、、、ネ、、、ヲ、ウ、ネ、ヌ、「、。」
。。Z、マハム、ハニホマ、・ラ・・ネ・ウ・、ヒニ、、ニシツケヤ、オ、サ、、ォ、筅キ、、ハ、、。」、ハ、シ、ハ、鬘「ーナケ讌ラ・・ネ・ウ・、ホキイフ、ホスミホマ、ヒREAL、ネIDEAL、ホー网、、ャオッ、ュ、ニ。「シアハフ、ヌ、ュ、、ォ、筅キ、、ハ、、、ォ、鬢タ。」
。。、゙、ソ。「Z、マA、ネ、、、ト、ヌ、筅荀シ隍熙ヌ、ュ。「A、キミヘウ、キ、ニ・ラ・・ネ・ウ・、ヒハム、ハシツケヤ、オ、サ、、ウ、ネ、筅ヌ、ュ、。」、ト、゙、遙「A、ヒ、ネ、テ、ニシォハャ、ャREAL、ホタ、ウヲ、ヒ、、、、ホ、ォ。「IDEAL、ホタ、ウヲ。ハ・キ・゚・螂。シ・ソ、ホテ譯ヒ、ヒ、、、、ホ、ォ、シアハフ、ヌ、ュ、ニ、キ、゙、ィ、ミ。「、ス、、Z、ヒハケ、キ。「キカノZ、ャREAL、ネIDEAL、シアハフ、ヌ、ュ、ソ、ウ、ネ、ヒ、ハ、。」

。。、隍テ、ニ。「UCーツチエ、セレフタ、ケ、、ネ、ュ、マ。「ュ。ーナケ讌ラ・・ネ・ウ・、ホスミホマキイフ。「ュ「A、ヒ、ネ、テ、ニ・キ・゚・螂。シ・ソ、ホテ讀ヌ、「、、ウ、ネ、オ、ノユ、ォ、サ、ハ、、。「、ネ、、、ヲ2、ト、ホ、ウ、ネ、シィ、サ、、ミ、隍、。」、筅チ、、。「A、マcorrupt、ネ、、、ヲケヤール、ャ、ヌ、ュ、、ホ、ヌ。「ーナケ讌ラ・・ネ・ウ・、ホ・ム。シ・ニ・」。シ、corrupt、キ、ソ、ネ、ュ、ネ、キ、ハ、、、ネ、ュ、ヌセケ醋ャ、ア、キ、ニケヘ、ィ、。」

ーユフ」ノユ、ア

ュ。・ラ・・ネ・ウ・タ゚キラ、ホ・筵ク・蝪シ・イス
。。オ。ヌスT、隍遙「・キ・・ラ・、ハ・オ・ヨオ。ヌスT1,。ト,Tk、ヒハャウ荀ヌ、ュ、。」

ュ「ヲミ、、ノ、ホ、隍ヲ、ヒハ」ソイチネ、゚ケ遉、サ、ニ、箍ツチエ。」

。。、ネ、ハ、、ネ。「フ萃熙マ・、・ヌ・「・・ユ・。・・ッ・キ・逾ハ・・ニ・」、、ノ、ヲタ゚キラ、ケ、、ォ、ネ、、、ヲ、ウ、ネ、タ。」

・゙・・チ・サ・テ・キ・逾

UC with joint state。ハJUC。ヒ

。。UC・ェ・レ・。シ・キ・逾、ネ、マ。「F、ホ・ウ・ヤ。シ、・ラ・・ネ・ウ・ヲム、ホーロ、ハ、テ、ソクニ、モスミ、キ、ヒテヨ、ュエケ、ィ、チ犲、ヌ、「、。」

。。、ス、ウ、ヌ。「ヲミヲム、ホ、ケ、ル、ニ、ホクニ、モスミ、キ、マニネホゥ、キ、ニ、、、ノャヘラ、ャ、「、。」

ホ罍ァヲム、ネ、、、ヲーナケ讌ラ・・ネ・ウ・、マ。「テ讀ヌクウォクー、サネ、テ、ニ、、、、ネ、ケ、。」、ケ、、ネ。「ヲミヲム、ニネホゥ、オ、サ、、ヒ、マ。「、ケ、ル、ニスエケ、ィ、ハ、ア、、ミ、ハ、鬢ハ、、サツヨ、ヒ、ハ、。」

。。JUC、マ。「シ。、ホ、隍ヲ、ハヲミ、ネ^ヲム。ハ・。シ・マ・テ・ネ。ヒ、ホ2、ト、ホ・ラ・・ネ・ウ・、サ、ト。」、ト、゙、遙「ヲミ[^ヲム]、ネ、、、ヲ・ラ・・ネ・ウ・、サ、ト。」

ヲミ。ァF・マ・、・ヨ・・テ・ノ、ホ・ラ・・ネ・ウ・
^ヲム。ァ・、・ヌ・「・・ユ・。・・ッ・キ・逾ハ・・ニ・」^F、ーツチエ、ヒシツクス、キ、ニ、、、・ラ・・ネ・ウ・

。。、ウ、ウ、ヌ。「^F、ネ、、、ヲ、ホ、マ。「ハ」ソ、ホF、ハツ、ル、ソ、筅ホ、ヌ、「、。」ーソ、ヌイソネヨフワ、ホF、サネ、ヲ、ォ、ネ、、、ヲ、ウ、ネ、サリト熙ケ、。」

1。ァPi、ホテ讀ヌス鬢皃ニactivate、ケ、、ネ、ュ。「ヲミ[^ヲム]、マ^ヲム、sid 0、ヌクニ、モスミ、ケ。」^ヲム、ホiネヨフワ、ホ・ウ・ヤ。シ、ャPi、ホ・オ・ヨ・。シ・チ・、ネ、キ、ニクニ、ミ、、。」

。。UC、マニアサ、ヒシツケヤイトヌス、ヌ、「、テ、ソ、ォ、鬘「、ウ、、ャ、ヌ、ュ、、、ア、タ。」

。。n・ム。シ・ニ・」。シ、ハ、鬘「nクト、ホITM、ャ、「、、ホ、タ、ォ、鬘「nクト、ホ^ヲム、ヘムーユ、キ、ニ、ェ、ッ。」トセエムナェ、ヒ、、、ヲ、ネ。「100ツ讀ホPC、ャ、「、テ、ソ、ネ、ュ。「、ケ、ル、ニ、ホPC、ヌ・。シ・ラ・、ヘヘム、キ、ソ、、、ハ、鬘「、ス、、セ、、ホPC。ハ・ネ。シ・ソ・、ヌ100ツ譯ヒ、ヒWord、・、・・ケ・ネ。シ・、キ、ニ、ェ、ッ、、ア、タ。」

2。ァヲミ、ャPi、ヒ・皈テ・サ。シ・ク(sid,v)、チ、、隍ヲ、ヒサリシィ、ケ、、ネ、ュ。「ヲミ[^ヲム]、Pi、ヒニホマ(sid0,sid,v)、ヌ^ヲム、ニーコ、ケ、、隍ヲ、ヒサリシィ、ケ、。」

3。ァ^ヲム、ャm、Pi'、ヒチ、熙ソ、、、ネ、ュ。「Pi、マ・皈テ・サ。シ・ク(^ヲム,sid,m)、・「・ヲ・ネ・エ。シ・、・・ー・ニ。シ・ラ、ヒス、ッ。」、ウ、ホ・皈テ・サ。シ・クニ筅ホ。ヨ^ヲム。ラ、マシアハフサメ、ネ、ハ、テ、ニ、、、。」

4。ァPi'、ォ、鬣皈テ・サ。シ・ク(^ヲム,sid,m)、ヌロチ、ケ、、ソ、皃ヒ。「Pi、マ^ヲム、筵、・・ォ・゚・・ー・皈テ・サ。シ・ク(sid,m)、ヌactivate、ケ、。」

5。ァ^ヲム、ャスミホマ(sid,v)、コ、、ネ、ュ。「ヲミ、ャF(sid)、ォ、鬢ホ・、・・ォ・゚・・ー・皈テ・サ。シ・クv、ヌニーコ、、ケ、、隍ヲ、ヒソハ、爍」

・、・ヌ・「・・ユ・。・・ッ・キ・逾ハ・・ニ・」、ホ・゙・・チ・サ・テ・キ・逾ウネト・

F。ァ・、・ヌ・「・・ユ・。・・ッ・キ・逾ハ・・ニ・」

^F。ァF、ホ・゙・・チ・サ・テ・キ・逾ウネト・。」ーソ、マシ。、ホ2、ト、サ、ト。」

  • 。ハF、ヌサネ、、、ニ、、、。ヒSID。ハSession ID。ヒ
  • SSID。ハSub-Session ID。ヒ。甕ID。ゥ

。。(sid,ssid,v)、シ、ア、ソ、ネ、ュ。「^F、マ、゙、コssid、ャF、ホ・ウ・ヤ。シ、ヒチ、テ、ニ、、、、ォ、トエ、ル、。」

。。チ、テ、ニ、、、、ミ。「、ス、ホ(ssid,v)、ホ、゙、゙。「activate、ケ、。」チ、テ、ニ、、、ハ、ア、、ミ。「ソキ、キ、ッ(ssid,v)、コ、テ、ニ。「activate、ケ、。」

。。F、ホ・ウ・ヤ。シ、ャ(ssid,v)、Pi、ヒチ、、ネ、ュ、マ。「^F、ャ(sid,ssid,v)、Pi、ヒチ、テ、ニ。「ssid、ナィ、ヒチ、。ハssid、ア」、オ、ハ、、、ネ、、、ヲーユフ」。ヒ。」イソネヨフワ、ホF、サネ、ヲ、ォ、カオ、ィ、。」、ス、、ャ、ヌ、ュ、ハ、、、ネ。「ヲミ、膺ヲム、ャ、コ、、。」

[トヘ]JUC
F,G。ァ・、・ヌ・「・・ユ・。・・ッ・キ・逾ハ・・ニ・」
ヲミ。ァF・マ・、・ヨ・・テ・ノ、ホ・ラ・・ネ・ウ・
^ヲム。ァG・マ・、・ヨ・・テ・ノ、ホ^F、ーツチエ、ヒシツクス、キ、ニ、、、・ラ・・ネ・ウ・、ネ、ケ、。」
、ウ、ホ、ネ、ュ。「G・マ・、・ヨ・・テ・ノ、ホキケ逾ラ・・ネ・ウ・ヲミ[^ヲム]、マ。「F・マ・、・ヨ・・テ・ノ、ホヲミ、・ィ・゚・螂。シ・ネ、キ、ニ、、、。」

テホ、鬢、ニ、、、キイフ

[トヘ]タオ、キ、ッニーコ、ケ、シヤ、ャイ睚セソ、ホセケ遉マ。「、ノ、ホ、隍ヲ、ハオ。ヌス、禧Cーツチエ、ヒシツクスイトヌス。」

[トヘ]エツク、ホ・ラ・・ネ・ウ・、マUCーツチエ、ヌ、マ、ハ、、

。。・・・、・ヌ・」・・ー、ネシ、ハ、ヲ・ヨ・・テ・ッ・ワ・テ・ッ・ケ・キ・゚・螂。シ・キ・逾、マサネ、ィ、ハ、、。」

[トヘ]・ウ・゚・テ・ネ・皈・ネ・ラ・・ネ・ウ・。「ZKP。「・ウ・、・ナ熙イ・ラ・・ネ・ウ・、マplain・筵ヌ・、ヌUCーツチエ、ヒシツクス、ケ、、ウ、ネ、マ、ヌ、ュ、ハ、、。」

。。plain・筵ヌ・、ヌ、マUCーツチエ、ハcommitment schcme、ケステロ、ヌ、ュ、ハ、、。」

[トヘ]。ヨCRS・筵ヌ・。ァシツクスイト。ラ「ヘ。ヨウニシーナケ讌ラ・・ネ・ウ・。ァシツクスイト。ラ

。。CRS・筵ヌ・、チロト熙ケ、、ハ、鬘「UC commitment scheme、ケステロ、ヌ、ュ。「、ウ、、ノノハ、ネ、キ、ニUC ZKP、ハ、ノ、ケステロ、ヌ、ュ、。」

[トヘ]クウォクーーナケ讀ャUCーツチエ「ホIND/NM-CCA

[トヘ]スフセ、ャUCーツチエ「ホEUF-CMA2

サイケヘハクク・

  • マタハク。ヨUniversally Composable Security:A New Paradigm for Cryptographic Protocols。ラ。ハ2005ヌッ・ミ。シ・ク・逾。ヒ
  • マタハク。ヨUniversally Composable Notions of Key Exchange and Secure Channels。ラ
  • マタハク。ヨUniversal Compositon with Joint State。ラ