To search, Click below search items.


All Published Papers Search Service


Modeling Access Control Resource Based on Process Algebra


Wang Lisong, Qin Xiaolin, Ding Qiulin


Vol. 10  No. 3  pp. 173-176


In this paper, the rights, security labels, roles, etc are called access control resources. A calculus with resource usage and consumption is proposed in this paper to model access control resource, it is a new variation of the CCS, named calculus of resource usage and consumption (RUCC for short), in which a process must have and consume some resources to execute an action. In RUCC, processes operate relative to a resource environment, and communications can only happen if principals have provided sufficient resources for the communication action. In this preliminary paper, we design the syntax, semantics for the calculus and some examples show that this calculus has very powerful expressiveness.


process algebra, access control resources, security policy