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]
@inproceedings{WilliamsTHC08,
title = {Using a formal analysis technique to identify an unbinding attack on a buyer-seller watermarking protocol},
author = {David M. Williams and Helen Treharne and Anthony T. S. Ho and Chris Culnane},
year = {2008},
doi = {10.1145/1411328.1411363},
url = {http://doi.acm.org/10.1145/1411328.1411363},
tags = {protocol, watermarking, analysis},
researchr = {https://researchr.org/publication/WilliamsTHC08},
cites = {0},
citedby = {0},
pages = {205-214},
booktitle = {Proceedings of the 10th workshop on Multimedia & Security, MM&Sec 2008, Oxford, UK, September 22-23, 2008},
editor = {Andrew D. Ker and Jana Dittmann and Jessica J. Fridrich},
publisher = {ACM},
isbn = {978-1-60558-058-6},
}