李舟军 张大方 桑田 周宏斌 戴葵 沈胜宇 徐丙凤 叶新铭 赵宇 黄志球 黄谷 王志英 杨红丽 秦拯 罗楠 宋勇 赵宗涛 吴丹 金秀 李沁 王俐莉 段振华 谢峰 王莉 王茜 黄连生 刘芳 胡军 张珩 门鹏

安全协议 可信信道 角色冒充 线形时序逻辑 可满足问题 自动验证 时间模型 指针逻辑 时态逻辑 Cord演算 认证性 BAN类逻辑 符号模型检验 不可否认性 ObjectiveCaml 代码分析 秘密 IsabelleHOLIsar 复杂性 反例 并发 自动机 有限自动机 自动机理论 高阶逻辑 模型检测 UML 运行时验证 SystemV 实时

安全协议