AWS에서 제공하는 형식 정책 분석 방법

AWS에서 제공하는 형식 정책의 의미론적 차이 분석

현대의 소프트웨어 시스템에서는 폼 정식 정책(Formal Policies)을 다루는 것이 점점 더 중요해지고 있습니다. 기존의 문서기반 검토를 통해 정책의 차이를 식별하는 것은 쉽지 않을 수 있습니다. 이에 AWS에서는 고유의 엔진을 사용하여 이러한 문제를 해결할 방법을 제공합니다. 이번 글에서는 의미론적 차이를 분석하는 방법에 대해 소개합니다.

의미론적 차이 분석 방법 및 사례

AWS의 엔진은 두 정책 간의 공통점과 불일치를 명확히 보여줍니다. 예를 들어, 자동 형식화(autoformalization)를 통해 자연어 요구 사항을 자동으로 형식 언어로 변환할 수 있습니다. 형식화된 결과물은 LLM이 생성하며, 의미론적 차이 분석을 통해 서로 다른 형식화 결과를 비교할 수 있습니다. 이 방법을 통해 두 번의 실행에서 생성된 다른 형식화 결과가 일치하는 부분은 어디인지, 차이가 나는 부분은 어디인지를 확인할 수 있습니다.

또한, OpenShell 정책이나 공통 표현 언어(CEL)처럼 다양한 언어와 포맷을 가진 정책도 분석 가능합니다. 예를 들어, OpenShell 정책에서는 에이전트의 파일 시스템 및 네트워크 접근 권한을 규정하며, CEL은 애플리케이션에 포함되어 정책 조건을 평가합니다. 이러한 언어와 형식은 표현하는 방식에서 차이가 있더라도 번역 결과물 내의 조건, 범위 또는 이벤트에 대한 불일치를 찾아낼 수 있습니다.

의미론적 차이 분석의 결론

AWS 엔진의 의미론적 차이 분석은 정책의 차이를 효과적으로 발견하고 관리하는 데 유용한 도구입니다. 이 방법은 두 형식화 사이의 오류를 찾아내고, 각 번역의 약점을 파악하는 데 유용합니다. 이를 통해 정책 관리자와 개발자는 요구 사항에 맞는 올바른 형식화를 확보할 수 있습니다.

[1] https://aws.amazon.com/blogs/machine-learning/semantic-diffing-of-formal-policies-with-anti-unification/