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.
Type de document :
Communication dans un congrès
The LICS Workshop on Foundations of Computer Security (FCS'09), Jul 2009, Los Angeles, California, United States. Proceedings of the LICS Workshop on Foundations of Computer Security (FCS'09), pp.ONLINE
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01298270
Contributeur : Lip6 Publications <>
Soumis le : mardi 5 avril 2016 - 16:50:48
Dernière modification le : jeudi 22 novembre 2018 - 14:27:54

Identifiants

  • HAL Id : hal-01298270, version 1

Collections

Citation

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. Proceedings of the LICS Workshop on Foundations of Computer Security (FCS'09), pp.ONLINE. 〈hal-01298270〉

Partager

Métriques

Consultations de la notice

139