Formal Analysis of Two Buyer-Seller Watermarking Protocols.

David M. Williams, Helen Treharne, Anthony T. S. Ho, Adrian Waller

Browse the full IWDW paper archive.