학술논문
A Formal Approach for the Evaluation of Network Security Mechanisms Based on RBAC Policies
Document Type
Article
Author
Source
In Electronic Notes in Theoretical Computer Science 4 February 2005 121:117-142
Subject
Language
ISSN
1571-0661