INTRODUCTION

TO

OPERATING SYSTEMS

Lecture 15: PROTECTION AND RELIABILITY

CHRIS STAFF
Dept. of Computer Science and Artificial Intelligence
University of Malta

Next Lecture: Case Study: UNIX


Lecture Outline


Aims and Objectives
Motivation for Protection
Worms and Viruses
Protection Mechanisms
Capabilities
Reliability
Fault Avoidance
Error Detection
Fault Treatment
Error Recovery
Multilevel Error Handling
Summary

Aims and Objectives


Motivation for Protection

Protection from Faults

Protection from Malice


Worms and Viruses


Protection Mechanisms

Secure Login

Monitor Activity


Capabilities

Resources are called Objects

  • Processes are called Subjects

  • In order for a subject to access an object, it must possess a capability

  • A capability is a token which allows the bearer to access the object to which the capability applies

  • Objects are created by subjects. When a subject creates an object, is also creates a capability for the object and may pass the capability on to other subjects

  • A capability may never be increased, only copied or reduced

  • The capability that is given to other subjects should comply with the principle of least privilege

  • Capabilities are created and modified using highly protected system functions

  • As long as all resources are protected using capabilities, it should not be easy to gain unauthorised access to an object


    Reliability

    Issues

    Terminology


    Fault Avoidance


    Error Detection


    Fault Treatment


    Error Recovery


    Multilevel Error Handling


    Summary


    Next Lecture...

    Case Study: UNIX