Go homepage(回首页) Upload pictures (上传图片) Write articles (发文字帖)
The author:(作者)qqpublished in(发表于) 2015/6/6 7:32:40 United States Department of Defense： playing games， looking for vulnerabilities，
Online gamers can usually consists of professional programmers to do tedious software validation work? United States Defense Advanced research projects Agency (DARPA) researchers believe that This can be.
Last week, unveiling a new round a total of 5 games, and enhanced playability and validate the software.
DARPA says:
"These games will be the player's movement into program notes, formal mathematical proof of validation experts to help verify with c and Java programming language to write the software contained significant flaws. Preliminary analysis shows that play CSFV game non-experts have produced hundreds of thousands of comments. ”
According to the DARPA said, the game produced a mathematical proof can confirm that some software does not exist in the common open source software flaws or vulnerabilities.
"If the games revealed the potentially harmful code, DARPA will carry out the approved notice and processing procedures, including notification of the affected software responsible. Due to the validation of CSFV is commercial, Government and defense systems may use open source software, notices in a timely manner for quick fixes and mitigating features or security risk of failure is crucial. ”
The package validation of 5 new games include:
? Dynamakr: requires the player activates the mysterious universe jigsaw puzzle machine mode
? Paradox: requires the player to use a number of tools to optimize large networks
? Ghost Map Hyperspace (Chrono ghost map): players battle alien invaders and closed cracks in Chrono
? Monster Proof (Monster test): requires the player to explore Kingdom of monsters, solve puzzles to be rich
? Binary Fission (binary fission): the splitting of the atom game, requires players to mix and match network security on behalf of the Quark
Other games offered by Verigames include:
? CircuitBot: connect a set of robots to complete tasks.
? Flow Jam: analysis of adjustments to the wired network to maximize flow.
? StormBound: the storm dismantled to stream symbol mode.
? Xylem: the use of mathematical formulas to catalogue plants.
赞