Title :
A policy model for denial of service
Author_Institution :
AT&T Bell Lab., Homdel, NJ, USA
Abstract :
A service model that is framed on the notions of subject priority and object criticality is introduced. The prevent (p, c) denial of service policy is expressed with respect to the service model. The author demonstrates an approach to arguing compliance with the policy by interpreting the System V/MLS secure operating system in terms of the service model, and then providing a sketch of an evaluation with respect to the prevent (2, 2) policy
Keywords :
operating systems (computers); security of data; System V/MLS secure operating system; denial of service; prevent (2, 2) policy; service model; subject priority; Authorization; Availability; Books; Computer crime; Logic; Multilevel systems; Operating systems; Security; Usability; Writing;
Conference_Titel :
Computer Security Foundations Workshop III, 1990. Proceedings
Conference_Location :
Franconia, NH
Print_ISBN :
0-8186-2071-4
DOI :
10.1109/CSFW.1990.128191
