Key points are not available for this paper at this time.
Les techniques de détection des canaux cachés sont basées sur des modèles de flux d'informations. Cet article établit un lien entre la théorie de la communication de Shannon et les modèles de flux d'informations, tels que le modèle de Goguen-Meseguer, qui considère un moniteur de référence comme un automate à état de transition. Le canal associé à une machine et à une politique de compromis est défini, et la capacité de ce canal est prise comme une mesure du taux d'information du canal caché.
Jonathan K. Millen (Mercredi,) a étudié cette question.