A Conference Management System with Verified Document Confidentiality

CAV, pp. 167-183, 2014.

Cited by: 40|Bibtex|Views18|Links
EI

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 t...More

Code:

Data:

Your rating :
0

 

Tags
Comments