Published in
Springer Verlag, Lecture Notes in Computer Science, p. 278-292
DOI: 10.1007/978-3-642-04438-0_24
Links
Tools
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
This paper is available in a repository.
Full text: Download
Published version:
archiving forbidden
Data provided by 