Thx :-)
Ešte posledný detail k matematicky dokázateľnej bezpečnosti onion routingových sietí:
Takmer všetky bezpečnostné modely predpokladajú existenciu náhodného orákula (http://en.wikipedia.org/wiki/Random_oracle_model). Ak k teórii zložitosti pridáte axiom existencie náhodného orákula, vyjde NP != P (Shoup 1997: Lower Bounds for Discrete Logarithms and Related Problems, http://citeseer.ist.psu.edu/context/47027/140283; a veta Baker-Gill-Solovay 1975, pre popis pozrite napr. sem: http://theory.csail.mit.edu/~madhu/ST05/scribe/lect02.pdf).
Druhá vec je existencia, resp. konštruovateľnosť náhodného orákula v našom bežnom svete. Žiadny konečný algoritmus (napr. pseudonáhodný generátor - PRNG) nemôže byť náhodným orákulom, to je v spore s definíciou náhody (keby som si tak pamätal, kto to definoval). Tá definícia znie zhruba: náhodný reťazec je taký, čo nie je možné zapísať v počte znakov menšom ako dĺžka samotného reťazca. Pretože algoritmus má konečný zápis, nemôže byť náhodné orákulum.
Niečo podobné dostanete, ak si zoberiete deterministický Turingov stroj, dáte mu algoritmus, ktorý zastane práve pre jeden vstup z 1..m, pre ostatné počíta nekonečne dlho (zacyklí sa). Úlohou je napísať algoritmus, ktorý rozhodne v polynomiálnom čase, pre ktorý vstup algoritmus zastane. Pre ten stroj nie je možné napísať konečný algoritmus, ktorý by úlohu vedel vypočítať v polynomiálnom čase vzhľadom k počtu bitov m. Ku každému konečnému algoritmu nájdete protipríklad nejakého špeciálneho PRNG. Toto je vlastne "vyskočenie von z teórie zložitosti", nástrojom je buď diagonalizácia (ako pri halting probléme) alebo transfinitná indukcia.
Po ľudsky povedané, je to dôvod, prečo vždy pri prelomení nejakej ochrany sa vyvinie ochrana nová a tá sa znova prelomí a tak až do nekonečna.
Náhodné orákulum by ste v našom svete najskôr skonštruovali využitím kvantovej teórie. Náhodné generátory založené na tepelnom šume by mohli byť jedným príkladom, niekde som videl náhodný generátor založený na lávovej lampe :-). Ten fungoval tak, že kamera fotila lávové lampy, to sa prehnalo nejakou MD5-kou a výsledok boli nejaké (aspoň zdanlivo) náhodné čísla. Do toho fyzikom radšej vŕtať nebudem.
No hádam mám tú úvahu správne, inak dostanem od logikov po prstoch. Ale risknem to ;-)
Odpověď na názor
Odpovídáte na názor k článku Anonymita a analýza toku dát v p2p sieťach.
Pravidla pro diskutující
Přidáním čtenářského příspěvku do diskusí či fóra souhlasíte s tím, že budete dodržovat následující pravidla. Při jejich hrubém porušení se vystavujete riziku smazání příspěvku, jeho modifikaci, v krajním případě i zablokování přístupu do diskusí.
Redakce ze zásady nezasahuje do čtenářských diskusí a zavazuje se, že nebude mazat ani modifikovat příspěvky, kromě případů, kdy tyto porušují některé z následujících pravidel. V takové situaci je na zvážení redakce, zda příspěvek modifikuje s viditelným upozorněním, či přímo smaže. Redakce nikdy nemaže „nesouhlasné komentáře“ jen proto, že jsou nesouhlasné. Vítáme střet názorů, ale vždy v rámci slušné a kultivované debaty.
Příspěvky nesmí obsahovat:
- Vulgární či hrubé výrazy.
- Urážlivé výroky na adresu druhé osoby či skupiny osob.
- Texty, které mají za cíl jen vyprovokovat emotivní reakci (trolling).
- Rasové útoky či útoky na jakoukoliv jinou menšinu či skupinu obyvatel.
- Komerční nabídky a affiliate odkazy.
- Odkazy na warez, sériová čísla, licenční kódy, pornografii a další nevhodný materiál stejně jako žádosti o poskytnutí tohoto obsahu.
- Prokazatelně protiprávní obsah.
Informace o soukromí: U všech přidaných komentářů provozovatel ukládá IP adresu a hostname odesílatele. U neregistrovaných uživatelů se na webu zobrazuje část hostname, případně IP adresy, neumožňující identifikovat konkrétní počítač.
Povolené značky XHTML: a, br, code, em, li, ol, p, pre, strong, sub, sup, ul
