Surrey researchers Sign in
Using a Formal Analysis Technique to Identify an Unbinding Attack on a Buyer-Seller Watermarking Protocol
Conference proceeding   Open access   Peer reviewed

Using a Formal Analysis Technique to Identify an Unbinding Attack on a Buyer-Seller Watermarking Protocol

DM Williams, H Treharne, ATS Ho and C Culnane
MM&SEC'08: PROCEEDINGS OF THE MULTIMEDIA & SECURITY WORKSHOP 2008, pp.205-213
ACM Multimedia and Security Workshop (Oxford Univ Comp Lab, Oxford, ENGLAND, 22/09/2008 - 23/09/2008)
01/01/2008

Abstract

Science & Technology Technology Computer Science Artificial Intelligence Computer Science Theory & Methods Imaging Science & Photographic Technology Computer Science Buyer-Seller Watermarking Protocol Formal Model Formal Analysis CSP Unbinding Customers' Rights
pdf
williams_2008306.57 kBDownloadView
TextSRIDA Open Access
url
http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=WOS:000267481500025&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=11d2a86992e85fb529977dad66a846d5View
Author

Metrics

227 File views/ downloads
30 Record Views

Details

Usage Policy