© 1976 by British Computer Society
| ||||||||||||||||||||||||||||||||||||||||||||||||||||
An extensible structure for protected systems' design*

1 Universite des Sciences et Techniques du Languedoc, Montpellier, France, 2 CNAM, Paris, France, 3 Institut de Recherche d'Informatique et d'Automatique, domaine de Voluceau 78150, Le Chesnay, France
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.
Received September 1974.
* This is a revised version of a paper presented at the International Workshop On Protection in Operating Systems, IRIA, domaine de Voluceau 78150, Le Chesnay, France, August 13-14, 1974.
Now at Université des Sciences et Techniques du Languedoc, Montpellier.
Institut de Recherche d'Informatique et d'Automatique, domaine de Voluceau 78150, Le Chesnay, France