DocumentCode
3369740
Title
Security specifications
Author
Jacob, Jeremy
Author_Institution
Programming Res. Group, Oxford, UK
fYear
1988
fDate
18-21 Apr 1988
Firstpage
14
Lastpage
23
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Security and Privacy, 1988. Proceedings., 1988 IEEE Symposium on
Conference_Location
Oakland, CA
Print_ISBN
0-8186-0850-1
Type
conf
DOI
10.1109/SECPRI.1988.8094
Filename
8094
Link To Document