The Software Security Problem and How to Solve It. Revision 1

Abstract

There are many similarities between the requirements of security and the requirements of reliability. The Higher Order Software (HOS) methodology was developed as a means of guaranteeing system reliability and as such is an inherently secure system. HOS manages to solve these two problems of security and reliability by showing that they need not arise in the first place. If software is specified according to the principles of HOS, then there is no need to ask how to prevent data or timing conflicts, because there simply will be no such thing. Similarly, if software had always been specified according to HOS, then it would never have occurred to anyone to ask how to make a software system secure because it simply would have been secure already.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jul 01, 1977
Accession Number
ADA097258

Entities

People

  • Steven Cushing

Tags

Communities of Interest

  • Advanced Electronics
  • Air Platforms
  • C4I

DTIC Thesaurus Topics

  • Abstracts
  • Classification
  • Computer Programming
  • Computers
  • Geometry
  • Information Transfer
  • Language
  • Military Research
  • Operating Systems
  • Plane Geometry
  • Reliability
  • Security
  • Semantic Models
  • Sequences
  • Software Development
  • Structured Programming
  • Triangles

Fields of Study

  • Computer science
  • Engineering

Readers

  • Educational Psychology
  • Software Engineering.