Achieving understandable results in a formal design verification

Author

Neely, R.B. ; Freeman, J.W. ; Krenzin, M.D.

Author_Institution

Ford Aerosp. Corp., Dearborn, MI, USA

fYear

1989

fDate

11-14 Jun 1989

Firstpage

115

Lastpage

124

Abstract

An approach is presented for clarifying the process and the results of formal design specification and its verification. The approach is validated via a simple illustrative experiment. A further validation of the approach by its application to an internet system (the USAF Multinet Gateway System) is described. As a consequence of the approach, the verification results are made more understandable, and thus the credibility of the assurance demonstration of a system is increased

Keywords

computer networks; formal specification; program verification; protocols; security of data; Gypsy; USAF Multinet Gateway System; assurance demonstration; credibility; formal design specification; formal design verification; internet system; understandability; Certification; Contracts; Formal specifications; Gold; Security; Specification languages;

fLanguage

English

Publisher

ieee

Conference_Titel

Computer Security Foundations Workshop II, 1989., Proceedings of the

Conference_Location

Franconia, NH

Type

conf

DOI

10.1109/CSFW.1989.40594

Filename

40594

Link To Document

https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=3192650