Title :
Security Policies and Security Models
Author :
Goguen, J.A. ; Meseguer, J.
Author_Institution :
SRI International
Abstract :
We assune that the reader is familiar with the ubiquity of information in the modern world and is sympathetic with the need for restricting rights to read, add, modify, or delete information in specific contexts. This need is particularly acute for systems having computers as significant components.
Keywords :
Automata; Computational modeling; Computers; Data models; Finite element methods; Mathematical model; Message systems;
Conference_Titel :
Security and Privacy, 1982 IEEE Symposium on
Conference_Location :
Oakland, CA, USA
Print_ISBN :
0-8186-0410-7
DOI :
10.1109/SP.1982.10014
