Covert Channels with Transducers - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2009

Covert Channels with Transducers

Gilles Benattar
  • Fonction : Auteur
Béatrice Bérard
Didier Lime
John Mullins
  • Fonction : Auteur
Olivier Henri Roux
Mathieu Sassolas
  • Fonction : Auteur
  • PersonId : 867960

Résumé

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.
Fichier non déposé

Dates et versions

hal-01298270 , version 1 (05-04-2016)

Identifiants

  • HAL Id : hal-01298270 , version 1

Citer

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⟩
62 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More