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.

关键词： Digital Watermarking Watermarking Protocol Security Protocol Formal Methods Logical Analysis

作者: Quan Wen XiaoNian Tang

作者单位: JiLin University School of Communication Engineering ChangChun,China JiLin University School of Physics ChangChun,China

会议类型: 国际会议

会议名称: 2010 International Conference on Computer,Mechatronics,Control and Electronic Engineering(2010计算机、机电、控制与电子工程国际会议 CMCE 2010)

会议地点: 长春

会议语种:英文

页码: 353-356

在线出版日期: 2010-08-24（万方平台首次上网日期，不代表论文的发表时间）