A conference management system with verified document confidentiality

Conference paper

Kanav, S., Lammich, P. and Popescu, A. 2014. A conference management system with verified document confidentiality. Biere, A. and Bloem, R. (ed.) 26th International Conference on Computer Aided Verification (CAV) 2014. Vienna, Austria 18 - 24 Jul 2014 Springer. pp. 167-183 https://doi.org/10.1007/978-3-319-08867-9_11
TypeConference paper
TitleA conference management system with verified document confidentiality
AuthorsKanav, S., Lammich, P. and Popescu, A.
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.

Conference26th International Conference on Computer Aided Verification (CAV) 2014
Page range167-183
EditorsBiere, A. and Bloem, R.
ISSN0302-9743
Electronic1611-3349
ISBN
Hardcover9783319088662
Electronic9783319088679
PublisherSpringer
Publication dates
Print04 Aug 2014
Publication process dates
Deposited23 Apr 2015
Output statusPublished
Accepted author manuscript
Copyright Statement

The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-319-08867-9_11

Additional information

Published paper appears in: Computer Aided Verification, Volume 8559 of the series Lecture Notes in Computer Science pp 167-183, 2014

Digital Object Identifier (DOI)https://doi.org/10.1007/978-3-319-08867-9_11
LanguageEnglish
Book titleComputer 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
Permalink -

https://repository.mdx.ac.uk/item/851qv

Log in to edit

Download files

Accepted author manuscript
CAV2014.pdf

  • 15
    total views
  • 12
    total downloads
  • 0
    views this month
  • 0
    downloads this month

Export as