By Topic

A logical approach to multilevel security of probabilistic systems

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

2 Author(s)
Gray, J.W., III. ; US Naval Res. Lab., Washington, DC, USA ; Syverson, P.F.

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

Published in:

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

Date of Conference:

4-6 May 1992