DocumentCode

3195366

Title

Noninterference equations for nondeterministic systems

Author

Pinsky, Sylvan ; Zieglar, Edward

Author_Institution

National Security Agency

fYear

2001

fDate

2001

Firstpage

3

Lastpage

14

Keywords

Algebra; Automata; Equations; Information security; Interference constraints; National security; Protection; Sufficient conditions; US Government;

fLanguage

English

Publisher

ieee

Conference_Titel

Computer Security Foundations Workshop, 2001. Proceedings. 14th IEEE

ISSN

1063-6900

Print_ISBN

0-7695-1147-3

Type

conf

DOI

10.1109/CSFW.2001.930132

Filename

930132