A logical approach to multilevel security of probabilistic systems

被引：20

作者：

Gray, JW

Syverson, PF ^{[1
]}

机构：

[1] Hong Kong Univ Sci & Technol, Dept Comp Sci, Kowloon, Hong Kong

[2] USN, Res Lab, Ctr High Assurance Comp Syst, Washington, DC 20375 USA

来源：

DISTRIBUTED COMPUTING | 1998年 / 11卷 / 02期

关键词：

formal modeling; verification; knowledge; security; probabilistic systems;

D O I：

10.1007/s004460050043

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

We set out a modal logic for reasoning about multilevel security of probabilistic systems. This logic contains expressions for time, probability, and knowledge. Making use of the Halpern-Tuttle framework for reasoning about knowledge and probability, we give a semantics for our logic and prove it is sound. We give two syntactic definitions of perfect multilevel security and show that their semantic interpretations are equivalent to earlier, independently motivated characterizations. We also discuss the relation between these characterizations of security and between their usefulness in security analysis.

引用

页码：73 / 90

页数：18