摘要 : Administering and maintaining access control systems is a challenging task, especially in environments with complex and changing authorization requirements. A number of authorization logics have been proposed that aim at simplifyi... 展开
作者 | MORITZ Y. BECKER SEBASTIAN NANZ |
---|---|
作者单位 | |
期刊名称 | 《ACM transactions on information and system security》 |
页码/总页数 | P.20.1-20.28 / 28 |
语种 | 英语 |
关键词 | authorization access control policy hoare logic |
DOI | 10.1145/1805974.1805976 |
馆藏号 | TP-388 |