Paper Info
Title
A model driven approach to data privacy verification in E-Health systems.
Abstract
Last years experienced the growth of new technologies able to remotely monitor health state of persons. This includes both (even complex) Medical devices and all kind of wearable device. In addition, with the increasing use of Cloud technologies to manage and store sensitive data from patients, the problem of assuring data privacy is more and more important in E-Health systems. Privacy requirements in Medical domains are not only defined by service providers or users, but Legal rules regulate the whole management and storage processes of health records. The use of Model Driven techniques for E-Health systems is appealing especially if formal verification of privacy requirements is enacted. In this paper we extend the MetaMORP(h)OSY modelling profile in order to explicitly consider privacy requirements for data. A novel model transformation algorithm is described for the application of Model Checking techniques to privacy verification.
Year
Venue
Keywords
2015
Trans. Data Privacy
E-Health, Privacy, Model Driven Engineering, Formal Verification
Field
DocType
Volume
Data mining,Internet privacy,Model transformation,Model checking,Privacy by Design,Computer science,Computer security,Service provider,Information privacy,Privacy software,Formal verification,Cloud computing
Journal
8
Issue
ISSN
Citations 
3
1888-5063
9
PageRank 
References 
Authors
0.53
25
2
Name
Order
Citations
PageRank
Flora Amato145866.48
Francesco Moscato229832.28