计算机科学>编程语言
标题: 使用FLAQR安全地应用共识和复制
摘要: 可用性对分布式系统的安全性至关重要,但要保证可用性是很困难的,尤其是当系统中的参与者可能恶意行为时。 仲裁复制协议提供完整性和可用性:数据和计算在多个独立主机上复制,这些主机的仲裁必须同意应用于数据的所有操作的输出。 不幸的是,这些协议的开销很高,很难根据特定应用程序的需要进行校准。 理想情况下,开发人员可以使用高级抽象来达成共识并进行复制,从而编写构造安全的容错代码。 本文介绍了用于仲裁复制的流限制授权(FLAQR),这是一种核心演算,用于使用异构仲裁复制协议构建分布式应用程序,同时加强端到端的信息安全。 我们的类型系统确保了类型良好的FLAQR程序不会以违反其类型级规范的方式失败(遇到不可恢复的错误)。 我们提出了在一致性、复制和失败情况下表征FLAQR机密性、完整性和可用性的不干涉定理,以及在有界错误数下一类多数仲裁协议的活性定理。