Basic Concepts and Taxonomy of Dependable and Secure Computing (2004)
Avizienis, Algirdas, Laprie, Jean-Claude, Randell, Brian, Landwehr, Carl
This paper gives the main definitions relating to dependability, a generic concept including as special case such attributes as reliability, availability, safety, integrity, maintainability, etc....
Basic Concepts and Taxonomy of Dependable and Secure Computing (2004)
Avizienis, Algirdas, Laprie, Jean-Claude, Randell, Brian, Landwehr, Carl
This paper gives the main definitions relating to dependability, a generic concept including as special case such attributes as reliability, availability, safety, integrity, maintainability, etc....
Towards an Analysis of Onion Routing Security (2000)
Paul Syverson, Gene Tsudik, Michael Reed, Carl Landwehr
This paper presents a security analysis of Onion Routing, an application independent infrastructure for traffic-analysis-resistant and anonymous Internet connections. It also includes an overview of...
Towards an Analysis of Onion Routing Security (2000)
Paul Syverson, Gene Tsudik, Michael Reed, Carl Landwehr
This paper presents a security analysis of Onion Routing, an application independent infrastructure for traffic-analysis-resistant and anonymous Internet connections. It also includes an overview of...
Security Issues in Networks with Internet Access (1997)
This paper describes the basic principles of designing and administering a relatively secure network. The principles are illustrated by describing the security issues a hypothetical company faces as...
Protecting Unattended Computers Without Software (1997)
In many environments, users login to workstations and then leave them unattended. Rather than trying to stop users from doing what comes naturally, this paper suggests a simple, hardware-based system...
Hidden Safety Requirements in Large Scale Systems (1994)
To avoid hidden safety problems in future large scale systems, we must be able to identify the crucial assumptions underlying the development of their components and to enunciate straightforward...
A Taxonomy of Computer Program Security Flaws, with Examples (1993)
Carl Landwehr, Alan R. Bull, John P. Mcdermott, S. Choi
This paper provides a taxonomy for computer program security flaws together with an appendix that carefully documents 50 actual security flaws. These flaws have all been described previously in the...
Hardware Requirements for Secure Computer Systems: A Framework (1984)
Carl Landwehr, John M. Carroll
This report develops a new set of criteria for evaluating computer architectures that are to support systems with security requirements. Central to these criteria is the concept of a domain, here...