A logical approach to multilevel security of probabilistic systems

Author

Gray, James W., III ; Syverson, Paul F.

Author_Institution

US Naval Res. Lab., Washington, DC, USA

fYear

1992

fDate

4-6 May 1992

Firstpage

164

Lastpage

176

Abstract

A second-order modal logic for reasoning about multilevel security in probabilistic systems is proposed. A possible world semantics is presented, and it is proved that the logic is sound with respect to it. The semantics is novel in treating probability measures themselves as possible worlds. After giving a syntatic definition of security, it is shown that the semantic interpretation of the syntactic definition is equivalent to an earlier independently motivated characterization called probabilistic noninterference due to J. W. Gray, III (1991). The authors examine a syntatic representation of Gray´s applied flow model and discuss the relation between these characterizations of security and between their usefulness in security analysis. A syntatic description of a round-robin server and a sketch of the formal proof of its security are also provided

Keywords

inference mechanisms; probabilistic logic; security of data; flow model; formal proof; multilevel security; possible world semantics; probabilistic noninterference; probabilistic systems; reasoning; round-robin server; second-order modal logic; Information security; Information technology; Laboratories; Multilevel systems; Probabilistic logic; Stochastic processes;

fLanguage

English

Publisher

ieee

Conference_Titel

Research in Security and Privacy, 1992. Proceedings., 1992 IEEE Computer Society Symposium on

Conference_Location

Oakland, CA

Print_ISBN

0-8186-2825-1

Type

conf

DOI

10.1109/RISP.1992.213263

Filename

213263