{"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\/sv\/blog\/administrirovanie\/issledovanie-sozdanie-ustojchivogo-k-blokirovkam-proksi-servisa-s-pomoshhyu-teorii-igr","title":{"rendered":"Studie: Skapa en blockeringsresistent proxy-tj\u00e4nst med hj\u00e4lp av spelteori","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"

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

F\u00f6r flera \u00e5r sedan genomf\u00f6rde en internationell grupp forskare fr\u00e5n universiteten i Massachusetts, Pennsylvania och tyska M\u00fcnchen en studie<\/a><\/noindex> om effektiviteten av traditionella proxyservrar som ett verktyg f\u00f6r att bek\u00e4mpa censur. Som ett resultat f\u00f6reslog forskarna en ny metod f\u00f6r att kringg\u00e5 blockerningar, baserad p\u00e5 spelteori. Vi har f\u00f6rberett en anpassad \u00f6vers\u00e4ttning av huvudpunkterna i detta arbete.<\/a><\/noindex><\/p>\n

Introduktion<\/h2>\n

\nTillv\u00e4gag\u00e5ngss\u00e4ttet f\u00f6r popul\u00e4ra verktyg f\u00f6r att kringg\u00e5 blockeringar, som Tor, baseras p\u00e5 privat och selektiv f\u00f6rdelning av proxy-IP-adresser mellan anv\u00e4ndare fr\u00e5n blockerade regioner. Som ett resultat m\u00e5ste anv\u00e4ndarna f\u00f6rbli oigenk\u00e4nnliga f\u00f6r organisationer eller myndigheter som inf\u00f6r blockeringar. I Tors fall kallas s\u00e5dana proxy-f\u00f6rdelare f\u00f6r broar. <\/p>\n

Ett centralt problem med s\u00e5dana tj\u00e4nster \u00e4r insiderattacker. Agenter som ansvarar f\u00f6r blockeringar kan sj\u00e4lva anv\u00e4nda proxyservrar f\u00f6r att f\u00e5 veta deras adresser och blockera dem. F\u00f6r att minimera risken f\u00f6r att proxyservrar ska uppt\u00e4ckas anv\u00e4nder verktyg f\u00f6r att kringg\u00e5 blockeringar olika mekanismer f\u00f6r adresstilldelning.<\/p>\n

Samtidigt anv\u00e4nds en metod som kallas ad hoc-heuristik, som kan kringg\u00e5s. F\u00f6r att l\u00f6sa detta problem beslutade forskarna att representera kampen mellan blockeringsmyndigheter och verktyg f\u00f6r att kringg\u00e5 blockeringar som ett spel. Genom att anv\u00e4nda spelteori utvecklade de optimala beteendestrategier f\u00f6r varje sida - s\u00e4rskilt gjorde detta det m\u00f6jligt att utarbeta en mekanism f\u00f6r f\u00f6rdelning av proxyservrar.<\/p>\n

Hur traditionella system f\u00f6r att kringg\u00e5 blockeringar fungerar<\/h2>\n

\nVerktyg f\u00f6r att kringg\u00e5 blockeringar, s\u00e5som Tor, Lantern och Psiphon, anv\u00e4nder ett antal proxyservrar utanf\u00f6r de begr\u00e4nsade regionerna, som anv\u00e4nds f\u00f6r att dirigera anv\u00e4ndarnas trafik fr\u00e5n dessa regioner och leverera den till blockerade resurser.<\/p>\n

Om censurmyndigheterna f\u00e5r k\u00e4nnedom om IP-adressen f\u00f6r en s\u00e5dan proxy - till exempel efter att de sj\u00e4lva har anv\u00e4nt den - \u00e4r det enkelt att s\u00e4tta den p\u00e5 svarta listan och blockera den. D\u00e4rf\u00f6r avsl\u00f6jas i praktiken IP-adresserna f\u00f6r s\u00e5dana proxyservrar aldrig, och tilldelningen av anv\u00e4ndare till en viss proxy sker genom olika mekanismer. Till exempel har Tor ett system f\u00f6r broar. <\/p>\n

Det vill s\u00e4ga, huvuduppgiften \u00e4r att ge anv\u00e4ndarna tillg\u00e5ng till blockerade resurser och minimera risken f\u00f6r att proxyadressen avsl\u00f6jas.<\/p>\n

Att l\u00f6sa denna uppgift i praktiken \u00e4r inte s\u00e5 enkelt \u2013 det \u00e4r mycket sv\u00e5rt att med h\u00f6g precision s\u00e4rskilja vanliga anv\u00e4ndare fr\u00e5n censurerande akt\u00f6rer som d\u00f6ljer sig f\u00f6r dem. F\u00f6r att d\u00f6lja information anv\u00e4nds heuristiska mekanismer. Till exempel begr\u00e4nsar Tor antalet IP-adresser f\u00f6r bryggor som \u00e4r tillg\u00e4ngliga f\u00f6r kunder till tre per beg\u00e4ran. <\/p>\n

Det hindrade inte de kinesiska myndigheterna fr\u00e5n att snabbt ber\u00e4kna alla Tor-bryggor. Att inf\u00f6ra ytterligare begr\u00e4nsningar skulle allvarligt p\u00e5verka anv\u00e4ndarv\u00e4nligheten hos systemet f\u00f6r att kringg\u00e5 blockerade sidor, det vill s\u00e4ga vissa anv\u00e4ndare skulle inte kunna f\u00e5 tillg\u00e5ng till proxyn. <\/p>\n

Hur spelteori l\u00f6ser detta problem<\/h2>\n

\nMetoden som beskrivs i arbetet bygger p\u00e5 det s\u00e5 kallade 'college admissions game'. Dessutom antas det att de internet-censurerande akt\u00f6rerna kan kommunicera med varandra i realtid och anv\u00e4nda komplex taktik \u2013 till exempel att inte blockera proxyn omedelbart, eller att g\u00f6ra det \u00f6gonblickligen beroende p\u00e5 olika omst\u00e4ndigheter.<\/p>\n

Hur antagning till college fungerar
\n<\/h3>\n

\nL\u00e5t oss anta att vi har n studenter och m college. Varje student g\u00f6r sin lista \u00f6ver preferenser bland utbildningsinstitutionerna, baserat p\u00e5 vissa kriterier (det vill s\u00e4ga endast college d\u00e4r ans\u00f6kningar har inkommit rankas). \u00c5 andra sidan rankar \u00e4ven collegena de studenter som ans\u00f6kt, baserat p\u00e5 sina egna preferenser.<\/p>\n

F\u00f6rst och fr\u00e4mst sorterar collegiet bort dem som inte uppfyller urvalscriteria \u2013 de tas inte ens in om det finns ett underskott. D\u00e4refter v\u00e4ljs de antagna ut med en algoritm som beaktar de n\u00f6dv\u00e4ndiga parametrarna. <\/p>\n

Det kan finnas 'instabila antagningar' \u2013 till exempel, om det finns tv\u00e5 studenter 1 och 2, som antagits till collegena a och b respektive, men den andra studenten skulle vilja studera vid collegiet a. I det beskrivna experimentet beaktades endast stabila kopplingar mellan objekten.<\/p>\n

Algoritmen f\u00f6r f\u00f6rdr\u00f6jd antagning<\/h3>\n

\nSom n\u00e4mnt tidigare finns det ett visst antal studenter som h\u00f6gskolan inte kommer att acceptera under n\u00e5gra omst\u00e4ndigheter. D\u00e4rf\u00f6r g\u00f6rs det i algoritmen f\u00f6r uppskjutet antagande antagandet att dessa studenter inte f\u00e5r ans\u00f6ka om plats vid denna h\u00f6gskola. I det fallet f\u00f6rs\u00f6ker alla studenter att s\u00f6ka till de h\u00f6gskolor de gillar mest.<\/p>\n

Utbildningsinstitutionen, som har kapacitet f\u00f6r q studenter, inkluderar q personer med h\u00f6gst betyg i sin v\u00e4ntelista baserat p\u00e5 sina kriterier eller alla, om antalet s\u00f6kande \u00e4r mindre \u00e4n antalet lediga platser. De andra f\u00e5r avslag, och dessa studenter ans\u00f6ker till n\u00e4sta h\u00f6gskola p\u00e5 sin preferenslista. Denna h\u00f6gskola v\u00e4ljer ocks\u00e5 ut q studenter med h\u00f6gst betyg bland dem som ans\u00f6kte direkt och dem som inte blev antagna av den f\u00f6rsta h\u00f6gskolan. \u00c5terigen passerar ett visst antal personer inte. <\/p>\n

Proceduren avslutas n\u00e4r varje student har hamnat i en v\u00e4ntelista hos n\u00e5gon h\u00f6gskola eller har f\u00e5tt avslag fr\u00e5n alla utbildningar de kunde s\u00f6ka till. Slutligen antas alla fr\u00e5n de v\u00e4ntelistorna av h\u00f6gskolorna.<\/p>\n

Vad har proxy att g\u00f6ra med detta?<\/h3>\n

\nGenom att dra paralleller med studenter och h\u00f6gskolor har forskarna tilldelat varje klient en specifik proxy. Resultatet blev ett spel som kallas proxy tilldelningsspel. Klienterna, inklusive potentiella censuragenter, fungerar som studenter som vill veta adressen till proxies, som spelar rollen som h\u00f6gskolor \u2013 de har en f\u00f6rutbest\u00e4md, begr\u00e4nsad kapacitet. <\/p>\n

I den beskrivna modellen finns det n anv\u00e4ndare (klienter) A =
\n{a1, a2, …, an}, \u043a\u043e\u0442\u043e\u0440\u044b\u0435 \u0437\u0430\u043f\u0440\u0430\u0448\u0438\u0432\u0430\u044e\u0442 \u0434\u043e\u0441\u0442\u0443\u043f \u043a \u043f\u0440\u043e\u043a\u0441\u0438 \u0434\u043b\u044f \u043e\u0431\u0445\u043e\u0434\u0430 \u0431\u043b\u043e\u043a\u0438\u0440\u043e\u0432\u043e\u043a. \u0422\u0430\u043a\u0438\u043c \u043e\u0431\u0440\u0430\u0437\u043e\u043c ai \u2013 \u044d\u0442\u043e \u0438\u0434\u0435\u043d\u0442\u0438\u0444\u0438\u043a\u0430\u0442\u043e\u0440 \u00ab\u0438\u0442\u043e\u0433\u043e\u00bb \u043a\u043b\u0438\u0435\u043d\u0442\u0430. \u0421\u0440\u0435\u0434\u0438 \u044d\u0442\u0438\u0445 n \u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u0442\u0435\u043b\u0435\u0439, m \u2013 \u044d\u0442\u043e \u0430\u0433\u0435\u043d\u0442\u044b-\u0446\u0435\u043d\u0437\u043e\u0440\u044b, \u043e\u0431\u043e\u0437\u043d\u0430\u0447\u0430\u0435\u043c\u044b\u0435 \u043a\u0430\u043a J = {j1, j2, …, jm}, \u043e\u0441\u0442\u0430\u043b\u044c\u043d\u044b\u0435 \u2013 \u043e\u0431\u044b\u0447\u043d\u044b\u0435 \u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u0442\u0435\u043b\u0438. \u0412\u0441\u0435 m \u0430\u0433\u0435\u043d\u0442\u043e\u0432 \u043a\u043e\u043d\u0442\u0440\u043e\u043b\u0438\u0440\u0443\u044e\u0442\u0441\u044f \u0446\u0435\u043d\u0442\u0440\u0430\u043b\u044c\u043d\u044b\u043c \u043e\u0440\u0433\u0430\u043d\u043e\u043c \u0438 \u043f\u043e\u043b\u0443\u0447\u0430\u044e\u0442 \u043e\u0442 \u043d\u0435\u0433\u043e \u0438\u043d\u0441\u0442\u0440\u0443\u043a\u0446\u0438\u0438. <\/p>\n

\u0422\u0430\u043a\u0436\u0435 \u0441\u0447\u0438\u0442\u0430\u0435\u0442\u0441\u044f, \u0447\u0442\u043e \u0435\u0441\u0442\u044c \u043d\u0430\u0431\u043e\u0440 \u043f\u0440\u043e\u043a\u0441\u0438 P = {p1, p2, …, pl}. \u041f\u043e\u0441\u043b\u0435 \u043a\u0430\u0436\u0434\u043e\u0433\u043e \u0437\u0430\u043f\u0440\u043e\u0441\u0430 \u043a\u043b\u0438\u0435\u043d\u0442 \u043f\u043e\u043b\u0443\u0447\u0430\u0435\u0442 \u043e\u0442 \u043e\u0431\u044a\u0435\u043a\u0442\u0430-\u0434\u0438\u0441\u0442\u0440\u0438\u0431\u0443\u0442\u043e\u0440\u0430 \u0438\u043d\u0444\u043e\u0440\u043c\u0430\u0446\u0438\u044e (IP-\u0430\u0434\u0440\u0435\u0441) \u043e k \u043f\u0440\u043e\u043a\u0441\u0438. \u0412\u0440\u0435\u043c\u044f \u0434\u0435\u043b\u0438\u0442\u0441\u044f \u043d\u0430 \u0438\u043d\u0442\u0435\u0440\u0432\u0430\u043b\u044b-\u0441\u0442\u0430\u0434\u0438\u0438, \u043e\u0431\u043e\u0437\u043d\u0430\u0447\u0430\u0435\u043c\u044b\u0435 \u043a\u0430\u043a t (\u0438\u0433\u0440\u0430 \u043d\u0430\u0447\u0438\u043d\u0430\u0435\u0442\u0441\u044f \u043f\u0440\u0438 t=0). <\/p>\n

Varje klient anv\u00e4nder en po\u00e4ngs\u00e4ttningsfunktion f\u00f6r att utv\u00e4rdera proxies. Forskare anv\u00e4nde en funktion \"Studie:, f\u00f6r att markera det betyg som AI-anv\u00e4ndaren har gett proxyn px p\u00e5 stadiet t. P\u00e5 samma s\u00e4tt anv\u00e4nder varje proxy en funktion f\u00f6r att utv\u00e4rdera kunderna. Det vill s\u00e4ga \"Studie: \u2013 betyget som proxyn px har gett kunden ai p\u00e5 stadiet t.<\/p>\n

Det \u00e4r viktigt att komma ih\u00e5g att hela spelet \u00e4r virtuellt, det vill s\u00e4ga att det \u00e4r \"distribut\u00f6ren\" som spelar p\u00e5 uppdrag av proxy och kunder. F\u00f6r detta beh\u00f6ver de inte veta vilken typ av kund det \u00e4r, eller deras preferenser ang\u00e5ende proxy. I varje stadium p\u00e5g\u00e5r ett spel, och en algoritm f\u00f6r uppskjuten beslutsfattande anv\u00e4nds ocks\u00e5. <\/p>\n

Resultat<\/h2>\n

\nEnligt resultat fr\u00e5n simuleringar har metoden som anv\u00e4nder spelteori visat sig vara mer effektiv j\u00e4mf\u00f6rt med k\u00e4nda system f\u00f6r att kringg\u00e5 blockeringar.<\/p>\n

\"Studie:
\n
\nJ\u00e4mf\u00f6relse med VPN-tj\u00e4nsten rBridge<\/i><\/p>\n

D\u00e4rut\u00f6ver har forskarna identifierat flera viktiga punkter som kan p\u00e5verka kvaliteten p\u00e5 s\u00e5dana systems funktion:<\/p>\n