1 |
The Flask Security Architecture : System Support for diverse Security Policies
/
[
Ray Spencer;Stephen Smalley;Peter Loscocco;Mike Hibler;Dave,Anderson;Jay Lepreau
] /
Proceeding of th 8th USENIX Security Symposium
|
2 |
Access Control for Secure FreeBSD Operating System
/
[
J.G.Ko;J.N.Kim;K.I.Jeong
] /
Proc. of WISA2001, The Second International Workshop on Information Security Applications
|
3 |
Secure computer system: Unified exposition and multics interpretation
/
[
Bell, David Elliott;Leonard J. La Padula
] /
MITRE Technical Report 2997
|
4 |
Operating System Support for Trusted Applications
/
[
R.Graubart
] /
Proceedings of the 15th National Computer Security Conference
|
5 |
The Technology of Secure Operating System for Secure Networking
/
[
J.N.Kim;S.W.Sohn
] /
Proc. of NETSEC-KR 2002
|
6 |
A Proposed Standard for Role-Based Access Control
/
[
David F. Ferraiolo;Ravi Sandu;Serban Gavrila
] /
ACM transaction on Information and System Security
|
7 |
Role-Based Access Control
/
[
D.Ferraolo;R.Kuhn
] /
Proceeding of the 15th National Computer Security Conference
|
8 |
Assurance in the Fluke Microkernel:Formal Securith Policy Model
/
[
Secure Computing Corporation
] /
Technical report MD A904-97-C-3047 CDRL A003
|
9 |
/
[] /
UNICOS Multilevel Security(MLS) Features Users Guide, SG-21111 10.0
|
10 |
Protection in Operating Systems
/
[
M.Harrison(et al.)
] /
Communications of ACM
|
11 |
/
[
Dorothy E. Denning
] /
Information Warfare and Security
|
12 |
Department of Defense Trusted Computer System Evaluation Criteria
/
[] /
DOD 5200.28-STD
|
13 |
/
[
Peter A. Loscocco;Wtephen D. Dmalley;Patric A. Muckelbauer;Ruth C. Taylor;S.Jeff Truner;JohnF. Farrel
] /
The Inevitability of Failure: The Flawed Assumption of Security in Modern Computing Environments
|
14 |
/
[] /
|
15 |
Design and Implementation for Secure OS based on Linux
/
[
J.G.Ko;S.Y.Doo;S.K.Un;J.N.Kim
] /
WISA2000
|
16 |
/
[] /
|