Open Access
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.
read more
Abstract: Approved for pubJic reJease; distribution unri mited. When U.S. Government drawings, specifications or other data are used for any purpose other than a definitely related government procurement operation, the government thereby incurs no responsibility nor any obligation whatsoever; and the fact that the government may have formulated, fui·nished, or in any way sup plied the said drawings, specifications, or other data is not to be regarded by implication or otherwise as in any manner licensing the holder or any other person or conveying any rights or permission to manufacture, use, or sell any patented invention that may in any way be related thereto.
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
Implementing fault-tolerant services using the state machine approach: a tutorial
TL;DR: The state machine approach is a general method for implementing fault-tolerant services in distributed systems and protocols for two different failure models—Byzantine and fail stop are described.
The protection of information in computer systems
Jerome H. Saltzer,Michael D. Schroeder +1 more
- 01 Sep 1975
TL;DR: In this article, the authors explore the mechanics of protecting computer-stored information from unauthorized use or modification, focusing on those architectural structures-whether hardware or software-that are necessary to support information protection.
Secure Computer System: Unified Exposition and Multics Interpretation
D. Elliott Bell,Leonard J. La Padula +1 more
- 01 Mar 1976
TL;DR: A suggestive interpretation of the model in the context of Multics and a discussion of several other important topics (such as communications paths, sabotage and integrity) conclude the report.
Achieving Secure, Scalable, and Fine-grained Data Access Control in Cloud Computing
Shucheng Yu,Cong Wang,Kui Ren,Wenjing Lou +3 more
- 14 Mar 2010
TL;DR: This paper addresses the problem of simultaneously achieving fine-grainedness, scalability, and data confidentiality of access control by exploiting and uniquely combining techniques of attribute-based encryption (ABE), proxy re-encryption, and lazy re- Encryption.
Proceedings of the 11th USENIX Security Symposium
Dan Boneh
- 05 Aug 2002
TL;DR: It is shown that permitting user selection of passwords in two graphical password schemes can yield passwords with entropy far below the theoretical optimum and, in some cases, that are highly correlated with the race or gender of the user.
1.8K
References
•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
Security controls in the ADEPT-50 time-sharing system
Clark Weissman
- 18 Nov 1969
TL;DR: The system described in this paper has not been approved by the Department of Defense for processing classified information and does not represent DOD policy regarding industrial application of time- or resource-sharing of EDP equipment.
175
•Book
Controlled information sharing in a computer utility
Dean Hanawalt Vanderbilt
- 01 Jun 1969
TL;DR: It is shown that the mechanisms of the model preserve certain structural characteristics of the information, and that these properties can be directly related to the requirements regarding the control of shared information.
17
Computer Programs can be Proved Correct
Ralph L. London
- 01 Jan 1970
TL;DR: It is now recognized that a program or algorithm ought to be accompanied by a proof of correctness, even though this proof is seldom given, at least the need for such proof is recognized.
15
The Proof of Correctness Approach to Reliable Systems.
Barbara Liskov,Edwin Towster +1 more
- 01 Jul 1971
TL;DR: The work on proof of correctness of programs is identified as the only method leading to guaranteed reliability of software.
8