基于逻辑式的NTFS用户角色计算模型
기우라집식적NTFS용호각색계산모형
Propositional formula based model for NTFS user-role computing