JAWAHARLAL NEHRU TECHNOLOGICAL UNIVERSITY HYDERABAD

UNIT - I

Introduction, Secure Operating Systems, Security Goals, Trust Model, Threat Model, Access Control Fundamentals, Protection System, Reference Monitor, Secure Operating System Definition, Assessment Criteria

UNIT - II

Security in Operating Systems -UNIX History, UNIX Security, UNIX Protection System, UNIX Authorization, UNIX Security Analysis, UNIX Vulnerabilities, Windows Security, Windows Protection System, Windows Authorization, Windows Security Analysis, Windows Vulnerabilities.

UNIT - III

Verifiable Security Goals, Information Flow, Information Flow Secrecy Models - Denning’s Lattice Model, Bell-La Padula Model, Information Flow Integrity Models - Biba Integrity Model, Low-Water Mark, Clark-Wilson Integrity, the challenge of trusted processes

UNIT - IV

Security Kernel, Secure communication processor, securing commercial operating systems, secure virtual machine systems - separation kernels, VAX VMM design, VAX VMM evaluation, VAX VMM result, security in other virtual machine systems.

UNIT - V

Building a secure operating system for Linux, Linux security modules – history, implementation, security – enhanced Linux, SELinux reference monitor, SELinux protection state, SELinux labeling state, SELinux transition state, SELinux administration, SELinux trusted programs, SELinux security evaluation. System assurance – Orange book, common criteria - common criteria concepts, common criteria in action

TEXTBOOKS:

• 1. Operating System Security (Synthesis Lectures on Information Security, Privacy, and Trust), by Trent Jaeger.

REFERENCES:

• 1. Operating Systems: Principles and Practice, by Thomas Anderson and Michael Dahlin.
• 2. Fundamentals of Secure Computer Systems, by Brett Tjaden. M. Tech- I Year – I Semester (Cyber Forensics & Information Security/Cyber Security)