CAREER: A Compilation Framework for the Development of High Performance Secure Applications on Trusted Processors

智能优点可信处理器模型是设计高度安全系统的一种很有前途的模型。这个职业项目将在编译和语言框架方面解决这些缺陷，以填补安全应用程序开发人员和安全处理器之间的空白，从而提供一个高效、可用性和安全性的编程环境。拟议研究的成功开展将极大地影响系统级安全保护的设计和实施。广泛影响这项建议的教育部分将被整合到课程开发的机构努力中，并将对全国的系统安全教育产生广泛的影响。最终，用于开发高性能安全应用程序的可信进程模型将有望得到广泛采用。

Intellectual MeritThe trusted processor model is a promising model for designing highly secure systems. However there are several drawbacks that limit its application as a highly trusted computing base.This CAREER project will address these drawbacks in a compilation and language framework to fill the gap between a secure application developer and the secure processor for the provision of a programming environment with high efficiency, usability and security. The successful development of the proposed research will greatly impact the design and implementation of system level security protectionBroader ImapctThe educational component of this proposal will be integrated in institutional efforts of curriculum development, and will have an extendeded impact nationwide on education in system security. Eventually, wide adoption of the trusted process model for developing high performance secure applications will hopefully take effect.