Title :
Noninterference equations for nondeterministic systems
Author :
Pinsky, Sylvan ; Zieglar, Edward
Author_Institution :
National Security Agency
Keywords :
Algebra; Automata; Equations; Information security; Interference constraints; National security; Protection; Sufficient conditions; US Government;
Conference_Titel :
Computer Security Foundations Workshop, 2001. Proceedings. 14th IEEE
Print_ISBN :
0-7695-1147-3
DOI :
10.1109/CSFW.2001.930132
