Using a Formal Analysis Technique to Identify an Unbinding Attack on a Buyer-Seller Watermarking Protocol
Tools
Tools
Tools
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]](/style/images/fileicons/application_pdf.png)
| PDF (licence) 32Kb | |
| PDF Available under License : See the attached licence file. 306Kb |
| 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 |
| Divisions: | Faculty of Engineering and Physical Sciences > Computing Science |
| Related URLs: | |
| ID Code: | 532396 |
| Deposited By: | Symplectic Elements |
| Deposited On: | 18 Jul 2012 11:23 |
| Last Modified: | 16 Feb 2013 16:52 |
Document Downloads
Repository Staff Only: item control page