A formulation of the potential for communication condition using C^2 KA

MaRDI QIDQ4995367zbMATH OpenFDO

Authors Jason Jaskolka, Ridha Khedri

Publication date 24 June 2021

Full work available at URL https://arxiv.org/abs/1408.5964, http://eptcs.web.cse.unsw.edu.au/paper.cgi?GandALF2014.15

zbMATH Keywords

confidentialityinformation securityformal methodsalgebraic approachescommunicating concurrent Kleene algebracovert channelssecurity threatsdesign of covert channels

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Computer security (68M25)

Recommendations

• Mitigating covert channels based on analysis of the potential for communication
• Preface to the review
• On the computation of covert channel capacity
• Instrumental analysis of non-transparent information protocols
• Scenarios and covert channels: another game\dots

Cited in

(2)

• Mitigating covert channels based on analysis of the potential for communication
• Information Security

This page was built for publication: A formulation of the potential for communication condition using \(\mathrm{C}^2 \mathrm{KA}\)

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