University of Surrey

Test tubes in the lab Research in the ATI Dance Research

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

Williams, DM, Treharne, H, Ho, ATS and Culnane, C (2008) Using a Formal Analysis Technique to Identify an Unbinding Attack on a Buyer-Seller Watermarking Protocol In: ACM Multimedia and Security Workshop, 2008-09-22 - 2008-09-23, Oxford Univ Comp Lab, Oxford, ENGLAND.

[img]
Preview
PDF
williams_2008.pdf
Available under License : See the attached licence file.

Download (306Kb)
[img]
Preview
PDF (licence)
SRI_deposit_agreement.pdf

Download (32Kb)
Item Type: Conference or Workshop Item (Paper)
Additional Information: “© ACM, (2008). This is the author’s version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution. The definitive version was published in PROCEEDINGS OF THE MULTIMEDIA & SECURITY WORKSHOP 2008, (2008)} http://dx.doi.org/ 10.1145/1411328.1411363”.
Uncontrolled Keywords: 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
Related URLs:
Divisions: Faculty of Engineering and Physical Sciences > Computing Science
Depositing User: Symplectic Elements
Date Deposited: 18 Jul 2012 10:23
Last Modified: 23 Sep 2013 19:25
URI: http://epubs.surrey.ac.uk/id/eprint/532396

Actions (login required)

View Item View Item

Downloads

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