Table of Contents

Special Issue

Introduction to the Special Issue on Reliability and Security of e-Health Information Systems PDF
Kashif Saleem, Amjad Gawanmeh iii-iv
Improvement Strategies for Device Interoperability Middleware using Formal Reliability Analysis PDF
Usman Pervez, Asiah Mahmood, Osman Hasan, Khalid Latif, Amjad Gawanmeh 150-170
Pravah: Parameterised Information Flow Control in e-Health PDF
Chandrika Bhardwaj, Sanjiva Prasad 171-188
Analysis and Verification of XACML Policies in a Medical Cloud Environment PDF
Meryeme Ayache, Mohammed Erradi, Ahmed Khoumsi, Bernd Freisleben 189-206
Resolving Conflicting Privacy Policies in M-health based on Prioritization PDF
Souad Sadki, Hanan El Bakkali 207-226
Formal Verification of a Microfluidic Device for Blood Cell Separation PDF
Amjad Gawanmeh, Anas Alazzam, Bobby Mathew 227-236


Solving the Table Maker's Dilemma on Current SIMD Architectures PDF
Christophe Avenel, Pierre Fortin, Mourad Gouicem, Samia Zaidi 237-250
Communication-aware Approaches for Transparent Checkpointing in Cloud Computing PDF
Samy Sadi, Belabbas Yagoubi 251-270

Download all articles