Security_Kernel_Presentation

1. Security Kernel in
Information
Security
UNDERSTANDING THE CORE OF SECURE
COMPUTING

2. Introduction
 A Security Kernel is the core part of an
operating system that enforces security
policies.
 It is a key component of the Trusted
Computing Base (TCB).

3. Key Characteristics of Security Kernel
 1. Isolation: Runs in a protected environment.
 2. Mediation: (Access Control): Enforces access
control mechanisms.
 3. Verification: Can be tested and verified for security.

4. Functions of a Security Kernel
 Enforces Security Policies (Access control, authentication
 Monitors and Audits (Keeps security logs).
 Protects System Integrity (Ensures confidentiality, integrit
availability).

5. Reference Monitor Concept
 A Reference Monitor ensures that all access requests
are checked.
 The Security Kernel is its implementation.
 Must be tamper-proof, complete, and verifiable.

6. Examples of Security Kernels
 SELinux: Implements mandatory access control.
 Windows NT Security Kernel: Manages authentication
and security policies.
 Virtual Machine Monitors (VMMs): Ensures isolation in
virtual environments.

7. Conclusion
 The Security Kernel is essential for enforcing security
in computer systems.
 It protects system integrity and ensures secure
access control.
 Used in modern OS like Linux, Windows, and Virtual
Machines.