张亦辰 彭代渊 帅青红 胡贯荣 周龙骧 刘义春 朱梧 陈茜 高悦翔 吴昊 胡和平 王茜 李继国 曹珍富 路松峰 杨德礼 李建中 周勇

Kailar逻辑 网上银行 形式化分析 数字签名 电子签名技术 交易规模 公平性 用户登录 PKI 文件信息 离散对数 SET协议 电子商务 门限代理签名 安全协议 安全电子邮件 形式化验证 逻辑程序 安全性 原子性 安全证书 电子邮件 机密性 电子商务协议 交易协议 代理签名 电子支付 门限密码学 匿名性 网上交易