“应用于委托撤销的知识库范式”技术报告
计算机科学中的逻辑
2019-08-30 v1 密码学与安全
摘要
在基于所有权的访问控制框架中，若存在委托权限和管理权利的可能性，则会形成委托链。在撤销权利时有不同方式处理委托链，从而产生不同的撤销方案。本文中，我们从知识库范式的视角研究委托撤销问题。知识库是以丰富形式语言对领域知识的正式规约。可对该形式规约应用多种推理形式，以解决领域中出现的各种问题与任务。换言之，该范式提出信息与问题求解之间的严格关注点分离。我们在本文中使用的知识库规约了各种撤销方案的效果。通过对该知识库应用不同推理，我们可以解决以下任务：确定某次委托或撤销后系统的状态；交互式模拟系统状态随时间的演进；给定系统某状态确定用户是否具有某权限或管理权利；验证系统不变量；以及确定哪些撤销方案会产生某指定的期望结果集。
引用
@article{arxiv.1908.11132,
title = {Technical report of "The Knowledge Base Paradigm Applied to Delegation Revocation"},
author = {Marcos Cramer and Zohreh Baniasadi and Pieter Van Hertum},
journal= {arXiv preprint arXiv:1908.11132},
year = {2019}
}