Covert channel detection using Information Theory

Loïc Hélouët
(INRIA Rennes)
Aline Roumy
(INRIA Rennes)

This paper presents an information theory based detection framework for covert channels. We first show that the usual notion of interference does not characterize the notion of deliberate information flow of covert channels. We then show that even an enhanced notion of "iterated multivalued interference" can not capture flows with capacity lower than one bit of information per channel use. We then characterize and compute the capacity of covert channels that use control flows for a class of systems.

In Konstantinos Chatzikokolakis and Véronique Cortier: Proceedings 8th International Workshop on Security Issues in Concurrency (SecCo 2010), Paris, France, 30th August 2010, Electronic Proceedings in Theoretical Computer Science 51, pp. 34–51.
Published: 25th February 2011.

ArXived at: https://dx.doi.org/10.4204/EPTCS.51.3 bibtex PDF
References in reconstructed bibtex, XML and HTML format (approximated).
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org