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

SGER：在错误和非限制执行环境中进行可信计算的密码技术

• 批准号: 0808907
• 负责人: Ronald Rivest
• 金额: --
• 依托单位: Massachusetts Institute of Technology
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2008
• 资助国家: 美国
• 起止时间: 2008-09-15 至 2010-08-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=0808907&HistoricalAwards=false
• 关键词: SGER; Cryptographic; Techniques; Trustworthy; Computation

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.

提案编号：0808907PI：Ronald L Rivestinstitution：马萨诸塞州技术研究所：SGER：SGER：用于可信赖的计算的加密技术，用于有缺陷和非裁定执行环境的信任计算，该探索性研究的目的是找到用于在Insecure中进行安全计算的方法，以确定不受欢迎的环境，并且可能是不完美的，可能是不完美的。为了实现这一目标，正在采用两种互补的方法。 第一个，灵感来自“证明携带代码”的技术？是“证明数据”吗？可以通过当前方法解决许多困难的框架。 在此框架中，系统设计人员规定了计算输出的所需属性，通常表示安全性或隐私属性。 这些属性的证据附在流经系统的数据上，并由系统组件相互验证。 第二个研究重点是调查手段，尽管不可避免的风险，但对计算的具体实现可以保证安全性。 该方法的新颖性是，风险所基于的假设是可枚举的，因此可以检查它们以确保它们是理想情况下，最小，现实和可验证的。