Istituto di Scienza e Tecnologie dell'Informazione     
Malabocchia F., Simoncini L. Protection of shared resources. In: SAFECOMP '86 - Safety of Computer Control Systems 1986. Proceedings of the Fifth IFAC Workshop (Sarlat, France, 14-17 October 1986). Proceedings, pp. 57 - 61. W.J. Quirk (ed.). Pergamon Press, 1986.
The problem of protecting resources shared among several users is particularly demanding in systems that require information secrecy (bank and military applications) and in systems where the presence of unsafe or untested processes are likely to damage information residing in the system (SW development environments). A solution to this problem is to separate the entities residing in the system into subjects and objects, and to define a protection system which checks the accesses of subjects to objects and the interactions among subjects. In this paper the system entities control is extended to the operating system and the ability of such an extended protection system to detect misbehaviours caused by HW faults is considered. In this way an enhancement of on-line detection of HW faults, generating program anomalous behaviour is obtained.

Icona documento 1) Download Document PDF

Icona documento Open access Icona documento Restricted Icona documento Private


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional