SGER: Cryptographic Techniques for Trustworthy Computation in Faulty and Non-Confining Execution Environments

提案号：0808907PI: Ronald L RivestInstitution：麻省理工学院标题：SGER：在错误和非限制性执行环境中可靠计算的加密技术本探索性研究的目的是找到在不安全，不完善和可能恶意的环境中进行安全计算的方法。为了实现这一目标，正在采取两种相辅相成的办法。第一个，灵感来自于？证明携带代码，？是？Proof-Carrying数据?框架，可以解决当前方法的许多困难。在这个框架中，系统设计者规定了计算所需的属性。S输出，通常表示安全或隐私属性。这些属性的证明附加在流经系统的数据上，并由系统相互验证。年代组件。第二个研究重点是研究计算的具体实现如何在不可避免的风险下保证安全属性。该方法的新颖之处在于，风险所基于的假设是可枚举的，因此可以检查它们，以确保它们在理想情况下是最小的、现实的和可验证的。

Proposal Number: 0808907PI: Ronald L RivestInstitution: Massachusetts Institute of TechnologyTitle: SGER: Cryptographic Techniques for Trustworthy Computation in Faulty and Non-Confining Execution EnvironmentsThe objective of this exploratory research is to find methods for conducting secure computation within insecure, imperfect, and possibly malicious environments. To realize this goal, two complementary approaches are being pursued. The first one, inspired by the technique of ?proof carrying code,? is a ?Proof-Carrying Data? framework that can address many of the difficulties with current approaches. In this framework, the system designer prescribe the desired properties of the computation?s output, usually expressing a security or privacy property. Proofs of these properties are attached to the data flowing through the system, and are mutually verified by the system?s components. The second research focus is the investigation of means by which concrete realizations of computation can guarantee security properties despite inevitable risks. The novelty in the method is that the assumptions on which the risks are based are enumeratable, so they can be checked to be sure they that are, ideally, minimal, realistic, and verifiable.