Automatic Generation of Network Element Software (AGNES)
Abstract:
The goal of the Automatic Generation of Network Element Software AGNES project was to automatically generate network element software that is free from known weaknesses, reducing the cyber-attack surface area of military networks. Using todays development technologies and processes, it is effectively impossible for humans to write software that accounts for the hundreds of known weaknesses that can lead to vulnerabilities. Additionally, the encouraged practice of code reuse serves to perpetuate and propagate weaknesses when vulnerability patches are applied to the original source code, they are unlikely to be propagated to reused code. AGNES generates weakness-free software by using a knowledge base of coding solutions for known weaknesses which will eliminate or drastically reduce known software vulnerabilities.