郭云川 刘文远 程亮 周龙骧 刘辉 唐杰 方淑芬 张力 左晶晶 董荣胜 杨德礼 王茜 胡贯荣 蔡国永 肖卫军 吴博 古天龙 刘文荣 吴昊 李长磊 彭勋 杨木祥 陈榕 杨玉萍 邓成玉 卢正鼎 洪帆

安全性 电子钱包 不可否认性 公平性 公平匿名性 交叉验证 SMV 交易规模 形式化方法 可确认性 符号模型验证 两阶段提交 多数据库系统 匿名性 “和欣”操作系统 电子支付 SET协议 电子商务协议 SQLite 符号模型检验 安全支付协议 子事务 嵌入式数据库 网络在线支付 交易协议 SEP 安全性 支付协议 公平盲签名技术 形式化验证

安全性