A Classical Automata Approach to Noninterference Type Problems

Abstract

Using classical automata theory we show how noninterference can be viewed as a relatively simple phenomenon. We also give direction for future work concerning probabilistic security problems using classical automata theory.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jun 01, 1992
Accession Number
ADA465050

Entities

People

  • Ira S. Moskowitz
  • Oliver L. Costich

Organizations

  • United States Naval Research Laboratory

Tags

DTIC Thesaurus Topics

  • Abstracts
  • Alphabets
  • Automata
  • Automata Theory
  • Complex Systems
  • Construction
  • Cybersecurity
  • Electronic Mail
  • Information Systems
  • Machines
  • Military Research
  • Probability
  • Security
  • Sequences
  • Standards
  • Theorems
  • Transitions

Readers

  • Mathematical Modeling and Probability Theory.