First European Symposium On Research In Computer Security (ESORICS 90)
A Case Study in the Formal Refinement of a Distributed Secure System
Abstract : This paper presents a case study in the use of formal refinement as a development method for high-integrity software. The particular refinement demonstrated is a parallel refinement, in which the state data of the system is physically distributed across different components of the system. The case study uses the Distributed Secure System under development at the Royal Signals and Radar Establishment as its subject. The experiences gained and areas for future work are presented.
Proceedings table of contents