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):
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