| Anderson, T. Ed., Safe and Secure Computing Systems, Blackwell Scientific Publications, 1989. |
....benefit of simplifying application programs by freeing them from responsibility for implementation and verification of policies that are enforced by a kernel. The general concept of a security kernel is shown in Fig. 1. The similarity between security concerns and safety concerns is considerable [2]. A security kernel (sometimes referred to as a reference monitor) is in a position to enforce security policies because it controls all access to secure information and it can therefore monitor all references to that information. A safety kernel will exercise similar control over the devices in a ....
Anderson, T. Ed., Safe and Secure Computing Systems, Blackwell Scientific Publications, 1989.
....as well. 11 5. ASPECTS OF SECURITY Traditionally security has been divided into three different aspects: confidentiality, integrity, availability. However, when security is integrated with dependability (fig. 1) availability must be seen as a dependability issue and not as a security issue [3][25] As a result, security is divided into two aspects, confidentiality and integrity (fig. 5) In a system where dependability is a crucial matter, all objects in a system must be protected against both intentional and unintentional threats. To a user, there is not a very big difference between ....
T. Anderson: Safe & Secure Computing Systems, Blackwell Scientific Publications, ISBN 0-63201819 -4.
....benefit of simplifying application programs by freeing them from responsibility for implementation and verification of policies that are enforced by a kernel. The general concept of a security kernel is shown in Fig. 1. The similarity between security concerns and safety concerns is considerable [4]. Security kernels are used to enforce access control policies in classified information systems. The idea of trying to exploit this technique to implement safety rather than security, i.e. the concept of a more general safety kernel, was proposed by Rushby [33,44] among others. A security ....
Anderson, T. Ed., Safe and Secure Computing Systems (Blackwell Scientific Publications, 1989).
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC