、ウ、ホ・レ。シ・ク、、マ、ニ、ハ・ヨ・テ・ッ・゙。シ・ッ、ヒトノイテ、ウ、ホ・レ。シ・ク、エ゙、爨マ、ニ、ハ・ヨ・テ・ッ・゙。シ・ッ 、ウ、ホ・レ。シ・ク、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]

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

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

&mimetex("\forall A , \exists S, \forall Z ;HYB_{\rho,A,Z}^{G} \approx IDEAL_{F,S,Z}");

「ヘ

&mimetex("\forall A , \exists S, \forall Z ;HYB_{\pi^{\rho},A,Z}^{G} \approx HYD_{\pi,S,Z}^{F}");

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

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

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


***UCシツクス [#f29f5908]

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

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

「ヘ

&mimetex("\forall A , \exists S, \forall Z ;REAL_{\pi^{\rho},A,Z} \approx HYB_{\pi,S,Z}^{F}");

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

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

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


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

&mimetex("REAL_{\pi^{\rho},A,Z} \approx IDEAL_{F_{\pi},\tilde{S},Z}");

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

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

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

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

[トオチ]・ラ・・ネ・ウ・・ィ・゚・螂。シ・キ・逾~
FSUB{1};,FSUB{2};。ァ・、・ヌ・「・・ユ・。・・ッ・キ・逾ハ・・ニ・」~
ヲミSUB{1};,ヲミSUB{2};。ァ・゙・・チ・ム。シ・ニ・」。シ・ラ・・ネ・ウ・~
、ネ、ケ、。」~
。ヨFSUB{1};・マ・、・ヨ・・テ・ノ・筵ヌ・、ホ・ラ・・ネ・ウ・ヲミSUB{1};、ャ。「FSUB{2};・マ・、・ヨ・・テ・ノ・筵ヌ・、ホ・ラ・・ネ・ウ・ヲミSUB{2};、・ィ・゚・螂。シ・ネ、キ、ニ、、、。ラ;~
「ホSUP{def};。ヨ&mimetex("\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エヨ、ヌ、箍ツチエ、ネ、、ォ、。」、ウ、ホタホャ、サネ、ヲ、ソ、皃ヒ、マ。「ネニヘムナェキケ遉ホトヘ、ャノャヘラ、ネ、ハ、。」

**ネニヘムナェキケ [#wf57b3c3]

[トヘ]ネニヘムナェキケ遑ハUC。ァUniversal composition。ヒ~
F,G。ァ・、・ヌ・「・・ユ・。・・ッ・キ・逾ハ・・ニ・」~
ヲミ。ァn・ム。シ・ニ・」。シ・ラ・・ネ・ウ・。ハF・マ・、・ヨ・・テ・ノ・筵ヌ・。ヒ~
ヲム。ァn・ム。シ・ニ・」。シ・ラ・・ネ・ウ・。ハG・マ・、・ヨ・・テ・ノ・筵ヌ・、ヌ。「F、ーツチエ、ヒシツクス、キ、ニ、、、。ヒ~
、ネ、ケ、。」~
、ウ、ホ、ネ、ュ。「シ。、ャタョ、ホゥ、ト。」~
。ヨG・マ・、・ヨ・・テ・ノ、ホヲミSUP{ヲム};、マ。「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、キ、ソ、ネ、ュ、ネ、キ、ハ、、、ネ、ュ、ヌセケ醋ャ、ア、キ、ニケヘ、ィ、。」

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

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

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

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

*・゙・・チ・サ・テ・キ・逾 [#gc4f5703]

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

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

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

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


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

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

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


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

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

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

2。ァヲミ、ャPSUB{i};、ヒ・皈テ・サ。シ・ク(sid,v)、チ、、隍ヲ、ヒサリシィ、ケ、、ネ、ュ。「ヲミSUP{[^ヲム]};、PSUB{i};、ヒニホマ(sidSUB{0};,sid,v)、ヌ^ヲム、ニーコ、ケ、、隍ヲ、ヒサリシィ、ケ、。」

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

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

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


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

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)、PSUB{i};、ヒチ、、ネ、ュ、マ。「^F、ャ(sid,ssid,v)、PSUB{i};、ヒチ、テ、ニ。「ssid、ナィ、ヒチ、。ハssid、ア」、オ、ハ、、、ネ、、、ヲーユフ」。ヒ。」イソネヨフワ、ホF、サネ、ヲ、ォ、カオ、ィ、。」、ス、、ャ、ヌ、ュ、ハ、、、ネ。「ヲミ、膺ヲム、ャ、コ、、。」

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


*UM、ネAM [#z11c2f53]

。。AM、ホトオチ、ママタハク[CK01]、ヌトオチ、オ、、ニ、、、、ャ。「AM、[[F_AUTH]]、サネ、テ、ソ・マ・、・ヨ・・テ・ノ・筵ヌ・、ネ、キ、ニコニトオチ、ヌ、ュ、。」

。。AM、ヌ、マ。「セ、ヒFSUB{AUTH};、サネヘム、キ。「UM、ヌ、マコヌス鬢ホク。セレ、ホクー、ホクエケ、ホ、ネ、ュ、ホ、゚サネヘム、オ、、。」

。。テア、ヒ。ハイソ、ォニテハフ、ハ、ウ、ネ、、キ、ハ、、クツ、遙ヒチネ、゚ケ遉、サ、ソ、餠M、ヌ、マ、ハ、ッ、ハ、。」、ハ、シ、ハ、鬘「ス魘イス、ャ、ス、ホナヤナルナミセ、ケ、、ォ、鬘」


*テホ、鬢、ニ、、、キイフ [#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ーツチエ|「マA。「「ミS。「「マZ。「「ミN&br;、ソ、タ、キ。「N、マ・ホ・・、・・ユ・ゥ・癸シ・キ・逾・ェ・鬣ッ・|
|rES|「マA。「「ミS。ハStrong。ヒ。「「マZ|
|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。ラ