Safety versus Secrecy

Abstract

Safety and secrecy are formulated for a deterministic programming language. A safety property is defined as a set of program traces and secrecy is defined as a binary relation on traces, characterizing a form of Noninterference. Safety properties may have sound and complete execution monitors whereas secrecy has no such monitor.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Sep 01, 1999
Accession Number
ADA494967

Entities

People

  • Dennis Volpano

Organizations

  • Naval Postgraduate School

Tags

Communities of Interest

  • Cyber

DTIC Thesaurus Topics

  • Abstracts
  • Computer Programming
  • Computer Science
  • Computers
  • Cybersecurity
  • Information Operations
  • Language
  • Monitoring
  • Observation
  • Operating Systems
  • Programming Languages
  • Security
  • Semantics
  • Sequences
  • Transitions
  • Trojan Horse

Fields of Study

  • Computer science

Readers

  • Cybersecurity.
  • Theoretical Analysis.