谷歌浏览器插件
订阅小程序
在清言上使用
VIPCreated with Sketch.

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

Joseph W. Cutler,Craig Disselkoen, Aaron Eline, Shaobo He,Kyle Headley,Michael Hicks,Kesha Hietala,Eleftherios Ioannidis,John Kastner, Anwar Mamat, Darin Mcadams,Matt McCutchen,Neha Rungta,Emina Torlak,Andrew M. Wells

Proceedings of the ACM on Programming Languages（2024）

引用 2|浏览26
关键词
Authorization,Formal models,Policies as code
AI 理解论文
溯源树
样例
生成溯源树，研究论文发展脉络
Chat Paper
正在生成论文摘要