Rome Laboratory Computer Security

Abstract

The objective of this presentation is to develop and demonstrate the Tools and technology necessary to realize trusted C3I systems in Air Force and DOD applications, and to emphasize use of normal Verification to assure Security/Trust Mechanism Satisfies Formal Security/Trust Policy Model.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Oct 11, 1993
Accession Number
ADA390667

Entities

People

  • Joseph Giordano

Tags

Communities of Interest

  • C4I
  • Cyber
  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Abstracts
  • Air Force
  • Classification
  • Computer Access Control
  • Computers
  • Cybersecurity
  • Database Management Systems
  • Information Operations
  • Information Systems
  • Intrusion Detection
  • Life Cycle Management
  • Operating Systems
  • Parallel Computing
  • Parallel Processing
  • Performance Tests
  • Security
  • Software Development

Fields of Study

  • Computer science

Readers

  • Geospatial Intelligence and Artificial Intelligence Analytics
  • Mathematical Modeling and Probability Theory.
  • Systems Analysis and Design

Technology Areas

  • Cyber