Secure Programming Languages (SPL)
Abstract
The Secure Programming Languages (SPL) program will create new programming languages and integrated development environments that facilitate the creation of secure computer programs. At present, programming languages allow programmers to create programs having large attack surfaces, major flaws, and critical vulnerabilities. Minimizing the attack surface, correcting flaws, and eliminating vulnerabilities are the programmer's responsibility, and the degree to which the programmer succeeds depends largely on the skill of the programmer. The languages developed by SPL will break this paradigm by incorporating security features in the language itself that ensure formal correctness throughout all phases of the software development lifecycle. SPL languages and integrated development environments will facilitate the creation of software free from broad classes of flaws and vulnerabilities, and enable even novice programmers to readily create secure computer programs.
Document Details
- Document Type
- Accomplishment
- Publication Date
- Oct 01, 2017
- Source ID
- 17c36867787dd13417f54fe0ac3ce0ca