[论文解读] Certificate Linking and Caching for Logical Trust

Qiang Cao, Vamsi Thummala+3 more|arXiv (Cornell University)|Jan 22, 2017

Access Control and Trust参考文献 25被引用 7

一句话总结

本文提出了一种在SAFE平台中用于多域网络化系统实现逻辑信任的证书链接与缓存机制。通过使用可脚本化、基于依赖关系的证书链接，SAFE将信任逻辑与应用代码解耦，从而在分布式证书上实现高吞吐量、安全的推理，并支持用于联邦命名和安全路由等用例的紧凑信任核心。

ABSTRACT

SAFE is a data-centric platform for building multi-domain networked systems, i.e., systems whose participants are controlled by different principals. Participants make trust decisions by issuing local queries over logic content exchanged in certificates. The contribution of SAFE is to address a key barrier to practical use of logical trust: the problem of identifying, gathering, and assembling the certificates that are relevant to each trust decision. SAFE uses a simple linking abstraction to organize and share certificates according to scripted primitives that implement the application's trust kernel and isolate it from logic concerns. We show that trust scripting with logical data exchange yields compact trust cores for example applications: federated naming, nested groups and roles, secure IP prefix delegation and routing, attestation-based access control, and a federated infrastructure-as-a-service system. Linking allows granular control over dynamic logic content based on dependency relationships, enabling a logic server to make secure inferences at high throughput.

研究动机与目标

• 解决在去中心化、多域系统中识别、收集并组装相关证书以进行信任决策的挑战。
• 通过使用可脚本化的链接抽象隔离信任内核，将信任逻辑与应用代码解耦。
• 在分布式环境中实现对动态证书依赖关系的高吞吐量、安全推理。
• 为多样化用例（如基于角色的访问控制和安全路由）提供紧凑且可重用的信任核心。
• 通过证书缓存和逻辑链接提升信任决策的可扩展性和可维护性。

提出的方法

• 引入一种证书链接抽象，基于信任脚本定义的依赖关系组织证书。
• 使用逻辑服务器通过脚本定义的规则动态解析和验证证书链。
• 通过缓存减少重复的证书获取，提升高吞吐量场景下的性能。
• 通过脚本原语实现模块化、应用特定的信任内核，将信任逻辑与应用关注点隔离。
• 通过确保仅满足依赖条件的证书才被纳入信任决策，实现安全推理。
• 通过可扩展的链接原语支持动态、应用特定的信任策略，表达证书之间的逻辑关系。

实验结果

研究问题

• RQ1 如何在多域系统中高效且安全地从分布式的异构证书中组合出信任决策？
• RQ2 何种机制可实现可扩展且可维护的信任逻辑，而无需与应用代码紧密耦合？
• RQ3 如何建模并强制执行证书依赖关系，以支持动态、策略驱动的信任推理？
• RQ4 在重复的信任决策场景中，缓存能带来哪些性能和可扩展性优势？
• RQ5 统一的链接抽象能否支持多样化的信任用例，如联邦命名和安全路由？

主要发现

• 证书链接抽象支持紧凑、应用特定的信任核心，将信任逻辑与应用逻辑相隔离。
• 通过利用缓存的、预先验证的证书依赖关系和动态解析，信任决策实现了高吞吐量。
• 该方法支持多种用例，包括联邦命名、嵌套角色、安全IP前缀委派以及基础设施即服务的信任。
• 脚本化链接可对哪些证书被视为与特定信任决策相关实现精确、策略驱动的控制。
• 缓存减少了冗余的证书获取，提升了重复或并发信任操作的性能。
• 该系统在去中心化、多域环境中的实际部署中表现出可行性。