Beta 1

Title Data-flow control using Jif in a health care system
Author Nodet, Emilie
Supervisor Nielson, Flemming (Language-Based Technology, Department of Informatics and Mathematical Modeling, Technical University of Denmark, DTU, DK-2800 Kgs. Lyngby, Denmark)
Institution Technical University of Denmark, DTU, DK-2800 Kgs. Lyngby, Denmark
Thesis level Master's thesis
Year 2008
Abstract Electronic health care systems are highly security-sensitive systems. Because they deal with private health information they have strong confidentiality and integrity requirements. In this thesis we study the French health care system and more specially a project of electronic national personal health record called DMP (stands for ”Dossier M´edical Personnel”) and its confidentiality requirements. The decentralized label model and its application, the security-typed language Jif, allow controlling information flows according to confidentiality and integrity policies set by different entities. Two DMP systems are implemented in Jif in order to see if it is possible to ensure confidentiality in electronic health care systems thanks to this language. We then present an evaluation of the Jif usability to develop health care systems or other security-sensitive large systems and, thanks to the knowledge gained by our implementation experience, we give some advice to future Jif developers.
Series IMM-M.Sc.-2008-57
Original PDF ep08_57_net.pdf (1.14 MB)
Admin Creation date: 2008-07-02    Update date: 2008-07-02    Source: dtu    ID: 221236    Original MXD