University of Surrey

Test tubes in the lab Research in the ATI Dance Research

Formal Analysis of Two Buyer-Seller Watermarking Protocols

Williams, DM, Treharne, H, Ho, ATS and Waller, A (2009) Formal Analysis of Two Buyer-Seller Watermarking Protocols In: 7th International Workshop on Digital Watermarking, 2008-11-10 - 2008-11-12, Busan, South Korea.

[img] Text
Restricted to Repository staff only
Available under License : See the attached licence file.

Download (300kB)
[img] Text (licence)
Restricted to Repository staff only

Download (33kB)


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.

Item Type: Conference or Workshop Item (UNSPECIFIED)
Authors :
Williams, DM
Treharne, H
Waller, A
Date : 2009
DOI : 10.1007/978-3-642-04438-0_24
Contributors :
ContributionNameEmailORCID, HJ, S, ATS,
Depositing User : Symplectic Elements
Date Deposited : 28 Mar 2017 14:42
Last Modified : 31 Oct 2017 14:34

Actions (login required)

View Item View Item


Downloads per month over past year

Information about this web site

© The University of Surrey, Guildford, Surrey, GU2 7XH, United Kingdom.
+44 (0)1483 300800