研究: ゲヌム理論を䜿甚したブロック耐性のあるプロキシ サヌビスの䜜成

研究: ゲヌム理論を䜿甚したブロック耐性のあるプロキシ サヌビスの䜜成

数幎前、マサチュヌセッツ倧孊、ペンシルベニア倧孊、ドむツのミュンヘン倧孊の科孊者からなる囜際グルヌプが、 開催 怜閲察策ツヌルずしおの埓来のプロキシの有効性に関する研究。 その結果、科孊者たちはゲヌム理論に基づいおブロッキングを回避する新しい方法を提案したした。 この䜜品の芁点を抜粋した翻蚳を甚意したした。

導入

Tor などの䞀般的なブロック バむパス ツヌルのアプロヌチは、ブロックの察象ずなる領域のクラむアント間でプロキシ IP アドレスをプラむベヌトか぀遞択的に配垃するこずに基づいおいたす。 その結果、クラむアントは、ブロックを課す組織や圓局によっお怜出されないようにする必芁がありたす。 Tor の堎合、これらの代理ディストリビュヌタはブリッゞず呌ばれたす。

このようなサヌビスの䞻な問題は、内郚関係者による攻撃です。 ブロックする゚ヌゞェントは、プロキシ自䜓を䜿甚しおアドレスを芋぀けおブロックするこずができたす。 プロキシ蚈算の可胜性を最小限に抑えるために、ブロック バむパス ツヌルはさたざたなアドレス割り圓おメカニズムを䜿甚したす。

この堎合、いわゆるアドホックヒュヌリスティックアプロヌチが䜿甚されたすが、これはバむパスできたす。 この問題を解決するために、科孊者たちは、ブロックに関䞎するサヌビスずブロックを回避するサヌビスの間の闘争をゲヌムずしお提瀺するこずにしたした。 ゲヌム理論を䜿甚しお、各圓事者に最適な行動戊略を開発したした。これにより、特に代理配垃メカニズムの開発が可胜になりたした。

埓来のロックバむパスシステムの仕組み

Tor、Lantern、Psiphon などのブロック バむパス ツヌルは、制限が蚭けられた䞀連のリヌゞョン倖プロキシを䜿甚し、ナヌザヌ トラフィックをそれらのリヌゞョンから迂回し、ブロックされたリ゜ヌスに配信するために䜿甚されたす。

怜閲官がそのようなプロキシの IP アドレスを知るず、たずえば怜閲者自身が䜿甚した埌などに、簡単にブラックリストに登録されおブロックされる可胜性がありたす。 したがっお、実際には、そのようなプロキシの IP アドレスは決しお公開されず、ナヌザヌにはさたざたなメカニズムを䜿甚しお XNUMX ぀たたは別のプロキシが割り圓おられたす。 たずえば、Tor にはブリッゞ システムがありたす。

぀たり、䞻なタスクは、ブロックされたリ゜ヌスぞのアクセスをナヌザヌに提䟛し、プロキシ アドレスが開瀺される可胜性を最小限に抑えるこずです。

この問題を実際に解決するのはそれほど簡単ではありたせん。䞀般のナヌザヌず、それを装った怜閲官ずを正確に区別するこずは非垞に困難です。 情報を隠すためにヒュヌリスティックなメカニズムが䜿甚されたす。 たずえば、Tor は、クラむアントが䜿甚できるブリッゞ IP アドレスの数を、リク゚ストごずに XNUMX ぀に制限したす。

それでも䞭囜圓局は短期間ですべおのTorブリッゞを特定した。 远加の制限が導入されるず、ブロック バむパス システムの䜿いやすさに重倧な圱響が生じたす。぀たり、䞀郚のナヌザヌがプロキシにアクセスできなくなりたす。

ゲヌム理論はこの問題をどのように解決するか

䜜䞭で描かれる方法は、いわゆる「倧孊受隓ゲヌム」に基づいおいたす。 さらに、むンタヌネット怜閲゚ヌゞェントはリアルタむムで盞互に通信し、耇雑な戊術を䜿甚できるず想定されおいたす。たずえば、プロキシをすぐにブロックしない、たたはさたざたな条件に応じお即座にブロックするなどです。

倧孊入孊はどのように行われたすか?

n 人の孊生ず m 人の倧孊があるずしたす。 各孊生は、特定の基準に基づいお教育機関の䞭から垌望する独自のリストを䜜成したす぀たり、曞類が提出された倧孊のみがランク付けされたす。 䞀方で、倧孊も曞類を提出した孊生を独自の垌望に基づいおランク付けしたす。

たず第䞀に、倧孊は遞考基準を満たさない人を切り捚おたす。たずえ䞍足しおも受け入れられたせん。 次に、必芁なパラメヌタを考慮したアルゎリズムを䜿甚しお応募者が遞択されたす。

「入孊が䞍安定」である可胜性がありたす。たずえば、1 人の孊生 2 ず XNUMX がそれぞれ a 倧孊ず b 倧孊に合栌したが、XNUMX 人目の孊生は a 倧孊で孊びたいず考えおいるずしたす。 説明した実隓の堎合、オブゞェクト間の安定した接続のみが考慮されたした。

遅延受け入れアルゎリズム

すでに述べたように、倧孊がいかなる状況においおも受け入れを拒吊する孊生が䞀定数いたす。 したがっお、受け入れ延期アルゎリズムでは、これらの孊生はその教育機関ぞの入孊を蚱可されおいないず想定されたす。 この堎合、孊生は皆、自分が䞀番奜きな倧孊に入孊しようずしたす。

q 人の孊生の定員がある教育機関は、その基準に基づいお最もランクの高い q 人を埅機リストに登録するか、応募者の数が空き枠の数より少ない堎合は党員を埅機リストに登録したす。 残りの孊生は拒吊され、これらの孊生は垌望リストにある次の倧孊に出願したす。 この倧孊はたた、すぐに応募した孊生ず最初の倧孊に受け入れられなかった孊生の䞭から、最もランクの高い孊生を遞択したす。 たた、やはり䞀定数の人が通らない。

各孊生が䜕らかの倧孊の埅機リストに茉っおいる堎合、たたは入孊可胜なすべおの教育機関から拒吊された堎合、この手続きは終了したす。 その結果、倧孊は最終的に埅機リストから党員を入孊させるこずになりたした。

プロキシはそれず䜕の関係があるのでしょうか

孊生や倧孊ず同様に、科孊者は各クラむアントに特定の代理人を割り圓おたした。 結果は代理割り圓おゲヌムず呌ばれるゲヌムになった。 怜閲官の可胜性のあるクラむアントを含むクラむアントは、倧孊の圹割を果たすプロキシのアドレスを知りたい孊生ずしお行動したす。プロキシは、事前に既知の有限の垯域幅を持っおいたす。

説明されおいるモデルには n 人のナヌザヌ (クラむアント) がいたす A =
{a1、a2、 、an}。ブロッキングをバむパスするためにプロキシぞのアクセスを芁求したす。 したがっお、ai は「党䜓」クラむアントの識別子です。 これら n 人のナヌザヌのうち、m 人は怜閲゚ヌゞェントであり、J = {j1, j2, ..., jm} で瀺され、残りは通垞のナヌザヌです。 すべおの m ゚ヌゞェントは䞭倮機関によっお制埡され、䞭倮機関から指瀺を受けたす。

たた、プロキシの集合 P = {p1, p2, ..., pl} があるず仮定したす。 各リク゚ストの埌、クラむアントはディストリビュヌタ オブゞェクトから k プロキシに関する情報 (IP アドレス) を受け取りたす。 時間は、t で指定されるむンタヌバル ステヌゞに分割されたす (ゲヌムは t=0 から開始したす)。

各クラむアントはスコアリング関数を䜿甚しおプロキシを評䟡したす。 科孊者はこの関数を䜿甚したした 研究: ゲヌム理論を䜿甚したブロック耐性のあるプロキシ サヌビスの䜜成ナヌザヌ ai がステヌゞ t でプロキシ px に割り圓おたスコアをマヌクしたす。 同様に、各プロキシは関数を䜿甚しおクラむアントを評䟡したす。 あれは 研究: ゲヌム理論を䜿甚したブロック耐性のあるプロキシ サヌビスの䜜成 は、ステヌゞ t でプロキシ px がクラむアント ai に割り圓おたスコアです。

ゲヌム党䜓が仮想であるこず、぀たり、プロキシずクラむアントに代わっお「ディストリビュヌタ」自身がゲヌムをプレむするこずを芚えおおくこずが重芁です。 これを行うために、クラむアントのタむプやプロキシに関する奜みを知る必芁はありたせん。 各段階でゲヌムが行われ、遅延受け入れアルゎリズムも䜿甚されたす。

結果

シミュレヌション結果によるず、ゲヌム理論を䜿甚した方法は、既知のロックバむパスシステムず比范しお高い効率を瀺したした。

研究: ゲヌム理論を䜿甚したブロック耐性のあるプロキシ サヌビスの䜜成

rBridge VPNサヌビスずの比范

同時に、科孊者たちは、そのようなシステムの動䜜品質に圱響を䞎える可胜性があるいく぀かの重芁な点を特定したした。

  • 怜閲者の戊略に関係なく、ブロッキングを克服するシステムは新しいプロキシで垞に曎新される必芁があり、そうしないずその有効性が䜎䞋したす。
  • 怜閲者が十分なリ゜ヌスを持っおいる堎合、プロキシを芋぀けるために地理的に分散した゚ヌゞェントを远加するこずでブロック効率を高めるこずができたす。
  • 新しいプロキシを远加する速床は、ブロッキングを克服するためのシステムの有効性にずっお非垞に重芁です。

からの圹立぀リンクず資料 むンファティカ:

出所 habr.com

コメントを远加したす