HERMES Security Design

Abstract

In this paper, we describe two successive attempts to develop a version of the Hermes Message System that represent a workable compromise between the goals of security policy, the fact that computer software cannot in general be trusted (or proven correct) and the need for good human factors in an interactive system. Our conclusions are that acceptable human factors must be designed into the system. Intensive efforts should be made to develop effective software verification techniques or other means for making it possible to trust as much of the software as possible.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Mar 01, 1979
Accession Number
ADA070047

Entities

People

  • James R. Miller

Organizations

  • BBN Technologies

Tags

Communities of Interest

  • Space

DTIC Thesaurus Topics

  • Air Force
  • Classification
  • Classified Materials
  • Computer Programs
  • Computers
  • Cybersecurity
  • Databases
  • Department Of Defense
  • Information Science
  • Message Processing
  • Message Systems
  • Military Research
  • Operating Systems
  • Security
  • Sequences
  • Terminals
  • User Interface

Fields of Study

  • Computer science

Readers

  • Cybersecurity.
  • Distributed Systems and Data Platform Development
  • Instructional Design and Training Evaluation.