A logical approach to multilevel security of probabilistic systems

DOI10.1007/S004460050043MaRDI QIDQ5137350zbMATH OpenOpenAlexFDO

Authors 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

formal modelingknowledgeprobabilistic systemssecurityverification

Mathematics Subject Classification ID

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

Recommendations

• Probabilistic annotations for protocol models. Dedicated to Joshua Guttman
• scientific article; zbMATH DE number 1090100
• Automata, Languages and Programming
• Distributed modal logic
• scientific article; zbMATH DE number 1863164

Cites work

• A lattice model of secure information flow
• How processes learn
• scientific article; zbMATH DE number 3173126 (Why is no real title available?)
• scientific article; zbMATH DE number 3852087 (Why is no real title available?)
• scientific article; zbMATH DE number 3915608 (Why is no real title available?)
• scientific article; zbMATH DE number 4033710 (Why is no real title available?)
• scientific article; zbMATH DE number 4056645 (Why is no real title available?)
• scientific article; zbMATH DE number 3670430 (Why is no real title available?)
• scientific article; zbMATH DE number 3776831 (Why is no real title available?)
• scientific article; zbMATH DE number 48139 (Why is no real title available?)
• scientific article; zbMATH DE number 3447208 (Why is no real title available?)
• scientific article; zbMATH DE number 3060775 (Why is no real title available?)
• Knowledge, probability, and adversaries
• Perfectly secure message transmission
• Probabilistic communicating processes
• Reasoning about knowledge and probability

Cited in

(6)

• Probabilistic annotations for protocol models. Dedicated to Joshua Guttman
• A better composition operator for quantitative information flow analyses
• scientific article; zbMATH DE number 1090100 (Why is no real title available?)
• HyperPCTL: A Temporal Logic for Probabilistic Hyperproperties
• Statistical Epistemic Logic
• Deductive controller synthesis for probabilistic hyperproperties

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5137350)