login

Memoryless subsystems

The Computer JournalPublished 1 February 1974Open access
J. S. Fenton
Citations130
SJR quartileQ2
SJR score0.48
SNIP0.86
View PDF

TL;DR

A computer model Minsky machine is presented, with examples of how the model changed over time from a simple to complex model to a real-time system.

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.

Keywords

Computer Science