Non-interference models and subliminal channels
Alexander A. Grusho, E L Shumitskaya · Discrete Mathematics and Applications · 2002
Abstract We consider mathematical models of secure systems, namely, the traditional noninterference model and a probabilistic non-interference model. We demonstrate that a system can satisfy the conditions of the traditional non-interference model in presence of a subliminal channel from the high-security domain to the low-security one. We give a sufficient condition for absence of a system of subliminal channels in the automaton model.