王清贤 周伟 蒋烈辉 郭金庚 殷文建 周博 蔡延荣 刘铁铭 陈亮 韩小琨 周丽娜 朱杰

形式模型 入侵识别 多播安全 计算项 安全 不动点 指称语义 进程等价 类型推导 进程代数 绝对安全性质 不可演绎 复合不变性质 柔性安全体系 组策略 安全体系结构 类型约束 信息流安全 H-等价 Z Notation语言 策略管理 安全多播 解释型模拟 无干扰 类型分析 安全进程代数 网络适存性 安全模型 语义等价 格

解放军信息工程大学信息工程学院 信息工程大学信息工程学院 河南郑州 信息工程大学网络工程实验室