DocumentCode
1834331
Title
Proceedings of COMPASS ´93 - IEEE 8th Annual Conference on Computer Assurance: Practical Paths to Assurance
fYear
1993
fDate
14-17 June 1993
Abstract
The following topics were dealt with: software models; AI tools; software risk and system integrity; software safety; cost-benefit analysis; software security policy; program slicing; protocol verification; database design; sensitivity analysis and failure probabilities; and verifiers for distributed real-time systems
Keywords
data integrity; program verification; safety; security of data; software reliability; AI tools; artificial intelligence; computer assurance; cost-benefit analysis; critical systems; database design; distributed real-time systems; failure probabilities; process security; program slicing; protocol verification; sensitivity analysis; software models; software risk; software safety; software security policy; system integrity; verifiers;
fLanguage
English
Publisher
ieee
Conference_Titel
Computer Assurance, 1993. COMPASS '93, Practical Paths to Assurance. Proceedings of the Eighth Annual Conference on
Conference_Location
Gaithersburg, MD, USA
Print_ISBN
0-7803-1251-1
Type
conf
DOI
10.1109/CMPASS.1993.288864
Filename
288864
Link To Document