John Murray program director of the computer science lab SRI International who helped create one of the games revealed, gamers involved helped identified problematic code so lighten the work of the expert analysts of software vulnerabilities.
DARPA (Defense Advanced Research Project Agency) has been shortened to create a site called Verigames, while offering five free games that can be played online via the Apple iPad.
Game deliberately designed so that when a user successfully set puzzle to rise next to level of game play, they actually have produced explanations and evidence of a systematic program to identify or prove the existence of flaws in software written in the C programming language and Java.
Formal verification of software is typically dependent upon the coding engineers who check for errors or flaws, which may be exploited by attackers to damage the system.
However, this method is reportedly very slow and expensive. DARPA wants the verification process may have been reinvented into a fun game format, so that people can get involved in a large number do this work voluntarily. According to DARPA, the idea is basically to map the highly complex mathematical problems in the form of an interesting puzzle game to be played.
Over time DARPA hopes, will awaken the gaming community which will reduce the number of commercial and open source software are vulnerable. DARPA is funding the game through the portal and Crowd Sourced Formal Verification program.
0 comments:
Post a Comment