Accession Number:

ADA070047

Title:

HERMES Security Design

Descriptive Note:

Technical rept.

Corporate Author:

BOLT BERANEK AND NEWMAN INC CAMBRIDGE MA

Personal Author(s):

Report Date:

1979-03-01

Pagination or Media Count:

37.0

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.

Subject Categories:

  • Computer Programming and Software
  • Non-Radio Communications

Distribution Statement:

APPROVED FOR PUBLIC RELEASE