feature open source Does Open Source Improve System Security? (2008)
An Attacker, Brian Witten, Carl L, Michael Caloyannides
could examine public source code to find flaws in a system. So, is source code access a net gain or loss for security? The authors consider this question from several perspectives and tentatively...
FOREWORD This publication, Guidelines for Formal Verification Systems, is issued by (2007)
Fort George, G. Meade, Terry Benzel, David Gibson, Ra Goldston, ...
this document are intended for vendors building formal specification and verification systems that trusted system developers may use in satisfying the requirements of the Department of Defense...
Basic Concepts and Taxonomy of Dependable and Secure Computing (2004)
Jean-claude Laprie, Brian R, Carl L
Bring together dependability and security Dependability and security have followed different path that come together In recent years, steady increase of research efforts in cyber security due to...
Basic Concepts and Taxonomy of Dependable and Secure Computing (2004)
Algirdas Avizienis, Jean-claude Laprie, Brian R, Carl L, Senior Member
Abstract—This paper gives the main definitions relating to dependability, a generic concept including as special case such attributes as reliability, availability, safety, integrity,...
Selected statments before the Senate Subcommitte on Water and Power Resources (1969)
Norman L.; Hatathli, Ned A, Carl L.; Anderson, ...
Selected statements before the Senate in reference to the Navajo Indian irrigation project and Senate bill S. 203.