刘培 魏仕民 程小平 周清雷 蒋睿 周明天 潘理 顾维娜 李建华 杨照芳 王猛 余磊 郭宇燕 毋晓英 曹浩

密钥交换协议 认证性 测试分量 第3代伙伴计划 形式化方法 安全协议 保密性 TLS协议 智能卡 认证协议 认证测试 认证测试方法 形式化分析 哈希函数 理想