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

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

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

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

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

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

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

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

。。。。(iii)PSUB{i};、corrupt。ハ・ウ・鬣ラ・ネ。ヒ、ケ、。」A、マクスコ゚、ホPSUB{i};、ホセツヨ、テホ、、ウ、ネ、ャ、ヌ、ュ、。」Z、マPi、ャ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、ホエヨ、マフエ、ホ、隍ヲ、ハエーチエ、ハ、荀シ隍熙ャイトヌス、ネ、、、ヲセカキ、ネ、、、ィ、。」


[トオチ]

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 {0,1}^{*}}");



。ハツウ、ッ。ヒ。ト


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

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

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


*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、マ。ハ・、・゙・ク・ハ・遙シ。ヒ・ィ・・ク・ァ・|