RBAC for Healthcare-Infrastructure and data storage
This work addresses security challenges in healthcare infrastructure and data storage, but it appears incremental as it applies existing RBAC and modeling methods to this specific domain.
The authors tackled the problem of securing healthcare data by defining a role-based access control (RBAC) structure and used the Alloy formal logic modeling tool to model and validate system functions, including static and dynamic behaviors, with a focus on evaluating properties like integrity, conformance, and progress.
Role based Access control (RBAC) is the cornerstone of security for any modern organization. In this report, we defined a health-care access control structure based on RBAC. We used Alloy formal logic modeling tool to model and validate system functions. We modeled system static and dynamic or temporal behaviours. We focused on evaluating properties such as integrity, conformance and progress.