David M. Williams, Helen Treharne, Anthony T. S. Ho, Chris Culnane. Using a formal analysis technique to identify an unbinding attack on a buyer-seller watermarking protocol. In Andrew D. Ker, Jana Dittmann, Jessica J. Fridrich, editors, Proceedings of the 10th workshop on Multimedia & Security, MM&Sec 2008, Oxford, UK, September 22-23, 2008. pages 205-214, ACM, 2008. [doi]
Abstract is missing.