卢正鼎 胡和平 田伟 周铭 雷金娥

基于格访问控制 基于角色的访问控制 直接关系 完整性 多级关系 标记迁移系统 封装角色区间 超矩阵 隐通道 基于角色存取控制 可编程性 等价类 矩阵表示 现场可编程门阵列 基于角色访问控制 Petri网 NTree 合理性 偏序 分布式管理 体系 近似表示 访问策略 软件保护 使用控制 有色Petri网 状态空间 安全

湖北武汉 华中科技大学计算机学院 南昌水利水电高等专科学校 江西南昌 华中科技大学计算机科学与技术学院 湖北武汉430074南昌工程学院 南昌工程学院科研处 南昌工程学院计算机与科学技术系