Accession Number:

ADA465050

Title:

A Classical Automata Approach to Noninterference Type Problems

Descriptive Note:

Conference paper

Corporate Author:

NAVAL RESEARCH LAB WASHINGTON DC

Report Date:

1992-06-01

Pagination or Media Count:

9.0

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.

Subject Categories:

  • Theoretical Mathematics

Distribution Statement:

APPROVED FOR PUBLIC RELEASE