Journal:Nanoscale ISSN No.:2040-3364 Translation or Not:no Date of Publication:2022-02-01 Indexed by:会议论文
Pre One:RRA-SAP security verification based on model checking for RBAC access control systems
Next One:基于模型检测的URA-SAP 安全性验证