A Classical Automata Approach to Noninterference Type Problems
NAVAL RESEARCH LAB WASHINGTON DC
Pagination or Media Count:
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.
- Theoretical Mathematics