Analysis of a Measured Launch

Abstract

The design of a trusted system based on the Trusted Computing Group's Trusted Platform Module (TPM) was analyzed to understand the role and trust relationships of the TPM, firmware, and software modules involved. The objective was to confirm that the measurements stored and reported by the TPM can successfully discriminate a normal boot sequence, which leaves trusted system software in control, from an insecure one, where some trusted modules might have been replaced by malicious ones. The principal tool used in the analysis was the SMV symbolic model checker.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jun 05, 2007
Accession Number
ADA470495

Entities

People

  • Brian Sniffen
  • John Ramsdell
  • Jon Millen
  • Joshua Guttman
  • Justin Sheehy

Organizations

  • MITRE Corporation

Tags

Communities of Interest

  • Cyber

DTIC Thesaurus Topics

  • Application Software
  • Computer Programs
  • Firmware
  • Hypervisors
  • Kernels (Operating System)
  • Measurement
  • Models
  • Operating Systems
  • Platforms
  • Sequences
  • Specifications
  • Standards
  • System Software
  • Transitions
  • Virtual Machines
  • Websites

Fields of Study

  • Computer science

Readers

  • Cybersecurity.
  • Mathematical Modeling and Probability Theory.
  • Regression Analysis.