Review of KIISC (정보보호학회지)

Korea Institute of Information Security and Cryptology (한국정보보호학회)
권호 표지

Secure OS 보안정책 및 메커니즘

  • Published : 2003.08.01
Download PDF
⟨ Previous Next ⟩

Abstract

정보보호기술이 '수동형'에서 점차로 '능동형'으로 진화하고 있는 가운데, Secure OS가 능동형 정보보호기술의 핵심으로 주목받고 있다. Secure OS는 서버시스템 보안의 원천적 기술로 접근통제에 관한 보안정책, 보안모델 및 보안메커니즘에 대하여 검증 가능한 방법으로 안전ㆍ신뢰성이 확보되어야 한다. 이에 본 논문에서는 Secure OS 핵심기술의 이해와 더불어 Secure OS 개발 시 안전ㆍ신뢰성을 확보하기 위하여 이론적으로 잘 정립되고 정형화된 보안정책, 보안모델 및 보안메커니즘에 대하여 살펴본다.

Keywords

References

  1. Secure OS기반의 지능형 다단계 정보보호시스템 홍기융;은유진;김재명;이규호
  2. 전산망정보보호-접근통제기술
  3. Building A Secure Computer System Morrie Gasser
  4. Security in Computing Charles P. Pfleeger
  5. DoD 5200.28-STD Department of Defense Trusted Computer System Evaluation Criteria NCSC
  6. ISO/IEC 9594-8 Information technology- Open Systems Interconnetion - The Directory : AUthentication framework
  7. Proceedings of the 14th National Computing Security Conference Generalized Framework for Access Control: Towards Prototyping the ORGCON Policy Abrams, Marshall.(et al.)
  8. Protection in Operation Systems Harrison,M;Ruzzo,W.L.;Ullman
  9. Secure Computer Systems Bell,D.;La Padulla, L.
  10. Integrity Considerations for Secure Computer Systems BIBA,K.
  11. A Lattice Model of Secure Information Flow Denning,D.
  12. Protection Mechanism Models: Their Usefulness Jones,A.
  13. Computer Security: Art and Science Matt Bishop