Now Reading
cedar-policy · GitHub

cedar-policy · GitHub

2023-05-15 10:53:04

Cedar Green Logo


Cedar is an open supply coverage language and analysis engine. Cedar permits builders to precise fine-grained permissions as easy-to-understand insurance policies enforced of their functions, and decouple entry management from software logic. Cedar helps frequent authorization fashions corresponding to role-based entry management and attribute-based entry management. It’s the first coverage language constructed from the bottom as much as be verified formally through the use of automated reasoning, and examined rigorously utilizing differential random testing.

Venture Assets


The cedar repository homes the Cedar SDK together with the authorization engine, validator, coverage formatter, and CLI.

The cedar-docs repository homes documentation for all cedar initiatives.

The cedar-examples repository homes instance functions utilizing the Cedar language and SDK

The cedar-java repository homes the Java language bindings for Cedar.

The cedar-spec repository homes the formal Dafny specification for the Cedar language in addition to the differential testing/property-based testing framework.

Code of Conduct

This mission has adopted the Amazon Open Source Code of Conduct. For extra info see the Code of Conduct FAQ, or contact with any extra questions or feedback.


In the event you uncover a possible safety problem on this mission we ask that you simply notify AWS/Amazon Safety by way of our vulnerability reporting page or immediately by way of electronic mail to Please do not create a public GitHub problem.

See Also


This mission is licensed beneath the Apache v2.0 License.


See NOTICE for particulars.


Cedar is a registered trademark of Amazon Internet Companies. If publishing software program utilizing Cedar, you aren’t required to attribute. Nevertheless, if you happen to’d wish to, we encourage you to make use of the language under.

Do: Do not:
Powered by Cedar Cedar 2.0
Created with Cedar Created by Cedar
Utilizing Cedar Software program created by Cedar

Source Link

What's Your Reaction?
In Love
Not Sure
View Comments (0)

Leave a Reply

Your email address will not be published.

2022 Blinking Robots.
WordPress by Doejo

Scroll To Top