Security Concepts for Microprocessor Based Key Generator Controllers.

Abstract

The use of microprocessors in key generator controller designs can improve device throughput, reduce size and heat dissipation, and provide for greater functionality while reducing cost and energy requirements. However, there are many inherent difficulties in using microprocessors in a key generator controller. This study investigates how the three disciplines of architecture, software verification, and security failure analysis can be applied in a mutually supporting manner such the resulting microprocessor based controller could be attested to provide the level of security and reliability needed for correct operation. The architecture study identifies the importance of relatively isolated processing domains. Additional keywords: domain isolation machines; security fault analysis; safety analysis.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Apr 24, 1984
Accession Number
ADA155194

Entities

People

  • B. L. Kahn
  • R. J. Feiertag
  • R. K. Bauer
  • W. F. Wilson

Tags

Communities of Interest

  • Cyber
  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Application Software
  • C Programming Language
  • Computer Programming
  • Computers
  • Cryptography
  • Failure Analysis
  • Failure Mode And Effect Analysis
  • High Level Languages
  • Hypervelocity Flow
  • Language
  • Markov Chains
  • Markov Processes
  • Operating Systems
  • Programming Languages
  • Safety Analysis
  • Standards
  • Stochastic Processes

Fields of Study

  • Computer science
  • Engineering

Readers

  • Cybersecurity.
  • Integrated Circuit Design and Technology.
  • Theoretical Analysis.