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.

智力优点可信处理器模型是设计高度安全系统的一个有前途的模型。然而，有几个缺点限制了其作为高度可信计算基础的应用。这个职业项目将在编译和语言框架中解决这些缺点，以填补安全应用程序开发人员和安全处理器之间的空白，以提供编程环境高效率、可用性和安全性。该研究的成功开展将极大地影响系统级安全保护的设计和实施。 更广泛的影响 该提案的教育部分将被纳入课程开发的机构工作中，并将对全国范围内的系统安全教育产生广泛的影响。最终，广泛采用可信流程模型来开发高性能安全应用程序将有望生效。