Digital watermarking protocol security analysis based on Kailar logic

As a security protocol, the security of watermarking protocol also requires formal analysis. After carefully studied an enhanced buyer-seller watermarking protocol, we improved its process for assurance of accountability. Then, according to Kailar Logic, we show that the improved protocol to achieving accountability. At last, complete proof results show that the formal methods of security protocol can successfully integrated into analyzing process for watermarking protocol.