Title :
Security specifications
Author_Institution :
Programming Res. Group, Oxford, UK
Abstract :
A security and specification-oriented semantics for systems is given. The semantic model is derived from that for the trace model of C.A.R. Hoare´s (1980) communicating sequential processes and is used to define various security concepts, such as multilevel secure systems, trusted users and integrity. It is indicated how implementations of secure systems can be derived from their specifications
Keywords :
security of data; specification languages; CSP; communicating sequential processes; integrity; multilevel secure systems; security concepts; semantic model; specification-oriented semantics; trace model; trusted users; Dictionaries; Error analysis; Jacobian matrices; Mathematical model; Security; Upper bound;
Conference_Titel :
Security and Privacy, 1988. Proceedings., 1988 IEEE Symposium on
Conference_Location :
Oakland, CA
Print_ISBN :
0-8186-0850-1
DOI :
10.1109/SECPRI.1988.8094
