邹林
- 作品数：3 被引量：5H指数：1
- 供职机构：上海交通大学电子信息与电气工程学院更多>>
- 发文基金：国家自然科学基金国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于角色访问控制系统中角色结构安全性分析问题的模型检测验证被引量：4
- 2010年
- 提出了一种与角色结构相关的安全性分析问题(RRA-SAP),分析了角色结构对系统安全性的影响,证明了其计算复杂度,采用模型检测技术得到将RRA-SAP转化为模型检测问题的自动化验证算法,并验证了其有效性.结果表明,该算法可以在期望的时间内自动解决RRA-SAP问题.
- 邹林潘理
- 基于RBAC的网络访问控制系统建模与实现
- 随着计算机网络的飞速发展,通过网络共享和交换信息已经成为人们日常生产和生活的重要方面,但是随之而来的是用户信息的安全问题,如何保证用户的个人信息和服务器资源不被非法用户窃取和使用成为一项非常重要的工作。在金融、政府和科研...
- 邹林
- 关键词：网络访问控制RBAC模型通信系统
- 文献传递
- 基于模型检测的URA-SAP安全性验证
- 2010年
- 在RBAC访问控制系统的安全性分析问题(RBAC-SAP)中,用户-角色分配相关的安全性分析问题(URA-SAP)是其中最重要的一个子问题,即用户-角色分配关系的变化对系统安全性的影响问题。提出了一种将URA-SAP转化为模型检测问题的自动化验证算法,实验表明采用该算法并结合现有的模型检测工具可以有效地解决URA-SAP问题。
- 邹林潘理
