SGER: SCIF: Securing the Computing and Information Future: Principled Foundations and New Cryptographic Abstractions

本项目的研究计划为：（1）为信息安全开发新的原则基础，包括新的密码原语和新的抽象，基于格理论，（2）探索这种方法对信息安全要求的影响，因为可能出现新的应用，包括合成生物学，通信高效网络和纳米电子计算机架构，以及（3）建立一个从新基础到新应用的桥梁的愿景。 许多预期的和新兴的技术提出了新的信息安全要求，这些要求不一定得到现有信息安全基础设施和密码原语的良好支持。 本研究将从计算和信息安全的新角度调查这些问题。 总的来说，该计划采取了一种全新的方法来计算重新概念化前瞻性领域的信息安全基础。

The research plan of this project is: (1) develop new principled foundations for information security, including new cryptographic primitives and new abstractions, based on lattice theory, (2) explore the implications of this approach to information security requirements as may emerge novel applications, including synthetic biology, communication-efficient networks, and nano-electronic computer architectures, and (3) develop a vision of a bridge from the new foundations to the new applications. Many anticipated and emerging technologies pose novel information security requirements that are not necessarily well supported by existing information security infrastructure and cryptographic primitives. This research will investigate these issues from this new perspective on computing and information security. Overall, the plan takes a clean-slate approach to computationally re-conceptualizing the basis of information security in forward-looking domains.