A model driven approach to data privacy verification in E-Health systems
作者： Flora Amato , Francesco Moscato
DOI:
关键词: Information privacy 、 Privacy software 、 Privacy by Design 、 Computer science 、 Formal verification 、 Cloud computing 、 Computer security 、 Model checking 、 Model transformation 、 Service provider
摘要: Last years experienced the growth of new technologies able to remotely monitor health state persons. This includes both (even complex) Medical devices and all kind wearable device. In addition, with increasing use Cloud manage store sensitive data from patients, problem assuring privacy is more important in E-Health systems. Privacy requirements domains are not only defined by service providers or users, but Legal rules regulate whole management storage processes records. The Model Driven techniques for systems appealing especially if formal verification enacted. this paper we extend MetaMORP(h)OSY modelling profile order explicitly consider data. A novel model transformation algorithm described application Checking verification.
tdp.cat 参考文章(42)
Rocco Aversa, Beniamino Di Martino, Francesco Moscato, Critical Systems Verification in MetaMORP(h)OSY international conference on computer safety, reliability, and security. pp. 119- 129 ,(2014) , 10.1007/978-3-319-10557-4_15
Antonio Fernández-Caballero, José M. Gascueña, Developing Multi-Agent Systems through Integrating Prometheus, INGENIAS and ICARO-T international conference on agents and artificial intelligence. pp. 219- 232 ,(2009) , 10.1007/978-3-642-11819-7_17
Antonio Picariello, Flora Amato, Antonino Mazzeo, Vincenzo Moscato, Exploiting Cloud Technologies and Context Information for Recommending Touristic Paths Studies in Computational Intelligence. pp. 281- 287 ,(2014) , 10.1007/978-3-319-01571-2_33
Flora Amato, Antonino Mazzeo, Antonio Penta, Antonio Picariello, Knowledge Representation and Management for E-Government Documents E-Government, ICT Professionalism and Competences Service Science. pp. 31- 40 ,(2008) , 10.1007/978-0-387-09712-1_4
Rocco Aversa, Teodor-Florin Fortis, Victor Munteanu, Francesco Moscato, Beniamino Di Martino, An analysis of mOSAIC ontology for Cloud resources annotation federated conference on computer science and information systems. pp. 973- 980 ,(2011)
Torsten Lodderstedt, David Basin, Jürgen Doser, SecureUML: A UML-Based Modeling Language for Model-Driven Security Lecture Notes in Computer Science. pp. 426- 441 ,(2002) , 10.1007/3-540-45800-X_33
Rocco Aversa, Francesco Moscato, Beniamino Di Martino, Enabling Model Driven Engineering of Cloud Services by using mOSAIC Ontology Scalable Computing: Practice and Experience. ,vol. 13, pp. 29- 44 ,(2011) , 10.12694/SCPE.V13I1.765
Stephen J. Mellor, Kendall Scott, Axel Uhl, Dirk Weise, Model-Driven Architecture Advances in Object-Oriented Information Systems. pp. 290- 297 ,(2002) , 10.1007/3-540-46105-1_33
Ivan Trencansky, Radovan Cervenka, Agent Modeling Language (AML): A Comprehensive Approach to Modeling MAS Informatica (lithuanian Academy of Sciences). ,vol. 29, pp. 391- 400 ,(2005)
Radovan Červenka, Ivan Trenčanský, Monique Calisti, Dominic Greenwood, AML: Agent Modeling Language Toward Industry-Grade Agent-Based Modeling Agent-Oriented Software Engineering V. pp. 31- 46 ,(2005) , 10.1007/978-3-540-30578-1_3