Storage standards and solutions, data storage, sharing, and structuring in digital health: A Brazilian case study

NR Oliveira, YR Santos, ACR Mendes, GNN Barbosa… - Information, 2023 - mdpi.com
The COVID-19 pandemic has highlighted the necessity for agile health services that enable
reliable and secure information exchange, but achieving proper, private, and secure sharing …

A cloud based solution for collaborative and secure sharing of medical data

M Marwan, A Kartit, H Ouahmane - International Journal of Enterprise …, 2018 - igi-global.com
Healthcare sector is under pressure to reduce costs while delivering high quality of care
services. This situation requires that clinical staff, equipment and IT tools to be used more …

Access control model for cooperative healthcare environments: Modeling and verification

M Abomhara, H Yang, GM Køien - 2016 IEEE International …, 2016 - ieeexplore.ieee.org
Integrated use of electronic health records (EHRs) seem both promising and necessary in
improving the quality and delivery of health services. This allows healthcare providers …

Application of Model-Based Software Testing in the Health Care Domain

P Jha, M Sahu, SK Bisoy, M Sain - Electronics, 2022 - mdpi.com
The human body's reaction to various therapeutic medications is critical to comprehend
since it aids in the appropriate construction of automated decision support systems for …

Work-based access control model for cooperative healthcare environments: Formal specification and verification

M Abomhara, H Yang, GM Køien, MB Lazreg - Journal of Healthcare …, 2017 - Springer
In this study, an access control model for cooperative healthcare environments is presented.
A work-based access control (WBAC) model is proposed by introducing the concept of team …

Towards effective verification of multi-model access control properties

BJ Berger, C Maeder, R Wete Nguempnang… - Proceedings of the 24th …, 2019 - dl.acm.org
Many existing software systems like logistics systems or enterprise applications employ data
security in a more or less ad hoc fashion. Our approach focuses on access control such as …

[PDF][PDF] Collaborative and secure sharing of healthcare records using attributebased authenticated access

M Abomhara, H Yang - Int J Adv Secur, 2016 - researchgate.net
The electronic health records are a widely utilized system in electronic health. It offers an
efficient way to share patient health records among those in the medical industry, such as …

A study on mediclaim processing in connected healthcare system

S Mohapatra, A Roy - Trends in Wireless Communication and Information …, 2021 - Springer
Abstract Advancement of Information and Communication Technology (ICT) have explored
new dimensions of digital service delivery system between the distant users, who are …

Formalisation of access control based on observers automata

MW Krakallah, S Nait-Bahloul - International Journal of …, 2021 - inderscienceonline.com
The modelling of access control (AC) policies aim to describe aspects of different security
requirements at a higher level of abstraction. Once the AC policy has been modelled, the …

Application of unified modeling language in health care systems: A systematic review

F Sadoughi, K Moulaei - Health Information Management, 2018 - him.mui.ac.ir
Introduction: Health care systems are known as complex systems, which are difficult to
analyze and reengineer. Health system engineers often rely on Unified Modeling Language …