DocumentCode
2698953
Title
Fourth Aerospace Computer Security Applications Conference (IEEE Cat. No.CH2619-5)
fYear
1988
fDate
12-16 Sept. 1988
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Aerospace Computer Security Applications Conference, 1988., Fourth
Conference_Location
Orlando, FL, USA
Print_ISBN
0-8186-0895-1
Type
conf
DOI
10.1109/ACSAC.1988.113402
Filename
113402
Link To Document