Accession Number:

ADA465050

Title:

A Classical Automata Approach to Noninterference Type Problems

Descriptive Note:

Conference paper

Corporate Author:

NAVAL RESEARCH LAB WASHINGTON DC

Personal Author(s):

• Moskowitz, Ira S.
• Costich, Oliver L.

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.

Descriptors:

• *THEORY
• *AUTOMATA
• SYMPOSIA
• PROBABILITY
• THEOREMS
• SECURITY
• MODELS

Subject Categories:

• Theoretical Mathematics

Distribution Statement:

APPROVED FOR PUBLIC RELEASE