Modelling and verifying dynamic access control policies in workflow-based healthcare systems
Access control system is an important component to protect patients' information from abuse in a health care system. It is a major concern in the management, design, and development of healthcare systems. Designing access control policies for healthcare systems is complicated due to the dynamic...
Main Author: | Faruqui, Rokan Uddin (Author) |
---|---|
Format: | Article |
Language: | English |
Published: |
Penerbit Universiti Kebangsaan Malaysia,
2020-02.
|
Online Access: | Get fulltext |
Similar Items
-
Verifying the Correctness of Workflow Systems Based on Workflow Net With Data Constraints
by: Yaqiong He, et al.
Published: (2018-01-01) -
A Dynamic Access Control Model Using Authorising Workflow and Task-Role-Based Access Control
by: Mumina Uddin, et al.
Published: (2019-01-01) -
View and Verify Access Control Policies
by: João Pedro de Almeida e Sá
Published: (2019) -
Generating verified access control policies through model-checking
by: Zhang, Nan
Published: (2005) -
EVOAC-HP: An Efficient and Verifiable Outsourced Access Control Scheme with Hidden Policy
by: Li, P., et al.
Published: (2023)