A conference management system with verified document confidentiality

Kanav, Sudeep, Lammich, Peter and Popescu, Andrei (2014) A conference management system with verified document confidentiality. In: 26th International Conference on Computer Aided Verification (CAV) 2014, 18-24 Jul 2014, Vienna, Austria.

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
ISBN: 9783319088662
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

Full text downloads (NB count will be zero if no full text documents are attached to the record)

Downloads per month over the past year