کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
6873341 1440633 2018 16 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
On the design and analysis of protocols for Personal Health Record storage on Personal Data Server devices
ترجمه فارسی عنوان
در طراحی و تجزیه و تحلیل پروتکل ذخیره سازی پرونده شخصی سلامت در دستگاه های داده شخصی سرور
کلمات کلیدی
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
چکیده انگلیسی
We need formal assurance of data availability when information is stored in PDS overlays. Thus, data must be replicated at multiple PDSs. We propose a data replication protocol that ensures that the PHRs for each user have replicas in the PDS overlay. It is crucial to ensure correctness of the data replication protocol. Consequently, we formalize the protocol using the Unified Modeling Language (UML) and specify a number of desirable properties. We need to provide formal assurance of these properties in an automated manner. We demonstrate how the UML model can be transformed into Alloy using the UML-to-Alloy transformations. This obviates the need for the protocol designer to know Alloy. The analysis uncovers a significant error in the protocol. Uncovering such errors help refine the protocol and ensures its correctness before deployment.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Future Generation Computer Systems - Volume 80, March 2018, Pages 467-482
نویسندگان
, , , ,