超越合规证明：信任管理中的安全分析

信任管理是一种分布式访问控制形式，允许一个主体将某些访问决策委托给其他主体。虽然使用委托极大地增强了灵活性和可扩展性，但它也可能减少主体对其拥有资源的控制。安全分析询问在委托给部分可信主体时，是否可以维持安全性、可用性和其他属性。我们表明，与经典的Harrison--Ruzzo--Ullman安全属性的不可判定性相反，我们的主要安全属性是可判定的。特别是，我们研究的大多数安全属性在多项式时间内是可判定的。我们研究的最复杂的安全属性，包含性分析的计算复杂性取决于信任管理语言的表达能力。