论文研究-基于RBAC模型的安全约束验证方法 .pdf

【文件属性】：

文件名称：论文研究-基于RBAC模型的安全约束验证方法 .pdf

文件大小：325KB

文件格式：PDF

更新时间：2022-09-05 08:19:28

网络安全

基于RBAC模型的安全约束验证方法，张昊，孙建华，基于角色访问控制（RBAC）模型的形式化分析和验证随着安全访问控制系统研究的不断深入已成为当前研究热点之一。本文提出了一种基��