Title :
A classical automata approach to noninterference type problems
Author :
Moskowitz, Ira S. ; Costich, Oliver L.
Author_Institution :
Center for Secure Inf. Technol., Naval Res. Lab., Washington, DC, USA
Abstract :
Using classical automata theory the authors show how noninterference can be viewed as a relatively simple phenomenon. They also give direction for future work concerning probabilistic security problems using classical automata theory
Keywords :
DP management; automata theory; security of data; classical automata approach; noninterference type problems; probabilistic security problems; Automata; Computer security; Concrete; Information analysis; Information security; Information systems; Information technology; Information theory; Interference; Laboratories;
Conference_Titel :
Computer Security Foundations Workshop V, 1992. Proceedings.
Conference_Location :
Franconia, NH
Print_ISBN :
0-8186-2850-2
DOI :
10.1109/CSFW.1992.236792
