皋磊 张玉清 史庭俊 杨永田 孟祥宏 熊琦 蒋建春 赵国生 杨凡 朱耀庭 蔡均平 张英 周建美 王慧强 王巍 方滨兴 叶建伟 任立红 赵金凤 殷新春 喻莉 蒋卫华 刘陶 王超 鲁懿文 国林 肖治庭 徐慧 张益 彭雪海

美国海军 免疫机理 策略 导航战 入侵容忍 多值逻辑 形式化描述 网络安全 有限状态机 可生存特性 马尔可夫过程 随机Petri网 入侵 容侵系统 电子防御 模型 服务漂移 可控性 评估模型 灰关联分析 布尔表达式 异构冗余 二值逻辑 非光滑分析 定量评估 可生存系统 分层模型 全球定位系统 仿真 安全