عرض بسيط للتسجيلة

المؤلفJabbar, Rateb
المؤلفKrichen, Moez
المؤلفFetais, Noora
المؤلفBarkaoui, Kamel
تاريخ الإتاحة2023-10-16T10:38:12Z
تاريخ النشر2020-01-01
اسم المنشورICEIS 2020 - Proceedings of the 22nd International Conference on Enterprise Information Systems
الاقتباسJabbar, R., Krichen, M., Fetais, N., & Barkaoui, K. (2020, May). Adopting formal verification and model-based testing techniques for validating a blockchain-based healthcare records sharing system. In 22nd International Conference on Enterprise Information Systems (pp. 261-268). SCITEPRESS-Science and Technology Publications.‏
الترقيم الدولي الموحد للكتاب 9789897584237
معرّف المصادر الموحدhttps://www.scopus.com/inward/record.uri?partnerID=HzOxMe3b&scp=85090766106&origin=inward
معرّف المصادر الموحدhttp://hdl.handle.net/10576/48543
الملخصThe Electronic Health Records (EHR) sharing system is the modern tool for delivering efficient healthcare to patients. Its functions include tracking of therapies, monitoring of the treatment effectiveness, prediction of outcomes throughout the patient's lifespan, and detection of human errors. For all the stakeholders, integrity and interoperability of the care continuum are paramount. Yet, its implementation is challenging due to the heterogeneity of healthcare information systems, security threats, and the enormousness of EHR data. To overcome these challenges, this work proposes BiiMED: a Blockchain framework for Enhancing Data Interoperability and Integrity regarding EHR-sharing. This solution is innovative as it contains an access management system allowing the exchange of EHRs between different medical providers and a decentralized Trusted Third Party Auditor (TTPA) for ensuring data integrity. This paper also discusses two validation techniques for enhancing the quality and correctness of the proposed solution: Formal Verification and Model-Based Techniques. The first one checks the correctness of a mathematical model describing the behavior of the given system prior to the implementation. The second technique derives test suites from the adopted model, performs them, and assesses the correctness.
راعي المشروعThis publication was made possible by QUCP-CENG-2019-1 grant from the Qatar University. The statements made herein are solely the responsibility of the authors.
اللغةen
الناشرSciTePress
الموضوعBiiMED
Blockchain
Etherum
Formal Verification
Health Records
Model-Based Testing
Sharing System
العنوانAdopting formal verification and model-based testing techniques for validating a blockchain-based healthcare records sharing system
النوعConference Paper
الصفحات261-268
رقم المجلد1
dc.accessType Abstract Only


الملفات في هذه التسجيلة

الملفاتالحجمالصيغةالعرض

لا توجد ملفات لها صلة بهذه التسجيلة.

هذه التسجيلة تظهر في المجموعات التالية

عرض بسيط للتسجيلة