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

zbMATH Open1464.68250arXiv1408.5964MaRDI QIDQ4995367FDOQ4995367

Authors: Jason Jaskolka, Ridha Khedri 

Publication date: 24 June 2021

Full work available at URL: https://arxiv.org/abs/1408.5964

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

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)

Cited In (2)

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

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)