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