Formal Analysis of Two Buyer-Seller Watermarking Protocols.

Proceedings article published in 2008 by David M. Williams, Helen Treharne, Anthony T. S. Ho, Adrian Waller

Full text: Download

Publisher: Springer Verlag (Germany)

Preprint: archiving allowed. Upload

Postprint: archiving allowed. Upload

Published version: archiving forbidden. Upload

Policy details (opens in a new window). Data provided by SHERPA/RoMEO