A Linear Time Algorithm for Deciding Subject Security

Abstract

A particular protection mechanism from the protection literature -- the take and grant system -- is presented. For this particular mechanism it is shown that the safety problem can be solved in linear time. Moreover, the security policies that are enforcable by this mechanism are then characterized.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Sep 01, 1976
Accession Number
ADA039870

Entities

People

  • Lawrence H Snyder
  • Richard J. Lipton

Organizations

  • Yale University

Tags

Communities of Interest

  • C4I

DTIC Thesaurus Topics

  • Algorithms
  • Behavior And Behavior Mechanisms
  • Complex Systems
  • Computer Science
  • Computers
  • Construction
  • Construction Materials
  • Information Systems
  • Literature
  • Military Research
  • Operating Systems
  • Security
  • Sequences
  • Universities

Readers

  • Government and Public Administration Law.
  • Operations Research