Key points are not available for this paper at this time.
시스템 실행을 모니터링하여 작동하는 메커니즘으로 집행 가능한 보안 정책 클래스에 대한 정확한 특성이 제공되며, 이러한 보안 정책 클래스를 정확히 지정하기 위한 오토마타가 도입됩니다. 이러한 오토마타에 의해 지정된 보안 정책을 집행하기 위한 기술도 논의됩니다.
Fred B. Schneider (화요일)가 이 질문을 연구했습니다.