Probabilistic Interference in Restrictive Systems

Abstract

Probabilistic interference in nondeterministic machines can be exploited by trojan horses to reliably leak information to unauthorized users. This problem has been noted by other researchers but has not previously been addressed. We extend McCullough's restrictiveness to additionally prevent probabilistic interference. Then, to illustrate the use of our extension, we develop a nondeterministic system that solves a denial of service problem, and we use our definition to prove that the system is secure. Finally, we prove a limited composability result.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jun 20, 1991
Accession Number
ADA238924

Entities

People

  • James W. Gray Iii

Organizations

  • United States Naval Research Laboratory

Tags

Communities of Interest

  • Cyber

DTIC Thesaurus Topics

  • Composite Materials
  • Computer Access Control
  • Computer Programs
  • Computers
  • Cybersecurity
  • Denial Of Service Attack
  • Language
  • Military Research
  • Probability
  • Reasoning
  • Security
  • Sequences
  • Specifications
  • Transitions
  • Trojan Horse
  • User Interface

Fields of Study

  • Computer science

Readers

  • Cybersecurity.
  • Mathematical Modeling and Probability Theory.
  • Radio communications and signal processing.