A conference management system with verified document confidentiality

Kanav, Sudeep, Lammich, Peter and Popescu, Andrei (2014) A conference management system with verified document confidentiality. Computer Aided Verification: 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014. Proceedings. In: 26th International Conference on Computer Aided Verification (CAV) 2014, 18-24 Jul 2014, Vienna, Austria. ISBN 9783319088662. ISSN 0302-9743

This is the latest version of this item.

[img]
Preview
PDF - Final accepted version (with author's formatting)
Download (394kB) | Preview

Abstract

We present a case study in verified security for realistic systems: the implementation of a conference management system, whose functional kernel is faithfully represented in the Isabelle theorem prover, where we specify and verify confidentiality properties. The various theoretical and practical challenges posed by this development led to a novel security model and verification method
generally applicable to systems describable as input–output automata.

Item Type: Conference or Workshop Item (Paper)
Additional Information: Published paper appears in: Computer Aided Verification, Volume 8559 of the series Lecture Notes in Computer Science pp 167-183, 2014
Research Areas: A. > School of Science and Technology > Computer Science
Item ID: 15291
Notes on copyright: The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-319-08867-9_11
Useful Links:
Depositing User: Andrei Popescu
Date Deposited: 23 Apr 2015 14:02
Last Modified: 04 Apr 2019 06:24
URI: https://eprints.mdx.ac.uk/id/eprint/15291

Available Versions of this Item

  • A conference management system with verified document confidentiality. (deposited 23 Apr 2015 14:02) [Currently Displayed]

Actions (login required)

Edit Item Edit Item