안전한 정보 흐름의 격자 모델

이 논문은 컴퓨터 시스템에서 안전한 정보 흐름을 보장하는 메커니즘을 조사합니다. 이러한 메커니즘은 보안 클래스 간의 안전한 정보 흐름 요구사항을 공식화하는 데 적합한 수학적 프레임워크 내에서 검토됩니다. 모델의 중앙 구성 요소는 보안 클래스에서 유도된 격자 구조이며, 정보 흐름의 의미론에 의해 정당화됩니다. 격자 속성은 다양한 기존 시스템의 보안 요구사항을 간결하게 공식화할 수 있게 하며 보안을 강제하는 메커니즘의 구축을 용이하게 합니다. 이 모델은 정보 흐름을 제한하는 모든 시스템을 통합적으로 관찰할 수 있는 관점을 제공하며, 보안 목표에 따라 이를 분류할 수 있게 하고 몇 가지 새로운 접근 방식을 제안합니다. 또한 정보가 프로그램을 통해 안전하게 흐르는지를 검증하기 위한 자동 프로그램 인증 메커니즘 구축으로 이어집니다.