Cryptographic Foundations of Cyber Trust

网络信任的密码学基础

• 批准号: 0430450
• 负责人: Shafrira Goldwasser
• 金额: $ 45万
• 依托单位: Massachusetts Institute of Technology
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2004
• 资助国家: 美国
• 起止时间: 2004-09-01 至 2007-08-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=0430450&HistoricalAwards=false
• 关键词: Cryptographic; Foundations; Cyber; Trust

Proposal Number: NSF-0430450TITLE: Cryptographic Foundations of Cyber TrustPrincipal Investigator: Shafi GoldwasserProtecting the electronic information world is paramount to the success and stability of modern society. This includes protecting the integrity and privacy of stored and communicated data, guaranteeing security of complex electronic transactions, and maintaining availability of the existing infrastructure. At the core of any trustworthy and resilient solution to these problems lies a set of cryptographic protocols that are guaranteed to preserve explicitly stated security requirements under some cryptographic hardness assumptions in the face of malicious attacks. The design of cryptographic protocols is a complex endeavor, which must be accompanied by a security analysis which rests on sound theoretical foundations. This research will address challenges that arise in the the design of cryptograhic protocols at multiple levels, from the mathematical underpinnings of computational difficulty, through modeling and analysis of protocols, to deployment and run-time issues. The following objectives will be pursued: diversifing cryptographic hardness assumptions; adequate modeling and analysis of cryptographic protocols in complex environments; analyzing the security of current practices; and designing new cryptographic protocols which achieve stronger levels of security. The diversity of the challenges addressed will have a significant impact on the design and practice of cryptographic protocols in the future.

提案号：nsf -0430450标题：网络信任的加密基础首席研究员：Shafi goldwasser保护电子信息世界对现代社会的成功和稳定至关重要。这包括保护存储和通信数据的完整性和隐私性，保证复杂电子交易的安全性，以及维护现有基础设施的可用性。对于这些问题，任何可靠且有弹性的解决方案的核心都是一组加密协议，这些协议保证在面对恶意攻击时，在某些加密硬度假设下保持显式声明的安全需求。加密协议的设计是一项复杂的工作，它必须伴随着建立在良好理论基础上的安全性分析。本研究将在多个层面上解决加密协议设计中出现的挑战，从计算难度的数学基础，到协议的建模和分析，再到部署和运行时问题。将追求以下目标：多样化的加密硬度假设；对复杂环境下的加密协议进行充分的建模和分析；分析当前实践的安全性；并设计新的加密协议，以实现更高的安全级别。所解决的挑战的多样性将对未来加密协议的设计和实践产生重大影响。