Analysing security properties using refinement
Pahl, Claus (2002) Analysing security properties using refinement. In: ZB’2002 Z and B User’s Conference – Workshop on Refinement of Critical Systems., 23-25 Jan 2002, Genoble, France.
Full text available as:
Security properties are essential in open and distributed environments with high dependability requirements. An approach to development and analysis of safety- and security-critical systems based on refinement as the central concept can offer an integrated solution. We
analyse the Online Certificate Status Protocol (OCSP), showing how to use refinement as an interference analysis tool for secure communication protocols and intruders.
Archive Staff Only: edit this record