混合认证与信任模型下的可靠通信
Reliable Communication in Hybrid Authentication and Trust Models
AI总结：
本研究面向混合认证与信任模型，扩展经典可靠通信协议以利用可信节点，提出结合传播路径与数字签名的DualRC算法，并给出正确性验证方法，实现未知充分连接网络中的可靠通信。
摘要：
可靠通信是一种基础的分布式通信抽象，它允许网络中的任意两个节点相互通信，是广播、共识等更强大通信原语的必要基础。基于不同的认证模型，已有两种经典协议可在未知且充分连接的网络中实现可靠通信：第一种采用网络链路认证，进程依靠传播路径对消息进行认证；第二种由进程生成数字签名，并在网络中泛洪传播。\n本研究考虑结合了认证链路与认证进程的混合系统模型，同时旨在利用网络中可能存在的可信节点与可信组件——这类假设已在科研文献与实际应用中被采用。我们首先对两种经典可靠通信协议进行扩展，使其能够利用可信节点。随后提出了新型算法DualRC，该算法通过同时运用传播路径与数字签名，在混合认证模型中实现可靠通信，并且能够利用网络中可能存在的可信节点（如网络网关）与可信组件（如Intel SGX 安全区）。我们还提供了正确性验证算法，用于评估所提算法是否能在给定网络中为所有节点实现可靠通信。
英文摘要：
Reliable communication is a fundamental distributed communication abstraction that allows any two nodes of a network to communicate with each other. It is necessary for more powerful communication primitives, such as broadcast and consensus. Using different authentication models, two classical protocols implement reliable communication in unknown and sufficiently connected networks. In the first one, network links are authenticated, and processes rely on dissemination paths to authenticate messages. In the second one, processes generate digital signatures that are flooded in the network. This work considers the hybrid system model that combines authenticated links and authenticated processes. We additionally aim to leverage the possible presence of trusted nodes and trusted components in networks, which have been assumed in the scientific literature and in practice. We first extend the two classical reliable communication protocols to leverage trusted nodes. We then propose DualRC, a novel algorithm that enables reliable communication in the hybrid authentication model by manipulating both dissemination paths and digital signatures, and leverages the possible presence of trusted nodes (e.g., network gateways) and trusted components (e.g., Intel SGX enclaves). We provide correctness verification algorithms to assess whether our algorithms implement reliable communication for all nodes on a given network.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
