彭红艳 夏春和 江瑾 黄翰陞 周小发 罗军舟 邓剑锋 李肖坚 卿斯汉 贺前华 黎波涛

二维几何认证 不可否认 非否认性 非否认协议 形式化分析 仲裁方 公平性 电子商务协议 可信第三方 数字签名 证据管理 时限性 改进语义 CMP1协议 不可否认协议