Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization

Cedar is a new authorization policy language designed to be ergonomic, fast, safe, and analyzable, providing a better alternative to embedding access control logic in application code.