A logical approach to multilevel security of probabilistic systems

DOI10.1007/s004460050043zbMath1448.68190OpenAlexW1640592531MaRDI QIDQ5137350

James W. III Gray, Paul Syverson

Publication date: 2 December 2020

Published in: Distributed Computing (Search for Journal in Brave)

Full work available at URL: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.36.1719

zbMATH Keywords

verificationknowledgesecurityprobabilistic systemsformal modeling

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Computer security (68M25)

Related Items (2)

A better composition operator for quantitative information flow analyses ⋮ HyperPCTL: A Temporal Logic for Probabilistic Hyperproperties

Cites Work

• Probabilistic communicating processes
• How processes learn
• Perfectly secure message transmission
• A lattice model of secure information flow
• Knowledge, probability, and adversaries
• Reasoning about knowledge and probability
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A logical approach to multilevel security of probabilistic systems