GEM：一种用于信任管理的分布式目标评估算法
计算机科学中的逻辑
2020-02-19 v1
摘要
信任管理是分布式系统中访问控制的一种方法，其中访问决策基于由多个主体发布并以分布式方式存储的策略声明。在信任管理中，一个主体的策略声明可以引用其他主体的声明；因此，评估访问请求（即目标）的过程包括寻找允许访问所请求资源的策略声明“链”。大多数现有的信任管理目标评估算法要么依赖于集中式评估策略（即将所有相关策略声明收集到单一位置，因此无法保证内涵策略的机密性），要么无法检测到计算的终止（即何时计算出目标的所有答案）。在本文中，我们提出了 GEM，这是一种用于信任管理系统的分布式目标评估算法，它依赖于无函数逻辑编程来指定策略声明。GEM 以完全分布式的方式检测终止，同时不泄露内涵策略，从而保护其机密性。我们证明了该算法能够终止，并且相对于逻辑程序的标准语义是可靠且完备的。
引用
@article{arxiv.1210.0368,
title = {GEM: a Distributed Goal Evaluation Algorithm for Trust Management},
author = {Daniel Trivellato and Nicola Zannone and Sandro Etalle},
journal= {arXiv preprint arXiv:1210.0368},
year = {2020}
}
备注
To appear in Theory and Practice of Logic Programming (TPLP)