TC: Small: Layered Modeling for Design, Analysis, and Implementation of Trusted Platform Applications

TC：小型：用于可信平台应用程序的设计、分析和实现的分层建模

• 批准号: 0915735
• 负责人: Stephen Tate
• 金额: $ 49.81万
• 依托单位: University of North Carolina Greensboro
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2009
• 资助国家: 美国
• 起止时间: 2009-09-01 至 2014-08-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=0915735&HistoricalAwards=false
• 关键词: TC; Small; Layered; Modeling; Design

As trusted computing technology, and trusted platform modules (TPMs) in particular, become widespread, it is important to build a strong foundation for applications built on this new technology. This project is a structured effort to develop a model for trusted platform applications, using a layered approach that supports rigorous analysis and security proofs, and provides a basis for modular software design that directly maps to the analytic model. Project activities are organized toward five specific objectives: development of concrete mathematical models for rigorous security analysis; analysis of specific widely-applicable functionality built on TPMs; development of a timing-accurate, extensible TPM simulator; study of TPM use in applications; and development of a layered security framework corresponding to the formal model. The project's approach is guided by two philosophies: keep it structured and simple (the principle of economy of mechanism) and justify constructions through rigorous analysis and proof.Despite the growing use of trusted computing technology in modern systems, there has been very little formal research regarding this new technology. This project will fill this gap and provide a basis for future work in both using trusted computing technology and in designing extensions to the current technology. In addition to publications describing the knowledge gained, software for the extensible TPM simulator and the layered trusted computing framework will be distributed freely. The project will also result in the creation of a website that will be a portal for information on trusted computing and related research, and will include the development of a course on trusted computing and trusted platforms that will prepare both undergraduates and graduate students for work in this emerging area.

随着可信计算技术，特别是可信平台模块（TPM）的普及，为基于这种新技术的应用程序奠定坚实的基础非常重要。 该项目是一个结构化的努力，以开发一个模型的可信平台应用程序，使用分层的方法，支持严格的分析和安全证明，并提供了一个模块化的软件设计，直接映射到分析模型的基础。 项目活动的组织朝着五个具体目标：具体的数学模型，严格的安全分析的发展;分析建立在TPM的具体广泛适用的功能;开发一个时间准确，可扩展的TPM模拟器; TPM在应用程序中的使用研究;和开发一个分层的安全框架对应的正式模型。 该项目的方法是由两个哲学指导：保持结构化和简单（机制经济原则），并通过严格的分析和证明来证明结构。尽管可信计算技术在现代系统中的使用越来越多，但关于这种新技术的正式研究却很少。 该项目将填补这一空白，并提供了一个基础，为未来的工作，在使用可信计算技术和设计扩展到目前的技术。 除了描述所获得的知识的出版物外，可扩展TPM模拟器和分层可信计算框架的软件将免费分发。 该项目还将创建一个网站，作为关于可信计算和相关研究的信息门户，并将包括编制关于可信计算和可信平台的课程，为本科生和研究生在这一新兴领域工作做好准备。