宋志敏 周恩光 王文涛 谢冬青 黄继武 PaulSWang 詹宜巨 李舟军 谢峰 王涛 周明天 张龙军 李松 李峰 陈克非 邓淼磊 常青美 林东岱 周洲仪 刘培 唐菀 罗东俊 沈炜 王立斌 刘进 曹宝香 黄连生 张玉清 余松森 任侠

电子商务 形式化分析 SSLTLS协议 安全性质 安全模型 协议验证 协议分析 角色冒充 自动化设计 密钥管理 公平交换协议 认证协议 设计原则 单点登录 SOA 演化计算 模态逻辑 形式化方法 形式化验证 Abadi and Needham）类逻辑 口令 敌手 定理证明 BAN（Burrows 可证明安全 安全密钥 网络地址转换 统一建模语言 符号模型检验 网络安全

电子商务

形式化分析