Accession Number:

ADA470495

Title:

Analysis of a Measured Launch

Descriptive Note:

Technical rept.

Corporate Author:

MITRE CORP BEDFORD MA

Report Date:

2007-06-05

Pagination or Media Count:

14.0

Abstract:

The design of a trusted system based on the Trusted Computing Groups 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.

Subject Categories:

  • Computer Programming and Software
  • Computer Hardware
  • Computer Systems Management and Standards

Distribution Statement:

APPROVED FOR PUBLIC RELEASE