Network connectivity policies are crucial for assuring the security and availability of large-
scale datacenter. Managing these policies is fraught with complexity and operator errors …

Safety analysis is a fundamental problem in authorization models. Safety decidable models
provide theoretical foundations for decentralized security administration. Attributes of objects …

This paper considers the safety problem for the pre-authorization sub-model of the well-
known usage control model, that is,. It is shown that with finite attribute domains has …

Today, Role Based Access Control (RBAC) is the de facto model used for advanced access
control, and is widely deployed in diverse enterprises of all sizes. Several extensions to the …

Document image quality assessment (DIQA) is an important and challenging problem in real
applications. In order to predict the quality scores of document images, this paper proposes …

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 …

Current techniques for security analysis of administrative role-based access control
(ARBAC) policies restrict themselves to the separate administration assumption that …

The existing modeling and verification methods for embedded software are insufficient
towards the increasingly prominent security requirements. In this paper, aiming at high …

In this paper we present Vac, an automatic tool for verifying security properties of
administrative Role-based Access Control (RBAC). RBAC has become an increasingly …

Over the past few years, several efforts have been made to enable specification and
enforcement of flexible and dynamic access control policies using traditional access control …