Secure OS

 

Secure OS란 보안 기능을 갖춘 커널을 이식한 운영체제입니다. 보호 방법을 구현하기 복잡한 것부터 차례로 분류하면 다음과 같습니다.

 

- 암호적 분리

- 논리적 분리

- 시간적 분리

- 물리적 분리

 

 

 

 

참조 모니터란 보호 대상 객체에 대한 접근통제를 수행하는 추상머신입니다. 참조 모니터를 실제로 구현한 것이 보안 커널입니다. 참조 모니터와 보안 커널의 특징은 다음과 같습니다.

 

- 격리성

- 검증가능성

- 완전성