Title :
Proceedings of the 1988 IEEE Symposium on Security and Privacy (Cat. No.88CH2558-5)
Abstract :
The following topics are dealt with: formal security models; security in distributed systems; emerging issues; database security; analysis of secure systems; applying and implementing integrity models; verification; and models of secure distributed systems. Abstracts of individual papers can be found under the relevant classification codes in this or other issues
Keywords :
distributed processing; knowledge engineering; operating systems (computers); relational databases; security of data; specification languages; database security; distributed systems; formal security models; integrity models; secure systems; verification;
Conference_Titel :
Security and Privacy, 1988. Proceedings., 1988 IEEE Symposium on
Conference_Location :
Oakland, CA, USA
Print_ISBN :
0-8186-0850-1
DOI :
10.1109/SECPRI.1988.8091
