在 IDP 中建模授权与撤销方案
计算机科学中的逻辑
2014-05-08 v1 密码学与安全
摘要
在基于所有权的访问控制框架中，若允许委托权限和管理权利，则会形成授权链。在撤销权利时，处理这些授权链的方式各不相同，从而产生了不同的撤销方案。本文展示了如何利用 IDP（一个集成了 ASP、SAT 和 CP 技术的知识库系统），基于对其属性的声明式规范，高效地实现基于所有权的访问控制系统的可执行撤销方案。
引用
@article{arxiv.1405.1584,
title = {Modelling Delegation and Revocation Schemes in IDP},
author = {Marcos Cramer and Pieter Van Hertum and Diego Agustin Ambrossio and Marc Denecker},
journal= {arXiv preprint arXiv:1405.1584},
year = {2014}
}
备注
16 pages