Title :
COMPASS ´89 Proceedings of the Fourth Annual Conference on Computer Assurance. Systems Integrity, Software Safety and Process Security (Cat. No.89CH2656-7)
Abstract :
The following topics are dealt with: computer assurance; misplaced trust in computer systems; software safety; software quality assurance; test techniques; software assurance; access control and verification in Petri-net-based hyperdocuments; risk analysis; techniques for data and rule validation; formal verification and validation; causes of proof failures in applications; programming a VIPER; verification of microprocessors; assurance for the Trusted Mach operating system; verifying asymptotic correctness; security analysis of a token ring; and an Ada software assurance editor
Keywords :
program testing; program verification; safety; security of data; software reliability; Ada software assurance editor; Petri-net-based hyperdocuments; Trusted Mach operating system; VIPER; access control; asymptotic correctness; computer assurance; computer systems; data; formal verification; microprocessors; misplaced trust; programming; proof failures; risk analysis; rule validation; security analysis; software quality assurance; software safety; test techniques; token ring; validation;
Conference_Titel :
Computer Assurance, 1989. COMPASS '89, 'Systems Integrity, Software Safety and Process Security', Proceedings of the Fourth Annual Conference on
Conference_Location :
Gaithersburg, MD, USA
DOI :
10.1109/CMPASS.1989.76051
