使用一阶逻辑推理策略
计算机科学中的逻辑
2007-05-23 v3 密码学与安全
摘要
策略描述了在何时允许或禁止某项行动的条件。我们展示了（多排序）一阶逻辑的一个片段可用于表示和推理策略。由于采用一阶逻辑，策略具有明确的语法和语义。我们进一步展示，通过限制该片段可得到一种仍具表达力且也具可计算性的语言。更准确地说，关于 entailment 的问题（例如“Alice 是否可以访问该文件？”），可在低阶多项式时间内解决（事实上，在某些情况下几乎是线性时间），策略集合的一致性问题亦可如此解决。
关键词
引用
@article{arxiv.cs/0601034,
title = {Using First-Order Logic to Reason about Policies},
author = {Joseph Y. Halpern and Vicky Weissman},
journal= {arXiv preprint arXiv:cs/0601034},
year = {2007}
}
备注
39 pages, earlier version in Proceedings of the Sixteenth IEEE Computer Security Foundations Workshop, 2003, pp. 187-201