Conference Proceedings

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

David M Williams, Helen Treharne, Anthony TS Ho, Chris Culnane

Proceedings of the 10th ACM workshop on Multimedia and security - MM&Sec '08 | ASSOC COMPUTING MACHINERY | Published : 2008