Journal:信息安全与通信保密 ISSN No.:ISSN: 1009-8054 Translation or Not:no Date of Publication:2010-06-01 Indexed by:期刊论文
Pre One:RRA-SAP security verification based on model checking for RBAC access control systems
Next One:基于模型检测的URA-SAP 安全性验证
