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.