[论文解读] Nonmonotonic Trust Management for P2P Applications

Marcin Czenko, Huu Tam Tran+4 more|arXiv (Cornell University)|Oct 21, 2005

Access Control and Trust被引用 12

一句话总结

本文提出 RT$_{\mkern-3.0mu\ominus}$，即角色信任管理（RT）语言的扩展，引入了‘上下文中的否定’机制，以在对等（P2P）虚拟社区中支持非单调访问控制。通过整合逻辑程序的稳态语义，该框架能够推理信任策略，这些策略可根据上下文条件撤销或拒绝访问，从而在无需单调性要求的情况下实现可扩展且安全的社区驱动访问决策。

ABSTRACT

Community decisions about access control in virtual communities are non-monotonic in nature. This means that they cannot be expressed in current, monotonic trust management languages such as the family of Role Based Trust Management languages (RT). To solve this problem we propose RT-, which adds a restricted form of negation to the standard RT language, thus admitting a controlled form of non-monotonicity. The semantics of RT- is discussed and presented in terms of the well-founded semantics for Logic Programs. Finally we discuss how chain discovery can be accomplished for RT-.

研究动机与目标

• 为解决单调信任管理语言在建模需要非单调推理的基于社区的访问控制决策方面的局限性。
• 使虚拟社区能够表达基于上下文条件而非仅凭凭证积累来拒绝或撤销访问的策略。
• 使用逻辑程序的稳态语义，形式化非单调信任策略的语义。
• 扩展链发现算法，以支持在可追溯签发者凭证环境中的 RT$_{\mkern-3.0mu\ominus}$。
• 为在类似 Freeband I-SHARE 项目中的 P2P 系统中指定和强制执行分布式访问控制策略提供实用基础。

提出的方法

• 将 RT$_0$ 信任管理语言扩展，引入一种新的语句类型以支持‘上下文中的否定’，从而根据上下文知识实现条件性访问拒绝。
• 将 RT$_{\mkern-3.0mu\ominus}$ 策略映射为一般逻辑程序，以利用稳态语义实现非单调推理。
• 使用稳态语义处理默认否定，确保在存在冲突或不完整信息时，信任决策保持一致且稳定。
• 通过在凭证路径验证过程中整合上下文敏感的否定，将现有的 RT$_0$ 链发现算法适配以支持 RT$_{\mkern-3.0mu\ominus}$。
• 采用模型检测方法，利用 XSB、DLV 和 Smodels 等系统，评估策略的完备性与成员资格决策。
• 假设使用可追溯签发者的凭证，以确保在链发现过程中可收集并验证所有相关凭证。

实验结果

研究问题

• RQ1 能否在 P2P 虚拟社区中，通过信任管理语言有效建模非单调访问控制策略？
• RQ2 如何在不破坏一致性或可扩展性的前提下，将上下文中的否定正式集成到基于逻辑的信任管理机制中？
• RQ3 何种语义能够支持在信任策略中存在上下文否定时的可靠且完备的推理？
• RQ4 现有链发现算法能否被扩展以支持 RT$_{\mkern-3.0mu\ominus}$ 中的非单调策略？
• RQ5 非单调性对去中心化、社区驱动的 P2P 系统中信任管理的实际影响是什么？

主要发现

• RT$_{\mkern-3.0mu\ominus}$ 语言通过引入一种受控的上下文否定形式，成功支持了虚拟社区中的非单调访问控制策略。
• 稳态语义为基于上下文条件可能撤销或拒绝访问的信任决策推理提供了稳定且广为人知的理论基础。
• 将 RT$_{\mkern-3.0mu\ominus}$ 策略转换为逻辑程序，使得可利用 XSB 和 DLV 等标准逻辑执行引擎进行策略评估。
• 在可追溯签发者凭证的假设下，RT$_{\mkern-3.0mu\ominus}$ 中的链发现是可行的，通过引入上下文感知的否定处理，扩展了现有的 RT$_0$ 算法。
• 该框架已在 Freeband I-SHARE 项目中成功应用于指定和实现虚拟社区策略，证明了其实际可行性。
• 本文识别出在非可追溯签发者场景下的开放挑战，并提出了未来在安全角色定义与通信高效链发现方面的研究方向。