Symbolic logic is the study of symbolic abstractions that capture the formal features of logical inference.
符号逻辑是象征性的研究抽象捕捉正规特点逻辑推理。
In the paper, we study these problems memtioned above by symbolic logic, and propose a formal model of RBAC.
本文针对这个问题，从数理逻辑的角度出发，建立了一个形式化模型。
In the paper, we study these problems memtioned above by symbolic logic, and propose a formal model of RBAC.
本文针对这个问题，从数理逻辑的角度出发，建立了一个形式化模型。
应用推荐