卿斯汉 周敬利 何建波 欧阳凯 李丽萍

最小特权 域 形式化 可信管道 同名角色 安全域隔离 角色 角色访问控制模型 安全操作系统 信息流 权能状态 DTE 可信计算 同名控制域 安全模型

中国科学院软件研究所 中国科学院研究生院 北京大学软件与微电子学院 国家基础软件工程研究中心中国科学院软件研... 湖北武汉 华中科技大学计算机学院 武汉科技大学计算机学院 中国科学院信息安全技术工程研究中心