Browse by author
Lookup NU author(s): Professor John Fitzgerald,
Dr Peter Larsen
Full text for this publication is not currently held within this repository. Alternative links are provided below where available.
This paper presents initial results in a comparative study of formal and conventional techniques in the design of a secure system component: a trusted gateway. The operation of a trusted gateway is briefly introduced. The industrial context of its development is described, as is the form of the experiment. So far, part-formal and conventional design specifications have been produced for the trusted gateway from a common informal requirements document. As part of this process, queries have been raised against the informal requirements. These have been carefully logged, and form the subject of a preliminary analysis presented here. These first results suggest that the use of a formal specification language (in this case VDM-SL) leads to an an increased number of queries, and a bias in the specifier's concerns towards data rather than design issues.
Author(s): Fitzgerald JS, Brookes TM, Green MA, Larsen PG
Editor(s): Naftalin, M, Denvir, T, Bertran, M
Publication type: Conference Proceedings (inc. Abstract)
Publication status: Published
Conference Name: FME'94: Industrial Benefits of Formal Methods - 2nd International Symposium of Formal Methods Europe
Year of Conference: 1994
ISSN: 0302-9743 (Print) 1611-3349 (Online)
Library holdings: Search Newcastle University Library for this item
Series Title: Lecture Notes in Computer Science