Covert Channels with Transducers

Abstract : Covert channels represent a security problem for information systems, since they permit illegal flows and sometimes leaks of classified data. Although numerous descriptions have been given at a concrete level, relatively few work has been carried out at a more abstract level. In this paper, we propose a definition for covert channels based on encoding and decoding binary messages with transducers, in a finite transition system, and we explain why this definition is different from a similar notion of so called iterated interference. We also show that covert channels can be detected using a restricted class of transducers.
Document type :
Conference papers
Liste complète des métadonnées
Contributor : Lip6 Publications <>
Submitted on : Tuesday, April 5, 2016 - 4:50:48 PM
Last modification on : Thursday, March 21, 2019 - 1:11:50 PM


  • HAL Id : hal-01298270, version 1


Gilles Benattar, Béatrice Bérard, Didier Lime, John Mullins, Olivier Henri Roux, et al.. Covert Channels with Transducers. The LICS Workshop on Foundations of Computer Security (FCS'09), Jul 2009, Los Angeles, California, United States. pp.ONLINE. ⟨hal-01298270⟩



Record views