Browse > Article

동적 기능 구성이 가능한 능동형 Secure OS 시스템  

김정녀 (한국전자통신연구원)
손승원 (한국전자통신연구원)
이철훈 (충남대 컴퓨터공학과)
Keywords
Citations & Related Records
연도 인용수 순위
  • Reference
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 /
[] /