Pahl, ClausORCID: 0000-0002-9049-212X
(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.
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.
Metadata
Item Type:
Conference or Workshop Item (Paper)
Event Type:
Workshop
Refereed:
Yes
Uncontrolled Keywords:
Online Certificate Status Protocol; OCSP; cryptography; cryptographic keys