FOREWORD The National Computer Security Center is issuing as part of the...  Home/Search
Context Related
| ncsc.mil/tpep/libra...NCSCTG010.ps.gz esecureinfo.com/Docum...NCSCTG010.pdf ncsc.mil/tpep/libra...NCSCTG010.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: ncsc.mil/tpep/library/rainbow/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: encapsulated devices are often passive entities, in contrast to their underlying hardware. Security requirements for devices, however, differ significantly from those for either storage objects or controlled processes: . External policy on use of the system requires that devices pass information only to authorized users. 8 I/O handling often accounts for 30 percent or more of an entire operating system. [TANE87, Preface] . Devices may transport either unlabeled data or labeled data and are... (Update)
Cited by: More
A Guide To Procurement Of Single And Connected Systems - Language For Rfp (Correct)
Active bibliography (related documents): More All
1.4: Security Design In Distributed Computing Applications - Zeleznik (1993) (Correct)
1.3: Specification and Verification of Security Policies - Peri (1996) (Correct)
1.2: Security In Databases: A Survey Study - Baraani-Dastjerdi, Pieprzyk.. (1996) (Correct)
Similar documents based on text: More All
0.2: From Security Protocols to Systems Security: Making a case for.. - Monahan (2003) (Correct)
0.2: Unknown - Trusted Product Evaluation (Correct)
0.1: Trusted Network Interpretation Environments Guideline - NCSC (1990) (Correct)
Related documents from co-citation: More All
4: Advocates for Competition (context) - United, Section
4: the Trusted Computer System Evaluation Criteria (context) - Trusted, TNI - 1987
2: Automated Information System Security Manual (context) - -M - 1991
BibTeX entry: (Update)
NCSC-TG-010, Version 1, A Guide to Understanding Security Modeling in Trusted Systems, October, 1992. http://citeseer.ist.psu.edu/version92guide.html More
@misc{ version92guide,
author = "N. Version",
title = "A Guide to Understanding Security Modeling in Trusted Systems",
text = "NCSC-TG-010, Version 1, A Guide to Understanding Security Modeling in Trusted
Systems, October, 1992.",
year = "1992",
url = "citeseer.ist.psu.edu/version92guide.html" }
Citations (may not include all citations):2732 Communicating Sequential Processes (context) - Hoare - 1985 ACM DBLP
492 Smalltalk-80: The language and its Implementation (context) - Goldberg - 1983
315 Information processing systems Open Systems Interconnection .. (context) - International - 1984
241 The Byzantine Generals' Problem - Lamport, Shostak et al. - 1982
196 A Lattice Model of Secure Information Flow (context) - Denning - 1976 ACM DBLP
194 The Protection of Information in Computer Systems (context) - Saltzer, Schroeder - 1975
173 Comparison of Commercial and Military Computer Security Poli.. (context) - Clark, Wilson - 1987
170 Security Policies and Security Models (context) - Goguen, Meseguer - 1982 DBLP
158 Certification of Programs for Secure Information Flow (context) - Denning - 1977 ACM DBLP
155 Secure Computer Systems: Mathematical Foundations and Model (context) - Bell, Padula - 1974
142 Synchronizing Clocks in the Presence of Faults (context) - Lamport, Melliar-Smith - 1985 ACM DBLP
124 Protection in Operating Systems (context) - Harrison, Ruzzo et al. - 1976
120 Integrity Considerations for Secure Computer Systems (context) - Biba - 1977
114 Temporal Semantics of Concurrent Programs (context) - Pnueli - 1981
109 Operating Systems: Design and Implementation (context) - Tanenbaum - 1987 ACM
95 Coding and Information Theory (context) - Hamming - 1980 ACM
93 The Chinese Wall Security Policy (context) - Brewer, Nash - 1989 DBLP
85 Formal Models for Computer Security (context) - Landwehr - 1981 ACM DBLP
64 Calculi for Synchrony and Asynchrony (context) - Milner - 1983 DBLP
54 A Practical Alternative to Hierarchical Integrity Policies (context) - Boebert, Kain - 1985
54 An Axiomatic Approach to Information Flow in Programs (context) - Andrews, Reitman - 1980 ACM DBLP
52 Building a Secure Computer System (context) - Gasser - 1987 ACM
51 Information Flow in Nondeterministic Systems (context) - Wittbold, Johnson - 1990 DBLP
43 Verification of Concurrent Programs: Temporal Proof Principl.. (context) - Manna, Pnueli - 1982 DBLP
41 Toward a Mathematical Foundation for Information Flow Securi.. (context) - Gray - 1991 DBLP
36 The Formal Description Technique LOTOS (context) - Eijk, van and et al. - 1989
32 National Computer Security Center (context) - to, Facility et al. - 1989
32 National Computer Security Center (context) - Glossary, Security et al. - 1988
32 National Computer Security Center (context) - Trusted, NCSC-TG- - 1987
27 Protection-Principles and Practice (context) - Graham, Denning - 1972
25 Integrating an Object-Oriented Data Model with Multilevel Se.. (context) - Jajodia, Kogan - 1990 DBLP
25 Proving Multilevel Security of a System Design (context) - Feiertag, Levitt et al. - 1977 ACM DBLP
23 Security and the Composition of Machines (context) - Johnson, Thayer - 1988 DBLP
23 Beyond the Pale of MAC and DAC Defining New Forms of Access .. (context) - McCollum, Messing et al. - 1990
21 Nondiscretionary Controls for Commercial Applications (context) - Lipner - 1982
21 Inference Aggregation Detection in Database Management Syste.. (context) - Hinke - 1988
21 Database Security and Integrity (context) - Fernandez, Summers et al. - 1981 ACM
17 the Formal Specification and Verification of a Multiparty Se.. (context) - Cheng, Gligor - 1990
16 Information Transmission in Computational Systems (context) - Cohen - 1977 ACM DBLP
15 Multiversion Concurrency Control for Multilevel Secure Datab.. (context) - Keefe, Tsai - 1990 DBLP
15 The Formal Description Technique Estelle (context) - Diaz - 1989
14 the Need for a Third Form of Access Control (context) - Graubart, On - 1989
13 Secure Computer Systems: A Network Interpretation (context) - Bell - 1986
13 Design of LDV: A Multilevel Secure Relational Database Manag.. (context) - Stachour, Thuraisingham - 1990 DBLP
13 Verifying Security (context) - Cheheyl - 1981 ACM DBLP
12 Integrity Mechanisms in Database Management Systems - Jajodia - 1990
12 Ina Jo Specification Language Reference Manual (context) - Scheid, Holtsberg - 1989
11 Data Flow Systems (context) - Agerwala, Arvind - 1982
11 A Comment on the `Basic Security Theorem' of Bell and La Pad.. - McLean - 1985
11 A Model for Verification of Data Security in Operating Syste.. (context) - Farber - 1978 ACM DBLP
11 Single-Level Multiversion Schedulers for Multilevel Secure D.. (context) - Maimone, Greenberg - 1990
10 Locking Computers Securely (context) - Saydjari, Beckman - 1987
10 the Problem of Security in Databases (context) - Wiseman, On - 1990
10 Access Control Policies: Some Unanswered Questions (context) - Lunt - 1988 DBLP
9 Extending the Noninterference Version of MLS for SAT (context) - Young - 1987 DBLP
9 Secure Query-Processing Strategies (context) - Keefe, Thuraisingham et al. - 1989 ACM DBLP
8 Designing the GEMSOS Security Kernel for Security and Perfor.. (context) - Schell, Tao et al. - 1985
8 A Security Model for Military Message Systems (context) - Heitmeyer, McLean - 1984 ACM DBLP
8 Primitive Models of Computer Security (context) - Walter, et - 1974
7 The Specification and Verified Decomposition of System Requi.. - Moore - 1990 ACM DBLP
7 Department of Defense Trusted Computer Security Evaluation C.. (context) - National, Center - 1985
6 Security Policies in Object-Oriented Databases (context) - Larrondo-Petrie - 1990 DBLP
6 Formal Verification of a Secure Network with End-to-End Encr.. (context) - Britton - 1984 DBLP
6 Department of Defense Privacy Program (context) - Department - 1982
6 The Enforcement of Security Policies for Computation (context) - Jones, Lipton - 1975 ACM DBLP
6 Computational Logic (context) - Good, Akers et al. - 1989 ACM DBLP
5 Computational Logic Inc (context) - Good, Siebert et al. - 1990
5 Using Mandatory Integrity to Enforce `Commercial' Security (context) - Lee - 1988
5 SODA: A Secure ObjectOriented Database System (context) - Keefe, Tsai et al. - 1989
5 Report on the Invitational Workshop on Integrity Policy in C.. (context) - Katzke, Ruthberg - 1989
5 Comparison Paper Between the Bell and La Padula Model and th.. (context) - Taylor - 1984
4 The Development and Proof of a Formal Specification for a Mu.. (context) - Glasgow, MacEwen - 1987 ACM DBLP
4 Some Informal Comments About Integrity and the Integrity Wor.. (context) - Courtney - 1989
4 The Bell-La Padula Computer Security Model Represented as a .. (context) - Pittelli - 1987
4 the Buzzword `Security Policy (context) - Sterne, On - 1991
3 Computer Security Technology Planning Study Vol (context) - Anderson - 1972
3 Database Inference Controller ... An Overview (context) - Ford, O'Keeffe et al. - 1990
3 New Methods for Immediate Revocation (context) - Karger - 1989 DBLP
3 the Design and the Implementation of Secure Xenix Workstatio.. (context) - Gligor, On - 1986
2 A Comparison of Formal Security Policy Models (context) - Haigh - 1984
2 The Architecture of a Distributed Trusted Computing Base (context) - Fellows - 1987
2 A Taxonomy of Integrity Models, Implementations and Mechanis.. (context) - Roskos - 1990
2 Constructing Containers Using a Multilevel Relational Data M.. (context) - Meadows - 1990 DBLP
2 A Dual-Label Model for the Compartmented Mode Workstation (context) - Bodeau - 1990
2 On Models for a Trusted Application System (context) - Payne, Froscher et al. - 1990
2 Covert Channels and Degrees of Insecurity (context) - McCullough - 1988 DBLP
2 Gypsy Verification Environment User's Manual (context) - Akers - 1990
2 A Semantics of Read (context) - Marcus, Redmond - 1986
2 Inference-Security Analysis Using Resolution Theorem- Provin.. (context) - Rowe - 1989
2 Identifying and Representing the Security Semantics of an Ap.. (context) - Smith - 1988
1 Electronic Systems Division (context) - Bell, Padula et al. - 1973
1 Development of a Multilevel Secure Local Area Network (context) - Schnackenberg - 1985
1 Vol III: A Refinement of the Mathematical Model (context) - Bell, Secure - 1974
1 Interactive Theorem Prover (context) - Schorre - 1988
1 Introduction to Mathematical Logic (context) - Mendleson - 1979
1 Implementing the Clark/Wilson Integrity Policy Using Current.. (context) - Shockley - 1988
1 Security Kernel Validation in Practice (context) - Mien - 1976 ACM DBLP
1 The Cascading Problem for Interconnected Networks (context) - Schwartz - 1988
1 Using the Gypsy Methodology Computational Logic (context) - Good, DiVito et al. - 1988
1 Extending the Bell & La Padula Security Model (context) - Gove - 1984
1 Role-Based Application Design and Enforcement (context) - Thompson - 1990 DBLP
1 A Functional View of Multilevel Databases (context) - Thuraisingham - 1989 ACM
1 Some Observations on B1 Informal Models (context) - Bodeau - 1988
1 Security Controls in the ADEPT-SO Time Sharing System (context) - Weissman - 1969
1 Modeling Nondisclosure in Terms of the Subject-Instruction S.. (context) - Williams - 1991
1 National Policy on Telecommunications and Automated Informat.. (context) - The - 1984
1 FDM User Guide (context) - Eggert - 1989
1 Electronic Systems Division (context) - La, Bell et al. - 1973
1 Basic Security Theorem' of Bell and LaPadula Revisited (context) - La, The - 1989
1 Towards a Discipline for Developing Verified Software (context) - Farmer, Johnson et al. - 1986
1 the Integrity Problem (context) - Porter, Arnold - 1985
1 SCOMP Interpretation of the Bell-LaPadula Model (context) - Honeywell, Inc - 1985
1 Database Systems and the Criteria: Do They Relate (context) - Hubbard, Walker et al. - 1986
1 Managing Exposure to Potentially Malicious Programs (context) - Pozzo, Gray - 1986
1 Design of Originator Controls in a Computer System: a Truste.. (context) - Israel - 1987
1 Executive Order (context) - Reagan - 1982 ACM
1 A Mechanism for Information Control in Parallel Systems (context) - Reitman - 1979 DBLP
1 The SRI Security Model (context) - Rushby - 1985
1 Formal Verification of a Fault Tolerant Clock Synchronizatio.. (context) - von Henke - 1989 ACM
1 Preliminary Report on the Formal Analysis of the Draper FTP .. (context) - Chisholm - 1985
1 Report of the Invitational Workshop on Data Integrity Specia.. (context) - Ruthberg, Polk - 1989
1 A Technique for Proving Specifications are Multilevel Secure (context) - FEIE - 1980
1 Multics Interpretation of the Bell and La Padin La Model (context) - Margulies - 1985
1 Implementation Design for a Kernelized Trusted DBMS (context) - Davison - 1988
1 Symposium on Research in Security and Privacy (context) - Fine, Constructively - 1990
1 An Internet Security Policy Model (context) - Freeman, Neely et al. - 1988
1 Compartmented Mode Workstation Plus (context) - Final, Secure - 1991
1 Some Results from the Entity/Relationship Multilevel Secure .. (context) - Gajnak - 1988
1 Introduction to Mathematical Structures (context) - Galovich - 1989
1 Allyn and Bacon (context) - Abbot, Sets et al. - 1969
1 Access Control Models (context) - Popek - 1973
1 A Generalized Framework for Access Control: An Informal Desc.. (context) - Abrahms - 1990
1 Network Security Assurance (context) - Schaefer, Bell - 1985
1 Preliminary Notes on the Design of Secure Military Computer .. (context) - Schell, Downey et al. - 1973
Documents on the same site (http://www.radium.ncsc.mil/tpep/library/rainbow/): More
Technical Rational Behind Csc-Std-003-85: Computer Security.. - Unknown (1985) (Correct)
Unknown - Ncsc-Tg- Library (Correct)
Unknown - Ncsc-Tg- Library (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC