T. M. Brookes

Learn More
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 brieey introduced. The industrial context of its development is described, as is the form of the experiment. So far, part-formal and conventional design(More)
This paper presents the findings from the later phases of a study of the effects of introducing formal specification to the commercial-scale development of a small security-critical system component. The objectives and form of the study are briefly reviewed. Observations have been made of the effort profile across the project, compliance of the developed(More)
  • 1