周清雷 程小平 杨树堂 杨照芳 任侠 郭宇燕 诸鸿文 魏仕民 曹浩 卢凤清 林东岱 李谢华 毋晓英 李建华 吕述望

测试分量 智能卡 变换路径 TLS协议 哈希函数 Kao-Chow认证协议 Neuman-Stubblebine协议 串空间 类型缺陷 消息类型 串空间模型 变换实施边 强类型抽象 认证性 理想 认证协议 Strand空间