Cryptographic Foundations of Cyber Trust

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

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.