시더
AWS에서 개발한 오픈 소스 정책 언어로, 정밀한 접근 제어를 위해 설계되었으며 수학적 검증이 가능하다. Principal, Action, Resource를 기반으로 권한을 정의하며, 복잡한 보안 규칙을 결정론적으로 실행하는 데 사용된다.