Cedar
Cedar
ポリシー言語
形式手法 > 定理証明支援系
Lean
論文
Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization | Proceedings of the ACM on Programming Languages
【2407.01688】 How We Built Cedar: A Verification-Guided Approach
Cedar自体はRustで検証されている
確認用
Q. Cedar
RBAC
ABAC
関連
Lego
OpenFAG
メモ
AWS と定理証明 〜ポリシー言語 Cedar 開発の舞台裏〜 #fp_matsuri / FP Matsuri 2025 - Speaker Deck
調査用
Google.icon
Cedar(日)
Google.icon
Cedar(英)
Wikipedia.icon
Cedar - Wikipedia(日)
Cedar(検索) - Wikipedia(日)
Wikipedia.icon
Cedar - Wikipedia(英)
Cedar(検索) - Wikipedia(英)