A Building Code for Building Code: Putting What We Know Works to Work

Systems of programs control more and more of our critical infrastructures. Forty years of system development and research have taught us how to build software that is reliable, relatively free of vulnerabilities, and can enforce security policies. They seem not to have taught us how to get these lessons put into practice, particularly with respect to security, except in a few specialized places. This talk suggests an approach to capturing what we know in a way that can make a difference in systems on which we all rely.

Author(s):

Carl E. Landwehr    
George Washington University
United States