Automatic covert channel analysis of a multilevel secure component

DOI10.1007/978-3-540-30191-2_20MaRDI QIDQ5464793zbMATH OpenOpenAlexFDO

Authors Ruggero Lanotte, Andrea Maggiolo-Schettini, Simone Tini, Angelo Troina, Enrico Tronci

Publication date 19 August 2005

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b101042

Mathematics Subject Classification ID

Data encryption (aspects in computer science) (68P25)

Recommendations

• On the computation of covert channel capacity
• Probabilistic information flow in a process algebra
• scientific article; zbMATH DE number 2166693
• Channel capacities of some covert channels
• Preface to the review

Cited in

(2)

• Scenarios and covert channels: another game\dots
• Verification and control of partially observable probabilistic real-time systems

This page was built for publication: Automatic covert channel analysis of a multilevel secure component

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