정책 컴파일러
자연어로 기술된 보안 정책을 형식 언어 규칙으로 자동 변환하는 기술로, 입력된 정책을 Soufflé Datalog 같은 논리 규칙으로 컴파일해 실행 가능한 검사기(rule engine)를 생성하여 일관된 정책 판단을 보장한다.