张畅 王育民 陈清亮 肖茵茵 郭渊博 张森强 何大可 韩继红 高虎明 胡成军 陈晓峰 李云峰 岳伟亚 唐朝京 王剑 张权 王亚弟 郑援 苏开乐 吕关锋 杨晋吉 沈昌祥

安全保密 银行信息系统 准确性 电子投票 事件 SET证书申请协议 Mix net 可验证性 定理证明 公平性 平台应用 形式化验证 自动化验证 认证性 示范工程 Petri网 密码协议 SPV 正确性