定理41:如果s≠(m) sK mod p,则接受者 以概率1/q接收s作为m的签名。 1(4)否认协议 该协议的作用是签名方要使接收方确信 所接收到的签名信息是其他人伪造的。 也就是说当签名方声明他没有对信息m 签名,则必须执行该协议,并通过协议 向接收方证明签名是伪造的。若签名方 仅声明没有对信息m签名,又拒绝执行 该协议,则就认定签名方对信息m签名 了。该协议由两轮验证协议组成。 定理4.1：如果 s ≠(m)SK mod p，则接受者 以概率1/q接收 s作为 m的签名。  (4)否认协议  该协议的作用是签名方要使接收方确信 所接收到的签名信息是其他人伪造的。 也就是说当签名方声明他没有对信息 m 签名，则必须执行该协议，并通过协议 向接收方证明签名是伪造的。若签名方 仅声明没有对信息 m签名，又拒绝执行 该协议，则就认定签名方对信息 m签名 了。该协议由两轮验证协议组成