A state-based approach to noninterference

Author

Bevier, William R. ; Young, William D.

Author_Institution

Computer Logic Inc., Austin, TX, USA

fYear

1994

fDate

14-16 Jun 1994

Firstpage

11

Lastpage

21

Abstract

We outline an alternative approach to modeling noninterference-style security policies using a state-based model (as opposed to an event-based or i/o-based model). We believe that this approach provides a richer, more intuitive formalism for security modeling than the event-based approach and provides a link to other current research in specification and verification of concurrent and distributed systems. We describe the state-based approach for deterministic and non-deterministic systems with both transitive and intransitive security policies

Keywords

formal specification; program verification; security of data; concurrent systems; deterministic systems; distributed systems; event-based approach; intransitive security policies; modeling; nondeterministic systems; noninterference-style security policies; security modeling; specification; state-based approach; state-based model; transitive security policies; verification; Carbon capture and storage; Computational modeling; Computer security; Interference constraints; Interleaved codes; Logic;

fLanguage

English

Publisher

ieee

Conference_Titel

Computer Security Foundations Workshop VII, 1994. CSFW 7. Proceedings

Conference_Location

Franconia, NH

ISSN

1063-6900

Print_ISBN

0-8186-6230-1

Type

conf

DOI

10.1109/CSFW.1994.315951

Filename

315951