熊光泽 陈亮 郑建仙 刘锦德 李乐民 罗仁泽 余兵 胡斌

评价指标 形式化方法 检测点 理想防危策略 Linux 增量检测点 安全系统 可靠性设计

福建厦门 四川成都 电子科技大学通信学院 电子科技大学计算机学院 厦门大学信息科学与技术学院 厦门大学计算机与信息工程学院