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.