The ECA Critical Requirements Model

Abstract

The ECA is an embedded computing device that processes message traffic for a network that must enforce end-to-end user message confidentiality. The ECA uses a commercial, off-the-shelf cryptographic device to transform sensitive data from the Red Domain of the network so that it can be transmitted over the untrusted communication links of the Black Domain. For transmission purposes, certain parts of a message, namely the message header, must be bypassed around the cryptographic device. The primary critical requirement for the ECA, Restricted Red-to-Black Flow (RRTBF), requires that the bypassed portion of each message must satisfy certain format restrictions, and that the rate of bypass must be constrained. In this report, we present an informal model of the ECA's critical requirements together with the assumptions under which the model was constructed. We than formalize this model by using the CSP Trace Model of computation.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Dec 28, 1992
Accession Number
ADA259682

Entities

People

  • Andrew P. Moore
  • Charles N. Payne Jr.
  • David M. Mihelcic
  • Kenneth J. Hayman

Organizations

  • United States Naval Research Laboratory

Tags

Communities of Interest

  • Advanced Electronics
  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Availability
  • Buildings And Structures
  • Central Processing Units
  • Classification
  • Communication Channels
  • Computer Programs
  • Computers
  • Computing Devices
  • Cryptography
  • Embedded Systems
  • Environment
  • Information Operations
  • Information Systems
  • Military Research
  • Numbers
  • Security
  • Sequences

Fields of Study

  • Computer science

Readers

  • Agent-Based Social Robotics and Mobile-Assisted Learning in Virtual Environments.
  • Cybersecurity.