Názory k článku
FBI zapletena v backdooru IPSec implementace v OpenBSD

Proboha co to je zase za žblebty? To je okopčený z translátoru?

no spis me teda udivuje proc redakce odranila otaznik z nadpisu zpravicky? aby to bylo vice bulvarni? nechapu.

Souhlasím s Vámi, každopádně si budete muset zvyknout, že odborné znalosti pisatelů na tomto odborném serveru většinou neznamenají i jazykovou vzdělanost a že je to tu bráno za standard. Osobně to řeším tak, že drobné chyby přecházím, při hrubých přeskakuju zbytek textu daného autora. Je to kompromisní řešení, abych se mohl na tomto jinak zajímavém serveru něco dozvědět.

To si snad děláte srandu? To že je někdo obviněn, že je do něčeho zapleten podle vás rovnou znamená, že je do něčeho zapleten. To je skutečně k popukání. A to jsem ten poslední, kdo by si myslel, že takové snahy americká vláda nemá (nevím zda však přes FBI) - ale je rozdíl si něco myslet a je rozdíl něco bez důkazu tvrdit jako fakt. Mimo jiné taky může jít o pokus znevěrohodnit samotnou OpenBSD a to právě z důvodu, že se tam americké vládě nic propašovat nepodařilo. Vaše práce s informace, tím myslím vás konkrétně pane Krčmáři, je dlouhodobě na velmi špatné až možná záměrně manipulativní úrovni. Styďte se.

Ne někdo ale FBI.

LOL toto ma dobre z rana naladilo :)

Spatne. Backdoor uplne vseho je tenhle posuk :D

http://img184.imageshack.us/i/stallmanopenbsdenemyofywi2.jpg/

Gregory Perry (byvaly NETSEC CTO, ktery zpravu o FBI backdooru zverejnil) spekuluje, ze prave tyto backdoory byly duvodem, ze OpenBSD prislo v 2003 o DARPA funding ($2.3M), protoze backdoory nasli ("prava ruka nevi co dela leva").

Je velmi tezke umyslne chyby maskovane jako race condition nebo casovani odhalit, protoze model checking si muze dovolit tak NASA, DARPA nebo firmy vyvijejici software pro letiste. Navic je model checking obecne algoritmicky nevycislitelny problem.

A napr. existuje protokol, ktery je prokazatelne bezpecny, ale nasli se v nem side-channel attacks - protoze model s tim jednoduse nepocital (a dopredu nelze pocitat se vsim - protoze Godelova veta o neuplnosti).

BTW Underhanded C contest: http://underhanded.xcott.com/ (soutez v psani nevinne vypadajiciho kodu, ktery dela neco jineho nez by se zdalo)