论文标题
朝向可审核的分布式系统
Towards Auditable Distributed Systems
论文作者
论文摘要
无论是在汽车，公共还是金融部门，分布式（云）系统（DS）的新兴趋势已广泛到达，但是异质服务提供商服务的执行暴露于几种风险。除了可以影响系统正确性的硬件/软件故障或网络攻击外，欺诈也是一个问题。在这种情况下，验证系统的正确性不仅很重要，而且还有证据表现出错误的表现。这使它成为可能，例如可以在系统执行后要求赔偿，也可以确保可以信任验证信息。我们研究的主要目的是根据可审核信息确保监视DS。我们遵循一个分散的监视策略，并设想基于考虑可审核性的分布式程序程序的系统属性的分布式监视方法。这项工作的预期贡献是在我们的框架的应用中建立分布式各方的相互信任以及系统执行中客户的信任。我们在使用无人驾驶汽车预订服务的DS上展示了我们的想法。
The emerging trend towards distributed (cloud) systems (DS) has widely arrived whether in the automotive, public or the financial sector, but the execution of services of heterogeneous service providers is exposed to several risks. Beside hardware/software faults or cyber attacks that can influence the correctness of the system, fraud is also an issue. In such case it is not only important to verify the correctness of the system, but also have evidence which component and participant behaves faulty. This makes it possible, e.g. to claim for compensation after systems execution but also to assure information for verification can be trusted. The main goal of our research is to assure the monitoring of DS based on auditable information. We follow a decentralized monitoring strategy and envision a distributed monitoring approach of system properties based on distributedlogic programs that consider auditability. The expected contribution of this work is to establish with the application of our framework the mutual trust of distributed parties, as well as trust of clients in the systems execution. We showcase our ideas on a DS for booking services with unmanned air vehicles.
