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

职业：在可信处理器上开发高性能安全应用程序的编译框架

• 批准号: 0641177
• 负责人: Youtao Zhang
• 金额: --
• 依托单位: University of Pittsburgh
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 2006
• 资助国家: 美国
• 起止时间: 2006-07-01 至 2010-12-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=0641177&HistoricalAwards=false
• 关键词: CAREER; Compilation; Framework; Development; Performance

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.

可信处理器模型是设计高度安全系统的一个很有前途的模型。然而，它存在一些缺点，限制了它作为高度可信计算基础的应用。这个CAREER项目将在编译和语言框架中解决这些缺点，填补安全应用程序开发人员和安全处理器之间的差距，提供高效的编程环境。可用性和安全性。拟议的研究的成功开发将极大地影响系统级安全保护的设计和实施更广泛的ImapctThe教育部分，这项建议将被整合在课程开发的机构努力，并将有一个扩展的影响全国范围内的系统安全教育。最终，可信进程模型在开发高性能安全应用程序中的广泛采用将有望生效。