Using a formal analysis technique to identify an unbinding attack on a buyer-seller watermarking protocol (2008)

by D M Williams, H Treharne, A T S Ho, C Culnane
Venue:In 10th ACM Workshop on Multimedia and Security