Accession Number : ADA294336

Title :   Epistemology of Information Flow in the Multilevel Security of Probabilistic Systems.

Descriptive Note : Interim rept.,

Corporate Author : NAVAL RESEARCH LAB WASHINGTON DC

Personal Author(s) : Gray, James W. ; Syverson, Paul F.

PDF Url : ADA294336

Report Date : 12 MAY 1995

Pagination or Media Count : 50

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

Descriptors :   *DATA PROCESSING SECURITY, *SEMANTICS, *HIERARCHIES, *SYNTAX, INFORMATION EXCHANGE, COMPUTER COMMUNICATIONS, VERIFICATION, SPECIFICATIONS, REASONING, COMPUTER LOGIC, PROBABILITY, MULTIPROCESSORS, GUIDANCE, SYSTEMS ANALYSIS, LEARNING.

Subject Categories : Computer Systems Management and Standards

Distribution Statement : APPROVED FOR PUBLIC RELEASE