Work-Based Access Control Model for Cooperative Healthcare Environments: Formal Specification and Verification

Area of Science:

• Computer Science
• Information Security
• Healthcare Informatics

Background:

• Cooperative healthcare environments require robust access control mechanisms.
• Existing models may lack flexibility for dynamic, collaborative settings.

Purpose of the Study:

• To propose and evaluate a novel work-based access control (WBAC) model for cooperative healthcare.
• To enhance security, efficiency, and practicality in dynamic collaborative environments.

Main Methods:

• Formalizing the WBAC model, including events, policies, and authorization constraints.
• Defining basic elements, relations, and the access control decision function.
• Evaluating security, manageability, and performance against existing models.

Main Results:

• The proposed WBAC model integrates team role classification (Belbin theory) with user-role assignments.
• Formal verification confirms the model's security, flexibility, and ease of management.
• Performance evaluation demonstrates enhanced practicability for fine-grained access control.

Conclusions:

• The WBAC model effectively addresses access control challenges in dynamic healthcare collaborations.
• It provides a flexible, manageable, and secure solution for fine-grained access.
• The model improves the overall practicability of access control in cooperative healthcare settings.