Searching for "Formal Models for Computer Security." – sorted by Relevance.
6 documents found, showing 1 through 6.
-
Formal models for computer security
- …Formal Models for Computer Security CARL E. LANDWEHR Code 7593, Naval Research Laboratory…
- Cited by 114 (2 self) – Add To MetaCart
-
A Framework for High Assurance Security of Distributed Objects
- … proposition leads to the consideration of veri ably secure computer systems. Formal models of computer…
- Cited by 9 (2 self) – Add To MetaCart
-
A Mechanism for Deriving Specifications of Security Functions in the CC Framework
- … security (MLS) environments. These criteria were heavily based on early formal models for computer security…
- Add To MetaCart
-
Appendix B. Threshold Schemes Andsecure Data Replication
- … formal models in computer security, including the Bell-LaPadula model and the ?-property. [Lomas 89] T…
- Add To MetaCart
-
Pertitioning in Avionics Architectures: Requirements, Mechanisms, and Assurance
- … survey of formal models for computer security. ACM Computing Surveys, 13(3):247--278, September 1981. [61…
- Add To MetaCart
-
Specification, CCITT Recommendation X.224 (ISO 8073), Blue Book Vol. VIII, Fascicle VIII.5, Geneva, 1989 [X.227]
- … of Technology, Department of Technical Physics, 1987 [Lan81] C. Landwehr, Formal Models for Computer Security…
- Add To MetaCart
Showing 1 through 6.
