An extensible structure for protected systems' design
Jean Ferrié · The Computer Journal · 1976
The purpose of this research is to develop and analyse addressing and protection structures which will help to run more secure programs and to limit the propagation of errors. The generalised notions of object, type of object and type extension are defined and a mechanism is presented which relies on descriptors and implements those notions into the addressing scheme. This mechanism allows the definition at execution time of new levels of protection and provide a tool for controlling the co-operation of mutually suspicious subsystems.