杨秋伟 贠超 廖俊国 洪帆 周汉中 李成群 杨木祥 王伟 肖海军 曹建波 张银花 段素娟

图灵机 动态角色转换 信任 UML 授权管理 矩阵式出药 功能分析 角色 NP-完全问题 IRBAC2000模型 不可判定性 面向对象分析 自动化药房 上药机械手 基于角色的访问控制 互斥角色 多域应用 密集存储规划 先决条件 生产调度 访问控制

华中科技大学计算机科学与技术学院 湖南科学技术大学计算机科学与工程学院 湖北武汉