彭红艳 高悦翔 廖振岚 岳东峰 周倜 李肖坚 彭代渊 王立斌 庞南 范昊 徐成 杨秋松 苏桂平 邓剑锋 葛建华 卿斯汉 高晓春 吴哲辉 何丽 周小发 曾庆田 袁峰 许峰 于东 卜凡金 薛锐 刘士冬 王煦法 卓继亮 吕述望

安全协议 可信第三方 密码学可靠性 CSP方法 公平性 入侵者模型 Dolev-Yao模型 密码系统相关缺陷 认证性 模型验证 0-1停止等待协议 模型检测 协议性能评估 验证 组播 攻击序列 SVO逻辑 密码体制 时延 Petri 网 推理 CKT5逻辑 安全目标 Kailar逻辑 移动计算 电子商务协议 安全协议 SPINPromela 语法和语义 算法知识逻辑 搜索算法

安全协议