4 Where It Is Useful Already

Policy Languages and Formal Methods · 3:04

Listen on 93

Lyrics

[Verse 1]
Amazon's service has a name
Verified Permissions in the cloud game
Cedar runs behind the scenes
Making access control more than dreams
Application level authorization
Fine-grained rules across the nation
SaaS platforms need control so tight
Cedar brings the policy light

[Chorus]
Cedar's useful, Cedar's here
AWS and compliance clear
SOC 2 CC six point one through three
HIPAA one-six-four dot three-twelve-A
CMMC AC domain too
Cedar makes compliance true
Where it's useful, where it's strong
Formal languages belong

[Verse 2]
Organizations building apps today
Need permissions that work the right way
Not just user, role, and group
Cedar gives a tighter loop
Attributes and relationships
Context-aware with policy grips
Who can access what and when
Cedar answers once again

[Chorus]
Cedar's useful, Cedar's here
AWS and compliance clear
SOC 2 CC six point one through three
HIPAA one-six-four dot three-twelve-A
CMMC AC domain too
Cedar makes compliance true
Where it's useful, where it's strong
Formal languages belong

[Bridge]
Technical requirements met
Access control safety net
From the cloud to enterprise
Cedar scales before your eyes
Management controls in code
Following the compliant road

[Verse 3]
Fine-grained means you can decide
Every action, every side
Not just can you see the file
But can you edit, share the while
Cedar policies express
Complex rules with clear success
Useful now and useful here
Making authorization clear

[Chorus]
Cedar's useful, Cedar's here
AWS and compliance clear
SOC 2 CC six point one through three
HIPAA one-six-four dot three-twelve-A
CMMC AC domain too
Cedar makes compliance true
Where it's useful, where it's strong
Formal languages belong

[Outro]
Where it's useful, we can see
Cedar's real utility
Formal languages take flight
Making management controls right

← 5 Where It Would Not Be Useful | 1 What It Is →