Cedar
Mehr Infos
- Erstellt von
- AWS
- Jahr
- Typ
- Autorisierungs-Policy-Sprache + Engine
- Lizenz
- Apache 2.0
- Website
- cedarpolicy.com
AWS' quelloffene Policy-Sprache — einfacher als Rego, formal verifizierbar mit Lean. Treibt Amazon Verified Permissions an.
Syntax: permit (principal, action == Action::"view", resource) when { resource.owner == principal };. Drei Konzepte: principal/action/resource plus when/unless-Bedingungen. AWS nutzt es intern für IAM-v2-artige Policies. Formale Verifikation mit Zelkova (SMT-basiert) — man kann beweisen, dass Policy A strenger ist als Policy B. Konkurrenten: OPA/Rego, Casbin, OSO (Polar-Sprache), spezialisierte SpiceDB/OpenFGA.