{"id":34367,"date":"2019-10-31T21:57:56","date_gmt":"2019-10-31T18:57:56","guid":{"rendered":"https:\/\/prohoster.info\/blog\/issledovanie-sozdanie-ustojchivogo-k-blokirovkam-proksi-servisa-s-pomoshhyu-teorii-igr\/"},"modified":"2019-10-31T21:57:56","modified_gmt":"2019-10-31T18:57:56","slug":"issledovanie-sozdanie-ustojchivogo-k-blokirovkam-proksi-servisa-s-pomoshhyu-teorii-igr","status":"publish","type":"post","link":"https:\/\/prohoster.info\/nl\/blog\/administrirovanie\/issledovanie-sozdanie-ustojchivogo-k-blokirovkam-proksi-servisa-s-pomoshhyu-teorii-igr","title":{"rendered":"Onderzoek: het cre\u00ebren van een blokkade-resistente proxy-service met behulp van speltheorie","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"

\"Onderzoek:<\/a><\/noindex><\/p>\n

Enkele jaren geleden voerde een internationale groep wetenschappers van de universiteiten van Massachusetts, Pennsylvania en het Duitse M\u00fcnchen een onderzoek uit<\/a><\/noindex> naar de effectiviteit van traditionele proxy's als een middel tegen censuur. Als resultaat stelden de wetenschappers een nieuwe methode voor om blokkades te omzeilen, gebaseerd op speltheorie. We hebben een aangepaste vertaling van de belangrijkste punten van dit werk voorbereid.<\/a><\/noindex><\/p>\n

Inleiding<\/h2>\n

\nDe benadering van populaire blokkadeomzeilers, zoals Tor, is gebaseerd op het priv\u00e9 en selectief toewijzen van IP-adressen van proxy's aan klanten uit gebieden die aan blokkades zijn onderhevig. Als gevolg hiervan moeten klanten onopgemerkt blijven door de organisaties of instanties die blokkades opleggen. In het geval van Tor worden dergelijke proxy-distributeurs bruggen genoemd. <\/p>\n

Het belangrijkste probleem bij dit soort diensten is de insider-aanval. Agenten die verantwoordelijk zijn voor blokkades kunnen zelf proxy's gebruiken om hun adressen te achterhalen en deze te blokkeren. Om de kans op ontdekking van proxy's te minimaliseren, gebruiken blokkadeomzeilers verschillende mechanismen voor adresallocatie.<\/p>\n

Daartoe wordt de benadering van zogenaamde ad hoc-heuristiek gebruikt, die te omzeilen is. Om dit probleem op te lossen, besloten de wetenschappers om de strijd tussen de diensten die blokkades opleggen en de omzeildiensten als een spel te formuleren. Met behulp van speltheorie ontwikkelden ze optimale gedragsstrategie\u00ebn voor elke partij - dit stelde hen met name in staat om een mechanisme voor proxy-allocatie te ontwikkelen.<\/p>\n

Hoe traditionele blokkadeomzeilsystemen werken<\/h2>\n

\nBlokkadeomzeilers zoals Tor, Lantern en Psiphon gebruiken een aantal proxy's buiten het gebied met opgelegde beperkingen, die worden gebruikt om het verkeer van gebruikers uit deze gebieden om te leiden en te leveren aan geblokkeerde bronnen.<\/p>\n

Als de censoren het IP-adres van zo'n proxy te weten komen - bijvoorbeeld nadat ze deze zelf hebben gebruikt - is het eenvoudig om dit op een zwarte lijst te plaatsen en te blokkeren. Daarom worden in werkelijkheid de IP-adressen van dergelijke proxy's nooit onthuld, en de toewijzing van een proxy aan een gebruiker gebeurt via verschillende mechanismen. Bijvoorbeeld, in Tor is er een systeem van bruggen. <\/p>\n

De belangrijkste taak is dus het bieden van toegang tot geblokkeerde bronnen voor gebruikers en het minimaliseren van de kans op onthulling van het proxy-adres.<\/p>\n

Deze taak in de praktijk oplossen is niet eenvoudig; het is erg moeilijk om gewone gebruikers van censuurders die zich voor hen verstoppen met hoge precisie te onderscheiden. Voor het verbergen van informatie worden heuristische mechanismen gebruikt. Bijvoorbeeld, Tor beperkt het aantal beschikbare IP-adressen van bruggen voor cli\u00ebnten tot drie binnen \u00e9\u00e9n verzoek. <\/p>\n

Dit heeft de Chinese autoriteiten er echter niet van weerhouden om binnen korte tijd alle Tor-bruggen te traceren. Extra beperkingen zouden de gebruiksvriendelijkheid van het omzeilen van blokkades ernstig be\u00efnvloeden, wat betekent dat sommige gebruikers geen toegang tot de proxy zullen krijgen. <\/p>\n

Hoe speltheorie dit probleem oplost<\/h2>\n

\nDe in het werk beschreven methode is gebaseerd op de zogenaamde 'spel van toelating tot colleges' (college admissions game). Daarnaast wordt aangenomen dat internetcensuur-agenten in staat zijn om in real-time met elkaar te communiceren en complexe tactieken te gebruiken \u2013 bijvoorbeeld, het niet onmiddellijk blokkeren van proxies of dit direct te doen, afhankelijk van verschillende omstandigheden.<\/p>\n

Hoe de toelating tot colleges werkt
\n<\/h3>\n

\nStel dat we n studenten en m colleges hebben. Elke student maakt een voorkeurenlijst op van de onderwijsinstellingen, gebaseerd op bepaalde criteria (dat wil zeggen, alleen de colleges waar documenten zijn ingediend worden gerangschikt). Aan de andere kant rangschikken de colleges ook de studenten die documenten hebben ingediend, op basis van hun eigen voorkeuren.<\/p>\n

In eerste instantie sluit het college degenen uit die niet aan de selectiecriteria voldoen \u2013 zij worden niet aangenomen, zelfs niet bij een tekort. Vervolgens worden de aangenomen studenten geselecteerd met een algoritme dat de benodigde parameters in overweging neemt. <\/p>\n

Er kan sprake zijn van 'onstabiele toelatingen' \u2013 bijvoorbeeld, als er twee studenten 1 en 2 zijn die zijn aangenomen door respectievelijk de colleges a en b, maar de tweede student zou graag in college a willen studeren. In het beschreven experiment zijn alleen stabiele connecties tussen de objecten in overweging genomen.<\/p>\n

Het algoritme van uitgestelde acceptatie<\/h3>\n

\nZoals al gezegd, zijn er bepaalde studenten die onder geen enkele omstandigheid door de universiteit zullen worden aangenomen. Daarom gaat het algoritme voor uitgestelde aanvaarding ervan uit dat deze studenten zich niet kunnen aanmelden bij deze instelling. In dat geval proberen alle studenten zich aan te melden bij de colleges die ze het meest aanspreken.<\/p>\n

Een onderwijsinstelling met een capaciteit van q studenten plaatst q personen met de hoogste ranking op een wachtlijst op basis van zijn criteria, of allemaal als het aantal aanmeldingen lager is dan het aantal beschikbare plaatsen. Anderen krijgen een afwijzing en deze studenten dienen een aanvraag in bij de volgende universiteit op hun voorkeurenlijst. Dit college selecteert ook q studenten met de hoogste ranking uit de groep die zich meteen heeft aangemeld en degenen die niet zijn aangenomen door de eerste universiteit. Ook nu weer haalt een aantal mensen de selectie niet. <\/p>\n

De procedure eindigt wanneer iedere student op de wachtlijst van een college staat of wanneer hem in alle onderwijsinstellingen waar hij zich had kunnen aanmelden, een afwijzing is gegeven. Uiteindelijk nemen de universiteiten iedereen in hun wachtlijsten definitief aan.<\/p>\n

Wat heeft proxy hiermee te maken?<\/h3>\n

\nIn navolging van studenten en colleges hebben wetenschappers aan elke klant een bepaalde proxy toegewezen. Dit resulteerde in een spel met de naam proxy assignment game. Klanten, inclusief mogelijke censuuragenten, spelen de rol van studenten die het adres van de proxy willen weten, die de rol van colleges aannemen \u2013 ze hebben een vooraf bekende eindcapaciteit. <\/p>\n

In het beschreven model zijn er n gebruikers (klanten) A = {a1, a2, \u2026, an}, die toegang tot een proxy aanvragen om blokkades te omzeilen. Zo is ai de identificator van de \"totale\" klant. Van deze n gebruikers zijn er m censuuragenten, aangeduid als J = {j1, j2, \u2026, jm}, de overige zijn gewone gebruikers. Alle m agenten worden gecontroleerd door een centrale autoriteit en krijgen instructies van hen.
\n{a1, a2, \u2026, an}, die toegang tot proxy's aanvragen om blokkades te omzeilen. Op deze manier is ai de identificator van de 'totaal' klant. Van deze n gebruikers zijn m de censurerende agenten, aangeduid als J = {j1, j2, \u2026, jm}, de overige zijn gewone gebruikers. Alle m agenten worden gecontroleerd door een centrale autoriteit en ontvangen instructies van hen. <\/p>\n

Er wordt ook aangenomen dat er een set proxy's P = {p1, p2, \u2026, pl} is. Na elke aanvraag ontvangt de klant informatie (IP-adres) over k proxy's van de distributie-object. De tijd wordt verdeeld in intervallen-fases, aangeduid als t (het spel begint bij t=0). <\/p>\n

Elke klant gebruikt de scoringsfunctie om proxies te evalueren. Wetenschappers gebruikten de functie \"Onderzoek:, om de score te markeren die de ai-gebruiker aan de proxy px heeft gegeven in fase t. Evenzo gebruikt elke proxy een functie om klanten te evalueren. Dat wil zeggen, \"Onderzoek: \u2013 de score die de proxy px aan de klant ai heeft gegeven in fase t.<\/p>\n

Het is belangrijk om te onthouden dat het hele spel virtueel is, dat wil zeggen dat de 'distributeur' zelf optreedt namens de proxy en de klanten. Hiervoor hoeft hij niet het type klant te kennen of hun voorkeuren voor proxy's. In elke fase vindt er een spel plaats, waarbij ook een mechanismus voor uitgestelde acceptatie wordt gebruikt. <\/p>\n

Resultaten<\/h2>\n

\nUit simulaties is gebleken dat de methode die gebruikmaakt van speltheorie een hogere effici\u00ebntie vertoont in vergelijking met bekende systemen voor het omzeilen van blokkades.<\/p>\n

\"Onderzoek:
\n
\nVergelijking met VPN-dienst rBridge<\/i><\/p>\n

Desondanks hebben wetenschappers verschillende belangrijke punten ge\u00efdentificeerd die de kwaliteit van de werking van dergelijke systemen kunnen be\u00efnvloeden:<\/p>\n