COMPASS ´89 Proceedings of the Fourth Annual Conference on Computer Assurance. Systems Integrity, Software Safety and Process Security (Cat. No.89CH2656-7)

fYear

1989

fDate

19-23 June 1989

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;

fLanguage

English

Publisher

ieee

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

Type

conf

DOI

10.1109/CMPASS.1989.76051

Filename

76051