论文研究基于RBAC模型的安全约束验证方法 .pdf 上传者：CSDN阿坤 2020-02-27 23:55:29上传 UNKONW文件 500kb 热度 64次 基于RBAC模型的安全约束验证方法，张昊，孙建华，基于角色访问控制（RBAC）模型的形式化分析和验证随着安全访问控制系统研究的不断深入已成为当前研究热点之一。本文提出了一种基�� 下载地址 用户评论 更多下载 下载地址 立即下载 用户评论 发表评论
