Formal Analysis of Two Buyer-Seller Watermarking Protocols

  • Authors:

  • David M. Williams;Helen Treharne;Anthony T. Ho;Adrian Waller

  • Affiliations:

  • University of Surrey, Guildford, UK GU2 7XH;University of Surrey, Guildford, UK GU2 7XH;University of Surrey, Guildford, UK GU2 7XH;Thales Research and Technology (UK) Ltd., Reading, UK RG2 0SB

  • Venue:
  • Digital Watermarking
  • Year:
  • 2009

Quantified Score

Hi-index 0.00

Visualization

Abstract

In this paper we demonstrate how the formal model constructed in our previous work [1], can be modified in order to analyse additional Buyer-Seller Watermarking Protocols, identifying which specific sections of the CSP scripts remain identical and which require modification. First, we model the protocol proposed by Memon and Wong [2], an examplar of the Offline Watermarking Authority (OFWA) Model, defined in the framework by Poh and Martin [3]. Second, we model the Shao protocol [4] as an example of a protocol fitting the Online Watermarking Authority (ONWA) Model. Our analysis of the protocols reaffirms the unbinding attack described by Lei et al.[5] on the Memon and Wong protocol and we identify a new unbinding attack on the protocol proposed by Shao.