Attribute-based access control (ABAC) is a promising alternative to traditional models of
access control (ie, discretionary access control (DAC), mandatory access control (MAC), and …

There any many different access-control systems, yet a commonality is that they provide
flexible mechanisms to enforce different access levels. Their importance in organisations to …

Specifying and managing access control policies is a challenging problem. We propose to
develop formal verification techniques for access control policies to improve the current state …

Manufacturing Internet of Things (MIoT) represents the manufacturing oriented to Internet of
Things with two important characteristics, resource sharing and process collaboration …

Administrative RBAC (ARBAC) policies specify how Role-Based Access Control (RBAC)
policies may be changed by each administrator. It is often difficult to fully understand the …

Verifying that access-control systems maintain desired security properties is recognized as
an important problem in security. Enterprise access-control systems have grown to protect …

Constraints form an important aspect of any access control system and are often regarded
as one of the principle motivations behind developing different access control models. The …

Recently, there has been considerable interest in attribute-based access control (ABAC) to
overcome the limitations of the classical access control models (ie, discretionary-DAC …

Attribute-based access control (ABAC) models are widely used to provide fine-grained and
adaptable authorization based on the attributes of users, resources, and other relevant …

Android has become a dominant computing platform, and its popularity has coincided with a
surge of malware. The incorporation of Security-Enhanced Linux in Android (SEAndroid) is …