Oct 10, 2020 · In this paper, we consider the analysis problem in the context of the administrative role-based access control (ARBAC) and its extension, the administrative ...
scholar.google.com › citations
This paper presents how to design analysis techniques, namely asasp2.1 and asaspTIME2.0 for ARBAC and ATRBAC, respectively, based on the ideas of a ...
Mar 29, 2023 · This paper aims to demonstrate how to formally verify access control policies. Model checking is used to verify access control properties against policies ...
Missing: Analysis | Show results with:Analysis
Automated Analysis of Access Control Policies Based on Model Checking. PDF / 2,415,094 Bytes; 16 Pages / 595.276 x 790.866 pts Page_size; 16 Downloads / 231 ...
Oct 22, 2024 · We present a framework for evaluating and generating access control policies. The framework contains a modelling formalism called RW, which is ...
Our technique can also be used to synthesise finite access control systems, from an appropriately formulated logical theory describing a high-level policy.
Mar 29, 2023 · This paper aims to demonstrate how to formally verify access control policies. Model checking is used to verify access control properties ...
Ranise S, Truong A, Armando A. Scalable and precise automated analysis of administrative temporal role-based access control. In: SACMAT, 2014; p. 103–114. ACM.
People also ask
What is the policy based access control model?
What are the models of access control policies and mechanisms?
Automated verification using model checking can serve as a valuable tool and assist administrators in assessing the correctness of access control policies. This ...
Mentioning: 50 - Abstract. We present a model-checking algorithm which can be used to evaluate access control policies, and a tool which implements it.