1 What It Is

Policy Languages and Formal Methods · 3:24

Listen on 93

Lyrics

[Verse 1]
Amazon built a language clean and bright
Cedar makes authorization feel just right
Twenty twenty-three they shared it with the world
Policy as code with syntax unfurled
Not like others cryptic and obscure
Cedar reads like English, that's for sure
Attribute-based access is the key
ABAC model sets your data free

[Chorus]
Cedar, Cedar, permit or forbid
Principal action resource that's the grid
When and unless conditions you decide
Cedar, Cedar, keeps your systems safe inside
Natural language policy control
Cedar makes security reach its goal

[Verse 2]
Principal is who wants to get inside
Action tells you what they want to try
Resource is the thing they're reaching for
Three components at the Cedar core
Groups and roles and users all align
SecurityTeam members cross the line
ReviewAccess action they can take
On HighRiskSystem for safety's sake

[Chorus]
Cedar, Cedar, permit or forbid
Principal action resource that's the grid
When and unless conditions you decide
Cedar, Cedar, keeps your systems safe inside
Natural language policy control
Cedar makes security reach its goal

[Bridge]
When the clearance level meets the grade
And the working hours haven't fade
Context time from eight to six PM
Cedar checks each rule and every gem
Unless you have that ticket approved
Production deploy can't be moved
Status must be green to go ahead
Cedar keeps your policies well-fed

[Verse 3]
Forbid can block what permit might allow
Unless conditions tell the system how
Attributes and properties align
Making access control decisions shine
Open source and ready for your use
Cedar gives you power you can choose
Management controls through formal code
Cedar lights the authorization road

[Chorus]
Cedar, Cedar, permit or forbid
Principal action resource that's the grid
When and unless conditions you decide
Cedar, Cedar, keeps your systems safe inside
Natural language policy control
Cedar makes security reach its goal

[Outro]
From AWS to everywhere it grows
Cedar is the language that bestows
Clear and clean authorization might
Cedar keeps your access control tight

← 5 Where It Would Not Be Useful | 2 Strengths →