In this paper, we propose a Domain Administration of RBAC Model, DARBAC, which defines an administrative domain for each administrative role. The administrative ...
In this paper, we propose a Domain Administration of RBAC Model, DARBAC, which defines an administrative domain for each administrative role. The administrative ...
Bibliographic details on Using pi-Calculus to Formalize Domain Administration of RBAC.
Using π-Calculus to Formalize Domain Administration of RBAC ... With the wide implementations of Role-based access control (RBAC) models in the information ...
Using pi-Calculus to Formalize Domain Administration of RBAC · Yahui LuLi ... This approach is the first attempt to use π-calculus to formalize RBAC and its ...
However, it has not yet been evaluated whether the π-calculus is actually appropriate to represent the behavioral patterns of workflow. This paper investigates ...
Missing: Administration | Show results with:Administration
... domain and role enhanced administration domain to realize decentralized administration of RBAC ... Using pi-Calculus to Formalize Domain Administration of RBAC.
a formal framework for concurrent systems running under a RBAC policy: an extension of the π-calculus a type system ensuring that the specified policy is ...
Missing: Domain | Show results with:Domain
Rôle-based access control (RBAC) is increasingly at- tracting attention because it reduces the complexity and cost of security administration by interposing ...
Essentially, our idea is to equip the π-calculus with the notion of users: we ... First, we define its syntax and operational semantics; then, we formalise the ...
Missing: Formalize | Show results with:Formalize