Tweets by @buherablog
profile for buherator at IT Security Stack Exchange, Q&A for IT security professionals

A BitBetyár Blog

Túljártál a nagyokosok eszén? Küldd be a mutatványodat! (e-mail a buherator gmailkomra jöhet)

Full-Disclosure / Névjegy / Coming out


Promó

H.A.C.K.

Címkék

0day (110) adobe (87) adobe reader (21) anonymous (26) apple (60) az olvasó ír (49) blackhat (20) botnet (22) bug (200) buherablog (44) buhera sörözés (39) bukta (49) deface (38) dns (22) dos (29) esemény (82) facebook (26) firefox (64) flash (33) gondolat (31) google (59) google chrome (36) hacktivity (37) hírek (117) incidens (224) internet explorer (88) iphone (35) java (50) jog (22) kína (21) kriptográfia (68) kultúra (21) linux (24) malware (43) microsoft (142) móka (48) mozilla (23) office (26) oracle (40) os x (43) patch (197) php (20) politika (31) privacy (58) programozás (22) safari (34) sql injection (62) windows (85) xss (77) Címkefelhő

Licensz

Creative Commons Licenc

Játékos formális bizonyítás

2013.12.09. 20:20 | buherator | Szólj hozzá!

Egy olyan szervezetnek, ami vadászrepülőket meg önvezető autókat tervez kritikus fontosságú a vasakat működtető szoftverek megbízhatósága, melyre legjobb garanciát a formális, matematikai bizonyítás adhat. A baj az, hogy a programokt hagyományosan modellező gráfok elméletében még van néhány nehéz probléma, így egy program egyes tulajdonságainak belátása a gyakorlatban sokszor csak nagyon-nagyon drágán (vagy egyáltalán nem) kivitelezhető.

A DARPA egyik friss projektje erre a problémára próbál részleges megoldást adni a felmerülő nehéz kérdések közösségi megoldása segítségével: A Verigames egy sor Flash játékot kínál, melyek hátterében valós szoftverproblémák állnak, az egymással versengő játékosok pedig a pontgyűjtés során ezek megoldásában segítenek saját idejük és persze szürkeállományuk befektetésével.

Tíz perc próbálgatás után azt mondom, hogy a játékok alapvetően nem sikerültek rosszul, bár az biztos, hogy nem adnak olyan instant sikerélményt, mint egy Angry Birds (bár nekem az se ment :P), az viszont biztos, hogy jó ráhangolódást nyújtanak a készülőben lévő reversing-témájú poszt-sorozathoz ;)

Jó szórakozást! 

U.i.: Vajon kellő mennyiségű rosszindulatú játékos be tud betonozni egy-egy bugot mondjuk a készülő X-37-esbe?

Ó, és itt ragadnám meg az alkalmat, hogy bevágjam ezt a videót Grace Hopperrel, aki ma lenne 107 éves:

Címkék: játék darpa verigames

Kommentek:

A hozzászólások a vonatkozó jogszabályok  értelmében felhasználói tartalomnak minősülnek, értük a szolgáltatás technikai  üzemeltetője semmilyen felelősséget nem vállal, azokat nem ellenőrzi. Kifogás esetén forduljon a blog szerkesztőjéhez. Részletek a  Felhasználási feltételekben és az adatvédelmi tájékoztatóban.

Nincsenek hozzászólások.