杨克 贺汛 李加良 郭阳 杨晓东 桑田 吴春寒 张磊 谢峰 舒新峰 黄连生 方敏 庞征斌 段振华 杨泽民 张兴元 屈婉霞 王金双 杨华兵 李健 胡克瑾 王元元 雷丽晖 范全润 张毓森 门鹏 吉猛 王新兵

加密协议 IsabelleHOL IsabelleHOLIsar 攻击者 活动性 Mur 角色冒充 多处理机系统 SAODV协议 商迁移系统 混合系统 等价性检验 定理证明 流管道 模型检验 Cache一致性协议 模型检测 电子商务 投影时序逻辑 组合Web服务 性能评价 安全协议 系统建模 状态搜索 广义随机Petri网 语义Web服务标记语言 正则表达式 有穷自动机 硬件