policy-analysis

접근 제어나 보안 정책을 형식화해 그 영향과 허용 집합을 수학적으로 유도하는 과정으로, 잘못된 권한·무의도적 공개를 사전에 발견하고 제거하는 데 사용됩니다.