Memoryless subsystems
JS Fenton - The Computer Journal, 1974 - academic.oup.com
JS Fenton
The Computer Journal, 1974•academic.oup.comA memoryless subsystem is incapable of communicating unauthorised information about
data input to the outside world. Such systems are important in the study of protection
systems, but are difficult to implement. This paper derives a model of such a system and
further gives a proof of its correctness.
data input to the outside world. Such systems are important in the study of protection
systems, but are difficult to implement. This paper derives a model of such a system and
further gives a proof of its correctness.
Abstract
A memoryless subsystem is incapable of communicating unauthorised information about data input to the outside world. Such systems are important in the study of protection systems, but are difficult to implement. This paper derives a model of such a system and further gives a proof of its correctness.
Oxford University Press