The modelling and analysis of buyer-seller watermarking protocols. - David Williams 004 (2011)