Title :
Proceedings of COMPASS ´93 - IEEE 8th Annual Conference on Computer Assurance: Practical Paths to Assurance
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;
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
DOI :
10.1109/CMPASS.1993.288864
