保尔森归纳法论文

乐观公平交换协议形式化逻辑及其自动证明技术
论文摘要随着Internet的日益发展与普及,电子信息交换已成为现代经济生活的主要形式之一,它是在任意两个互不信任的主体之间以一种公平的方式来交换电子数据。实现公平电子信息交换...