Tóth Gergely, február BME-MIT Miniszimpózium, Folytonos idejű rendszerek anonimitása Tóth Gergely Konzulens: Hornák Zoltán

Tóth Gergely, február 8.(2) 12. BME-MIT Miniszimpózium, Tartalom Anonim üzenetküldés Folytonos idejű mixek SG-Mix és a PROB-csatorna összehasonlítása Szimulációk –Peremfeltételek (támadó, forgalom) –Eredmények

Tóth Gergely, február 8.(3) 12. BME-MIT Miniszimpózium, Anonim üzenetküldés Küldők üzeneteketfogadóknak csatornánKüldők üzeneteket küldenek fogadóknak egy csatornán keresztül összetartozásának rejtéseCél: a kézbesített üzenetek és a küldők összetartozásának rejtése

Tóth Gergely, február 8.(4) 12. BME-MIT Miniszimpózium, Anonimitás mérése Anonimitási halmaz méreteAnonimitási halmaz mérete –Nem egyforma valószínűségek? EntrópiaEntrópia –Magas entrópia mellett is léteznek „nem- kívánatos” rendszerek Forrásrejtő tulajdonságForrásrejtő tulajdonság –Figyelembe veszi a felhasználók által képviselt lokális nézőpontot

Tóth Gergely, február 8.(5) 12. BME-MIT Miniszimpózium, Támadó Lokálisan visszakövető passzív támadóLokálisan visszakövető passzív támadó –Látja a teljes forgalmat –Nem tudja a forgalmat módosítani (passzív) függetlenül –Minden üzenetet függetlenül párosít a küldőkhöz

Tóth Gergely, február 8.(6) 12. BME-MIT Miniszimpózium, Üzenetforgalom modellje eloszlásKorábbi publikációkban Poisson eloszlás –Valós életben alkalmazott rendszerek forgalma nem hasonlít rá MIN/MAX küldőkNálunk: MIN/MAX küldők maximális frekvencia –Adott időn belül nem lehet egynél több üzenetet küldeni (  min, maximális frekvencia) minimális frekvencia –Bizonyos időközönként kell üzenetet küldeni (  max, minimális frekvencia) –Garantált anonimitás érhető el (elméletileg)

Tóth Gergely, február 8.(7) 12. BME-MIT Miniszimpózium, Folytonos idejű mixek Különböző módszerek anonim üzenetküldésre –Hagyományos mixek –Folytonos idejű mixek Folytonos idejű mixekFolytonos idejű mixek valószínűségi változó –Késleltetés a csatornában valószínűségi változó –Késleltetés időinvariáns és független más üzenetek érkezésétől

Tóth Gergely, február 8.(8) 12. BME-MIT Miniszimpózium, SG-Mix Valószínűségi anonimitás –Ha egy paraméter lineáris növelésével az anonimitás mértéke exponenciálisan növelhető Exponenciális eloszlásfüggvényExponenciális eloszlásfüggvény BizonyítottanBizonyítottan maximális anonimitást nyújt –Entrópia alapú anonimitási mérték –Poisson eloszlású beérkező üzenetek

Tóth Gergely, február 8.(9) 12. BME-MIT Miniszimpózium, PROB-csatorna ValósidejűValósidejű anonim csatorna –Garantált maximális késleltetés (  max ) egyenletes eloszlásKésleltetés: egyenletes eloszlás –A csatorna határozza meg a késleltetést MIN/MAX üzenetküldés esetén pontosan állítható anonimitási szintet biztosít

Tóth Gergely, február 8.(10) 12. BME-MIT Miniszimpózium, Analitikus eredmények Forrásrejtő tulajdonságForrásrejtő tulajdonság –Garantált maximális valószínűség –MIN/MAX üzenetküldés mellett kifejezhető SG-Mix esetén: PROB-csatorna esetén:

Tóth Gergely, február 8.(11) 12. BME-MIT Miniszimpózium, Szimulációk Az analitikus eredmények nem elég kézzel foghatóak SzimulációSzimuláció –Véletlenszerű üzenetküldés MIN/MAX szabály szerint –A támadó észleli a küldéseket és a kézbesítéseket –Megtippeli –Megtippeli az összetartozó küldő-üzenet párost –Mérjük a siker arányát

Tóth Gergely, február 8.(12) 12. BME-MIT Miniszimpózium, Szimulációs eredmények alulmaradtAz SG-Mix minden szimulált esetben alulmaradt a PROB-csatornával szemben Abszolút különbség (Pozitív szám: jobb találati arány az SG-Mix esetében) Relatív különbség (%)

Tóth Gergely, február 8.(13) 12. BME-MIT Miniszimpózium, Eredmények jelentősége SG-MixBár az SG-Mix optimalitását bizonyították –Poisson eloszlású üzenetekre –Entrópia alapú anonimitási mértékre PROB-csatornaA PROB-csatorna a szimulációk során jobb eredményeket ért el –MIN/MAX küldők esetén –Sikeres párosítások aránya a mérték

Tóth Gergely, február 8.(14) 12. BME-MIT Miniszimpózium, Összefoglaló Folytonos idejű mixekFolytonos idejű mixek –Viszonylag új anonim üzenetküldési terület –Egyszerű működés, viszonylag jó teljesítmény Szimulációs összehasonlításSzimulációs összehasonlítás –SG-Mix –PROB-csatorna –Várakozásokkal ellentétben a PROB-csatorna bizonyult jobbnak További célokTovábbi célok: analitikus elemzés elmélyítése