Folytonos idejű rends zerek anonimitása

1. Folytonos idejű rendszerek anonimitása Tóth Gergely Konzulens: Hornák Zoltán

2. 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, 2005. február 8. (2) 12. BME-MIT Miniszimpózium, 2005.

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

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

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

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

7. Folytonos idejű mixek • Különböző módszerek anonim üzenetküldésre • Hagyományos mixek • Folytonos idejű mixek • Folytonos idejű mixek • 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, 2005. február 8. (7) 12. BME-MIT Miniszimpózium, 2005.

8. 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ény • Bizonyítottan maximális anonimitást nyújt • Entrópia alapú anonimitási mérték • Poisson eloszlású beérkező üzenetek Tóth Gergely, 2005. február 8. (8) 12. BME-MIT Miniszimpózium, 2005.

9. PROB-csatorna • Valósidejű anonim csatorna • Garantált maximális késleltetés (dmax) • Ké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, 2005. február 8. (9) 12. BME-MIT Miniszimpózium, 2005.

10. Analitikus eredmények • Forrá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, 2005. február 8. (10) 12. BME-MIT Miniszimpózium, 2005.

11. Szimulációk • Az analitikus eredmények nem elég kézzel foghatóak • 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 az összetartozó küldő-üzenet párost • Mérjük a siker arányát Tóth Gergely, 2005. február 8. (11) 12. BME-MIT Miniszimpózium, 2005.

12. Szimulációs eredmények • Az 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, 2005. február 8. (12) 12. BME-MIT Miniszimpózium, 2005.

13. Eredmények jelentősége • Bár az SG-Mix optimalitását bizonyították • Poisson eloszlású üzenetekre • Entrópia alapú anonimitási mértékre • A 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, 2005. február 8. (13) 12. BME-MIT Miniszimpózium, 2005.

14. Összefoglaló • Folytonos 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ás • SG-Mix • PROB-csatorna • Várakozásokkal ellentétben a PROB-csatorna bizonyult jobbnak • További célok: analitikus elemzés elmélyítése Tóth Gergely, 2005. február 8. (14) 12. BME-MIT Miniszimpózium, 2005.