Open Access
Primitive Models for Computer Security
K. G. Walter,W. F. Ogden,W. C. Rounds,Franklyn T. Bradshaw,S. R. Ames +4 more
- 23 Jan 1974
40
TL;DR: This model is used to develop a model of security for computer systems which have directory structured file systems and is presented as a mathematical model which specifies the security constraints applicable toComputer systems which simultaneously handle data of different sensitivity levels.
read more
Abstract: : The report presents a mathematical model which specifies the security constraints applicable to computer systems which simultaneously handle data of different sensitivity levels. This model is used to develop a model of security for computer systems which have directory structured file systems.
read more
Chat with Paper
AI Agents for this Paper
Find similar papers on Google Scholar, PubMed and Arxiv
Write a critical review of this paper
Analyze citations of this paper to find unaddressed research gaps
Citations
•Book
Security Engineering: A Guide to Building Dependable Distributed Systems
Ross J. Anderson
- 01 Jan 2001
TL;DR: In almost 600 pages of riveting detail, Ross Anderson warns us not to be seduced by the latest defensive technologies, never to underestimate human ingenuity, and always use common sense in defending valuables.
2.1K
Integrity Considerations for Secure Computer Systems
K. J. Biba
- 01 Apr 1977
TL;DR: The author identifies the integrity problems posed by a secure military computer utility and integrity policies addressing these problems are developed and their effectiveness evaluated.
Access Control: Policies, Models, and Mechanisms
Pierangela Samarati,Sabrina De Capitani di Vimercati +1 more
- 01 Sep 2000
TL;DR: This chapter investigates the basic concepts behind access control design and enforcement, and point out different security requirements that may need to be taken into consideration.
•Journal Article
Access control : Policies, models, and mechanisms
TL;DR: In this article, the basic concepts behind access control design and enforcement are investigated, and different security requirements that may need to be taken into consideration, and several access control policies and models formalizing them are discussed.
643
Looking back at the Bell-La Padula model
D.E. Bell
- 05 Dec 2005
TL;DR: The Bell-La Padula security model produced conceptual tools for the analysis and design of secure computer systems and these principles are reviewed in the context of today's computer and network environment.
References
A note on the confinement problem
TL;DR: A set of examples attempts to stake out the boundaries of the problem by defining a program during its execution so that it cannot transmit information to any other program except its caller.
•Book
Notes on structured programming
Edsger W. Dijkstra
- 01 Jan 1970
TL;DR: The final author version and the galley proof are versions of the publication after peer review that features the final layout of the paper including the volume, issue and page numbers.
1K
Secure Computer Systems: A Mathematical Model. Volume II.
TL;DR: A set of rules of operation are presented which guarantee that a computer system can remain secure while exhibiting certain desired external characteristics and are easily transformable into algorithms suitable for implementation on a digital computer.
Preliminary Notes on the Design of Secure Military Computer Systems.
Roger R. Schell,Peter J Downey,Gerald J. Popek +2 more
- 01 Jan 1973
TL;DR: This document is a collection of working papers produced by the members of the Computer Security Branch, Directorate of Information Systems Technology, Deputy for Command and Management Systems that identify the direction of ongoing computer security efforts.
32
Computer Security Technology Planning Study
James P. Anderson
- 01 Oct 1972
TL;DR: This document is intended to assist in the management of government procurement operations and will not be used for other purposes other than a definitely related government procurement operation.