论文标题
部分可观测时空混沌系统的无模型预测
Building secure distributed applications the DECENT way
论文作者
论文摘要
远程证明(RA)在受信任的执行环境(TEES)中运行的代码身份验证,即使在不受信任的主机上也可以部署受信任的代码。但是,由一个组件在分布式应用程序中建立的信任关系可能会影响其他组件的安全性,因此很难就整个应用程序的安全性进行推理。此外,传统的RA方法与现代的Web服务设计互动不佳,该设计倾向于采用小型的互动微服务,短时间的寿命和几乎没有状态。 本文介绍了一个不错的应用程序平台,这是构建安全分散应用程序的框架。体面的应用程序使用基于自我创造证书的协议对分布式的飞地组件进行身份验证并授权,这是基于RA的可重复使用的凭据,并由第三方进行验证。组件不仅根据其代码相互验证,而且还基于他们信任的其他组件,确保没有传输连接的组件会收到未经授权的信息。尽管其他一些TEE框架以某种形式支持相互验证,但体面是唯一支持相互验证的系统,而无需提供可信赖的硬件制造商以外的其他值得信赖的第三方。我们已经验证了Proverif中不错的应用程序数据的保密性和真实性,并实施了两个应用程序来评估体面的表现力和性能:分散式服务,共享乘车服务和分布式哈希表Extentht。在YCSB基准测试中,我们表明Extentht的吞吐量高7.5倍,而与非定义实施相比,吞吐量高3.67倍。
Remote attestation (RA) authenticates code running in trusted execution environments (TEEs), allowing trusted code to be deployed even on untrusted hosts. However, trust relationships established by one component in a distributed application may impact the security of other components, making it difficult to reason about the security of the application as a whole. Furthermore, traditional RA approaches interact badly with modern web service design, which tends to employ small interacting microservices, short session lifetimes, and little or no state. This paper presents the Decent Application Platform, a framework for building secure decentralized applications. Decent applications authenticate and authorize distributed enclave components using a protocol based on self-attestation certificates, a reusable credential based on RA and verifiable by a third party. Components mutually authenticate each other not only based on their code, but also based on the other components they trust, ensuring that no transitively-connected components receive unauthorized information. While some other TEE frameworks support mutual authentication in some form, Decent is the only system that supports mutual authentication without requiring an additional trusted third party besides the trusted hardware's manufacturer. We have verified the secrecy and authenticity of Decent application data in ProVerif, and implemented two applications to evaluate Decent's expressiveness and performance: DecentRide, a ride-sharing service, and DecentHT, a distributed hash table. On the YCSB benchmark, we show that DecentHT achieves 7.5x higher throughput and 3.67x lower latency compared to a non-Decent implementation.