Title :
Fourth Aerospace Computer Security Applications Conference (IEEE Cat. No.CH2619-5)
Abstract :
The following topics are dealt with: computer viruses; database security; trusted system development; trusted network interpretation; trusted network development; integrity; security in public and private sectors; Trusted Mach as B3 Unix compatible system; modeling and formal verification; risk analysis and contingency planning; and state-of-practice in the commercial world. Abstracts of individual papers can be found under the relevant classification codes in this or other issues
Keywords :
DP management; aerospace computing; computer networks; data integrity; database management systems; security of data; software reliability; B3 Unix compatible system; Trusted Mach; commercial world; computer viruses; contingency planning; database security; formal verification; integrity; private sectors; public sector security; risk analysis; trusted network development; trusted network interpretation; trusted system development;
Conference_Titel :
Aerospace Computer Security Applications Conference, 1988., Fourth
Conference_Location :
Orlando, FL, USA
Print_ISBN :
0-8186-0895-1
DOI :
10.1109/ACSAC.1988.113402
