AWS Cedar

亚马逊AWS开源的策略语言与评估引擎，专为细粒度授权设计，支持基于属性的访问控制规则表达，具有形式化验证能力，被Amazon Verified Permissions等服务采用