research-article

Using a formal analysis technique to identify an unbinding attack on a buyer-seller watermarking protocol

Authors:

David M. Williams,

Helen Treharne,

Anthony T.S. Ho,

Chris CulnaneAuthors Info & Claims

MM&Sec '08: Proceedings of the 10th ACM workshop on Multimedia and security

Pages 205 - 214

https://doi.org/10.1145/1411328.1411363

Published: 22 September 2008 Publication History

Get Access

Abstract

In this paper we provide a novel approach to the analysis of buyer-seller watermarking protocols by tailoring an existing formal technique that has not previously been used in this context. We accurately represent a buyer-seller watermarking protocol as proposed by Ibrahim et al. [6] by constructing a model using the process algebra CSP. By describing our model in this manner and utilising the tool support associated with CSP we are able to conduct a thorough analysis of all the possible behaviour in the protocol. Through formal analysis we have discovered an unbinding attack on the protocol. In this paper we also highlight other weaknesses that exist in the protocol and propose verifiable solutions to correct these weaknesses.

References

[1]

C.-C. Chang and C.-. Chung. An enhanced buyer seller watermarking protocol. In International Conference on Communication Technology Proceedings, pages 1779--1783, 2003.

Crossref

Google Scholar

[2]

I. J. Cox, L. Miller, and J. A. Bloom. Digital Watermarking. Morgan Kaufmann, 2002.

Digital Library

Google Scholar

[3]

S. Craver, N. Memon, B. L. Yeo, and M. Yeung. Resolving rightful ownerships with invisible watermarking techniques: limitations, attacks, and implications. IEEE Journal on Selected Areas in Communications, 16(4):573--586, 1998.

Digital Library

Google Scholar

[4]

D. Dolev and A. Yao. On the security of public key protocols. IEEE Transactions on Information Theory, 29(2):198--208, 1983.

Digital Library

Google Scholar

[5]

C. A. R. Hoare. Communicating sequential processes. Prentice-Hall International, 1985.

Digital Library

Google Scholar

[6]

I. M. Ibrahim, S. H. N. El-Din, and A. F. A. Hegazy. An effective and secure buyer seller watermarking protocol. In Third International Symposium on Information Assurance and Security, pages 21--28, 2007.

Digital Library

Google Scholar

[7]

C.-L. Lei, P.-L. Yu, P.-L. Tsai, and M.-H. Chan. An efficient and anonymous buyer-seller watermarking protocol. IEEE Transactions on Image Processing, 13(12):1618--1626, 2004.

Digital Library

Google Scholar

[8]

G. Lowe. Breaking and fixing the needham-schroeder public-key protocol using fdr. In Proceedings of the Second International Workshop on Tools and Algorithms for Construction and Analysis of Systems, pages 147--166, 1996.

Digital Library

Google Scholar

[9]

N. Memon and P. W. Wong. A buyer seller watermarking protocol. IEEE Transactions on Image Processing, 10(4):643--649, 2001.

Digital Library

Google Scholar

[10]

L. Qiao and K. Nahrstedt. Watermarking schemes and protocols for protecting rightful ownership and customers' rights. Journal of Visual Communication and Image Representation, 9(3):194--210, 1998.

Digital Library

Google Scholar

[11]

A. W. Roscoe. The theory and practice of concurrency. Prentice Hall, 1998.

Digital Library

Google Scholar

[12]

A. W. Roscoe, P. Ryan, S. Schneider, M. Goldsmith, and G. Lowe. The Modelling and Analysis of Security Protocols. Addison-Wesley, 2001.

Digital Library

Google Scholar

[13]

F. Systems. FDR 2.82. Formal Systems Ltd., 2005.

Google Scholar

[14]

J. Zhang, W. Kou, and K. Fan. Secure buyer-seller watermarking protocol. IEE Proceedings Information Security, 153(1):15--18, 2006.

Crossref

Google Scholar

Cited By

View all

Phan RBok-Min Goi Geong-Sen Poh Kim J(2011)Analysis of a Buyer---Seller Watermarking Protocol for Trustworthy Purchasing of Digital ContentsWireless Personal Communications: An International Journal10.1007/s11277-009-9876-z56:1(73-83)Online publication date: 1-Jan-2011
https://dl.acm.org/doi/10.1007/s11277-009-9876-z

Index Terms

Using a formal analysis technique to identify an unbinding attack on a buyer-seller watermarking protocol
1. Computing methodologies
  1. Modeling and simulation
2. Software and its engineering
  1. Software notations and tools
    1. General programming languages
      1. Language features
        Data types and structures

Recommendations

Mobile 3D Game Contents Watermarking Based on Buyer-Seller Watermarking Protocol

This paper presents a watermarking method for the copyright protection and the prevention of illegal copying of mobile 3D contents. The proposed method embeds the copyright information and user's phone number into the spatial and encryption domains of ...
A Privacy-Preserving Buyer–Seller Watermarking Protocol Based on Priced Oblivious Transfer

Buyer-seller watermarking protocols allow copyright protection of digital goods. To protect privacy, some of those protocols provide buyers with anonymity. However, anonymous e-commerce protocols pose several disadvantages, like hindering customer ...
An efficient buyer-seller watermarking protocol based on composite signal representation
MM&Sec '09: Proceedings of the 11th ACM workshop on Multimedia and security

Buyer-seller watermarking protocols integrate watermarking techniques with cryptography, for copyright protection, piracy tracing, and privacy protection. In this paper, we propose an efficient buyer-seller watermarking protocol based on homomorphic ...

Comments

Information & Contributors

Information

Published In

MM&Sec '08: Proceedings of the 10th ACM workshop on Multimedia and security

September 2008

242 pages

ISBN:9781605580586

DOI:10.1145/1411328

General Chair:
Andrew Ker
University of Oxford, UK
,
Program Chairs:
Jana Dittmann
Otto-von-Guericke University, Magdeburg, Germany
,
Jessica Fridrich
SUNY Binghamton, USA

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 22 September 2008

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Conference

MM&Sec '08

Sponsor:

MM&Sec '08: Multimedia and Security Workshop

September 22 - 23, 2008

Oxford, United Kingdom

Acceptance Rates

Overall Acceptance Rate 128 of 318 submissions, 40%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

1
Total Citations
View Citations
203
Total Downloads

Downloads (Last 12 months)1
Downloads (Last 6 weeks)0

Reflects downloads up to 07 Mar 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Phan RBok-Min Goi Geong-Sen Poh Kim J(2011)Analysis of a Buyer---Seller Watermarking Protocol for Trustworthy Purchasing of Digital ContentsWireless Personal Communications: An International Journal10.1007/s11277-009-9876-z56:1(73-83)Online publication date: 1-Jan-2011
https://dl.acm.org/doi/10.1007/s11277-009-9876-z

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Abstract

References

Cited By

Index Terms

Recommendations

Mobile 3D Game Contents Watermarking Based on Buyer-Seller Watermarking Protocol

A Privacy-Preserving Buyer–Seller Watermarking Protocol Based on Priced Oblivious Transfer

An efficient buyer-seller watermarking protocol based on composite signal representation

Comments

Information

Published In

Sponsors

Publisher

Publication History

Permissions

Check for updates

Author Tags

Qualifiers

Conference

Acceptance Rates

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

Login options

Full Access

View options

PDF

eReader

Share

Share this Publication link

Share on social media

Affiliations