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

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

#contents


*UC、ネ、マ [#f064493b]

。ヲ2001ヌッ、ヒRan Canetti、ヒ、隍テ、ニトセァ、オ、、ソーツチエタュ、ホソキ、キ、、・ム・鬣タ・、・

。ヲテアツホ、ネ、キ、ニハンセレ、オ、、ソーツチエタュ、ャ。「、ノ、ホ、隍ヲ、ハキケ遑ヲヘヘムエトカュ、ヌ、簗ンサ、オ、、。」

。ヲ、ケ、ル、ニ、ホーナケ豬。ヌス、ホーツチエタュ、ナーナェ、ヒトシーイス、ケ、・ユ・。シ・爭。シ・ッ、トカ。、ケ、。」

。ヲUC、マコ」、゙、ヌ、ホーナケ豌ツチエタュヘマタ、ホス、タオ、キ、ソ、筅ホ、ヌ、「、遙「、ウ、、ォ、鬢ホーナケ賚マタ、ホエネラ、ネ、ハ、。」


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

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

|スセヘ隍ホーツチエタュトオチ|「マA。「「ミS|
|UCーツチエ、ホーユフ」、ヌ、ホーツチエタュ|「マA。「「ミS。「「マZ|
 
。。UCーツチエ、ホセケ遉マ・・「・、ネ・、・ヌ・「・、ヒ、ス、、セ、ニア、クZ、ャ、、、ニ。「シアハフ、ヌ、ュ、、ォ、ノ、ヲ、ォ、ヌーツチエタュ、ノセイチ、ケ、。」


*・・「・・鬣、・ユ。ハReal-life。ヒ・筵ヌ・ [#ua432c36]

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

。ヲ・ム。シ・ニ・」。シPSUB{1};,。ト,PSUB{n};。ハ・ラ・・ネ・ウ・ヲミ、シツケヤ。ヒ 

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

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

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

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

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

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

**・ラ・・ネ・ウ・シツケヤ [#qd1309e5]

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

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

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

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

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

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

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

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

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

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

。。(c)corrupt、オ、、ニ、、、ハ、、PSUB{i};、ャactivate、オ、、ソ、ネ、ュ 

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

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

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


。。A、マMITM。ハMan In The Middle。ヒ・「・ソ・テ・ッ、ヒ、ェ、ア、・「・ソ・テ・ォ。シ、ネカ皃、セカキ、ネ、、、ィ、、ャ。「Z、ネ、、、ヲカッ、、・ム。シ・ネ・ハ。シ、筅、、、ホ、ヌ、オ、鬢ヒカッホマ、ハ・「・ソ・テ・ォ。シ、ネ、、、ィ、。」 

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

**トオチ [#p459c207]

[トオチ]

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

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

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

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

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



*・、・ヌ・「・・ラ・・サ・ケ。ハIdeal process。ヒ・筵ヌ・ [#ac9b720d]

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

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

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

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

。ヲ・タ・゚。シ・ム。シ・ニ・」。シ。ァ~PSUB{1};,。ト,~PSUB{n};

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

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

**・、・ヌ・「・・ユ・。・・ッ・キ・逾ハ・・ニ・」 [#sb4187c5]

。。・、・ヌ・「・・ユ・。・・ッ・キ・逾ハ・・ニ・」。ハideal funtionality。ヒF、マ。「セハヘマタナェ、ハーユフ」、ホーツチエタュ、サ、テ、ニ、、、ニ。「シ。、ホ、隍ヲ、ハニテタュ、サ、ト。」

-F、マヘチロナェ、ハソョヘ熙ヌ、ュ、・オ。シ・モ・ケ、トカ。、ケ、。」
-F、マタオナタュ、ネネニソタュ、ホホセハ、ニアサ、ヒツェ、ィ、。」

**・ラ・・ネ・ウ・シツケヤ [#b096e176]
。。・、・ヌ・「・・ラ・・サ・ケ・筵ヌ・、ホ・ラ・・ネ・ウ・シツケヤ、シ。、ヒシィ、ケ。」

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

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

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

。。(b)~PSUB{i};、ャactivate、オ、、ソ、ネ、ュ 

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

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

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

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

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

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

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

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

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

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

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

。。。。(ii)S、マ・皈テ・サ。シ・クm、F、ォ、驃PSUB{i};、リヌロテ」、ケ、。」

。。。。。。。ハ~PSUB{i};、ャcorrupt、オ、、ソセケ遉ス、ュ。ヒm、ホテ豼ネ、マクォ、、ハ、、。」

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

。。。。(iv)S、マ~PSUB{i};、corrupt、ケ、。」

。。。。。。Z、ネF、マ~PSUB{i};、ャcorrupt、オ、、ソ、ウ、ネ、テホ、。」

。。。。。。F、マS、ヒ~PSUB{i};、ホニ篷セツヨ、チ、。」 

。。。。。。、ウ、ーハケ゚。「~PSUB{i};、マactivate、オ、、ハ、、。」 

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

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

。。(e)F、ォ、鬢ホ・皈テ・サ。シ・ク、ヌ~PSUB{i};、ャactivate、オ、、ソ、ネ、ュ 

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

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

。。。。Z、ォ、鬢゚、、ネ。「PSUB{i};。「A、ャ、、、、ホ、ネニア、ク、、ア、タ。」

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


**トオチ [#n5e07242]

[トオチ] 

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

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

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

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

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


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

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

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

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

[トオチ]~
。ヨ&mimetex("X \approx Y ");。ラ
「ホSUP{def};。ヨ&mimetex("\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} ");。ラ~
、ソ、タ、キ。「&mimetex("X = \bigl\{ X(k,a) \bigr\}_{k \in \mathbb{N} , a \in \bigl\{0,1\bigr\}^{n}}");。「&mimetex("Y = \bigl\{ Y(k,a) \bigr\}_{k \in \mathbb{N} , a \in \bigl\{0,1\bigr\}^{n}}");

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

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


[トオチ] 

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

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

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

**エトカュZ [#afa5934a]

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


*F-・マ・、・ヨ・・テ・ノ。ハhybrid。ヒ・筵ヌ・ [#wd2ae2e4]

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

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

。ヲPSUB{1};,。ト,PSUB{n};。ァ・ラ・・ネ・ウ・ヲミ、シツケヤ、キ、ニ、、、・ム。シ・ニ・」。シ

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

。ヲH。ァナィ

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

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

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


**・ラ・・ネ・ウ・シツケヤ [#e6f30715]

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

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

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

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

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

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

。。。。(ii)H、マ・皈テ・サ。シ・ク、・ム。シ・ニ・」。シPSUB{i};、リヌロテ」、ヌ、ュ、。」

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

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

。。。。(v)H、マ・ム。シ・ニ・」。シPSUB{i};、corrupt、ヌ、ュ、。」

。。。。。。H、マ・ラ・・ネ・ウ・ヲミ、ヌ、ホPSUB{i};、ホセツヨ、テホ、。」

。。。。。。、ケ、ル、ニ、ホFSUB{(sid)};、マPSUB{i};、ャcorrupt、オ、、ソ、ウ、ネ、テホ、。」

。。。。。。FSUB{(sid)};、マトノイテセハ、H、ヒチ、。」

。。。。・皈テ・サ。シ・ク、ヌロテ」、キ、ソセケ遉ヒ、マ。「PSUB{i};、゙、ソ、マFSUB{(sid)};、ャシ。、ヒactivate、オ、、。」

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

。。(c)corrupt、オ、、ニ、、、ハ、、PSUB{i};、ャactivate、オ、、ソ、ネ、ュ 

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

。。。。PSUB{i};、マ、メ、ネ、ト、ホFSUB{(sid)};、ヒ・皈テ・サ。シ・ク、ス、ア、。」

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

。。(d)FSUB{(sid)};、ャactivate、オ、、ソ、ネ、ュ

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

。。。。スミホマ、マHキミヘウ、ヌPSUB{i};、リハヨ、オ、、。」

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

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


**トオチ [#v9e8f9b3]

[トオチ] 

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

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

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

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

&mimetex("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、ホクニ、モスミ、キ、・ラ・・ネ・ウ・オッニー、ヒテヨ、ュエケ、ィ、 [#hdb20822]

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

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

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

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

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

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

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

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

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


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

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


*Composition Theorem。ハキケ酘ヘ。ヒ [#x09b2121]


**ーユフ」ノユ、ア [#z2306992]

ュ。・ラ・・ネ・ウ・タ゚キラ、ホ・筵ク・蝪シ・イス~
。。オ。ヌスT、隍遙「・キ・・ラ・、ハ・オ・ヨオ。ヌスTSUB{1};,。ト,TSUB{k};、ヒハャウ荀ヌ、ュ、。」

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

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


*・ラ・・ネ・ウ・・ィ・゚・螂。シ・キ・逾 [#v60d10cb]


*UCシツクス [#z909c15e]


*UC with joint state。ハJUC。ヒ [#k848d764]

**キケ鄰犲。ハcomposition operation。ヒ [#n55bc1e6]

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


*ウニシーナケ讌ラ・・ネ・ウ・、シツクス、ケ、・、・ヌ・「・・ユ・。・・ッ・キ・逾ハ・・ニ・」 [#h7faa010]

**FSUB{KE}; [#iea2d746]

**FSUB{ZK}; [#vf2051f6]


*テホ、鬢、ニ、、、キイフ [#jeb6395a]

**・ム。シ・ニ・」。シ、ホニーコ、ヒエリ、ケ、トヘ [#c7f1ca39]

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

**UCシツクス、ヌ、ュ、ハ、、ーナケ讌ラ・・ネ・ウ・、ヒ、ト、、、ニ [#r1b113ef]

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

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

[トヘ]・ウ・゚・テ・ネ・皈・ネ。「ZK。「・ウ・、・ナ熙イ、マノクス倏ェ、ハUC・筵ヌ・、ヌ、マUCーツチエ、ヒシツクスノヤイトヌス。」

。。、ウ、、魏ナケ讌ラ・・ネ・ウ・、ホツソ、ッ、マカスフ」ソシ、、オ。ヌス、サ、ト。」

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

。。CRS。ハカヲトフサイセネセハ。ヒ・筵ヌ・、ャシツクスイトヌス、ネ、、、ヲチート、ャ、「、、ハ、鬘「UC・ウ・゚・テ・ネ・皈・ネ。「UC ZKP。「ヌ、ーユ、ホ2シヤ・ラ・・ネ・ウ・、マシツクスイトヌス。」


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

**スフセ、ャUCーツチエ「ホEUF-CMA2 [#eb3cda06]


*ーナケ讌ラ・・ネ・ウ・、ホーツチエタュセレフタ、ホ・「・ラ・。シ・チ [#qe7bb2f1]

。。スセヘ隍マキラササマタナェ・「・ラ・。シ・チ、ネソヘナェ・「・ラ・。シ・チ、ホ2、ト、ャツクコ゚、キ、ソ。」

ュ。キラササホフナェ・「・ラ・。シ・チ~
。ヲPPT-TM、ナィ、ホ・筵ヌ・、ネ、キ、ニツェ、ィ、ニ。「、、、ォ、ハ、PPT-TM、ヒツミ、キ、ニ、箍ツチエ、ヌ、「、、ウ、ネ、シィ、ケ。」~
。ヲーナケ讌ウ・゚・螂ヒ・ニ・」、ヌ、マケュ、ッシ、アニ、、鬢、ニ、、、。」~
。ヲセレフタ、ャハ」サィ、ヌ。「セレフタ、ク、熙荀ケ、、。」

ュ「ソヘナェ。ハformal method。ヒ・「・ラ・。シ・チ~
。ヲUC、ホ・マ・、・ヨ・・テ・ノ・筵ヌ・、ネソニマツタュ、ャケ筅、。」~
。ヲツミセン、ネ、ハ、ーナケ讌ラ・・ネ・ウ・、オュケ賽、ヌノスクス、キ。「、ス、ホオュケ賽、ヒツミ、ケ、マタヘナェソ蔆タ、菴エケオャツァ、ハ、ノ、ヒ、隍ーツチエタュ、シィ、ケ。」、隍テ、ニ。「セレフタ、ャフタホニ、ヌ。「シォニーイス、ヌ、ュ、。」

。。、ス、、セ、、ホ・「・ラ・。シ・チ、マートケーテサ、ヌ、「、。」、ス、ウ、ヌコヌカ皃ヌ、マヘサケ遉キ、ソソキ、キ、、・「・ラ・。シ・チ、筅「、。」

。ヲ。ハAbadi-Rogaway 2000。ヒソヘナェ・「・ラ・。シ・チ、ホキチエタュ、シィ、ケ。」~
。ヲ。ハCanetti-Herzog 2006。ヒDolev-Yaoホョ、ホソヘナェ・「・ラ・。シ・チ、ヒ、ェ、、、ニ。「ヘチロナェクウォクーーナケ豬。ヌス。」


*UCーツチエ、ォ、鬢ホネッナク [#o05da421]

|UCーツチエ、ホーユフ」、ヌ、ホーツチエタュ/ES|「マA。「「ミS。「「マZ|
|Relaxed UCーツチエ/rES|「マA。「「ミS。「「マZ。「「ミN&br;、ソ、タ、キ。「N、マ・ホ・・、・・ユ・ゥ・癸シ・キ・逾・ェ・鬣ッ・|
|gES|「マA。ハX。ヒ。「「ミS。ハX。ヒ。「「マZ。ハX。ヒ&br;、ソ、タ、キ。「X、マ。ハ・、・゙・ク・ハ・遙シ。ヒ・ィ・・ク・ァ・|


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

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