Browse DORAS
Browse Theses
Latest Additions
Creative Commons License
Except where otherwise noted, content on this site is licensed for use under a:

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:

PDF - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader


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.

Item Type:Conference or Workshop Item (Paper)
Event Type:Workshop
Uncontrolled Keywords:Online Certificate Status Protocol; OCSP; cryptography; cryptographic keys
Subjects:Computer Science > Software engineering
DCU Faculties and Centres:DCU Faculties and Schools > Faculty of Engineering and Computing > School of Computing
Use License:This item is licensed under a Creative Commons Attribution-NonCommercial-Share Alike 3.0 License. View License
ID Code:15927
Deposited On:19 Jul 2011 14:54 by Shane Harper. Last Modified 19 Jul 2011 14:54

Download statistics

Archive Staff Only: edit this record