一种新型的非否认协议

在克服一种非否认协议草案的缺陷的基础上,提出一种新的非否认协议.新的协议可以在不安全和不可靠的信道上工作,并能对付各种欺骗行为.此外,还对svo逻辑进行扩充,引进一些新的概念和方法,并用扩展后的svo逻辑分析与证明新的非否认协议.