automated-reasoning-checks
자동 추론 검사
정책과 제약조건을 형식화한 뒤 특정 실행이 조건을 만족하는지 기계적으로 판정하는 검사 방식입니다. 이 글에서는 ICME PreFlight가 검사 결과에 대한 개인정보 보호형 증명을 만들어 제3자가 정책 세부정보 없이 결과를 검증하도록 구성합니다.
자동 추론 검사
정책과 제약조건을 형식화한 뒤 특정 실행이 조건을 만족하는지 기계적으로 판정하는 검사 방식입니다. 이 글에서는 ICME PreFlight가 검사 결과에 대한 개인정보 보호형 증명을 만들어 제3자가 정책 세부정보 없이 결과를 검증하도록 구성합니다.
