T. M. Brookes

Learn 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)
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)
  • 1