祝跃飞 李艳平 夏春和 李慧 王育民 司志刚 邢黎 李肖坚 彭红艳 司光东 邓剑锋 卿斯汉 周小发 王杰

不可否认协议 形式化分析 可追究性 非否认协议 非否认性 公平性 拍卖 电子商务协议 信任链 SVO逻辑 远程证明 组播 可恢复信道 可信执行平台 仲裁方 认证协议 挂号电子邮件协议 可信平台模块 移动可信模块 密钥管理中心