Title :
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
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;
Conference_Titel :
Computer Security Foundations Workshop II, 1989., Proceedings of the
Conference_Location :
Franconia, NH
DOI :
10.1109/CSFW.1989.40594
