David M. Williams

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2008

2 David M. Williams, Helen Treharne, Anthony T. S. Ho, Adrian Waller: Formal Analysis of Two Buyer-Seller Watermarking Protocols. IWDW 2008: 278-292

1 David M. Williams, Helen Treharne, Anthony T. S. Ho, Chris Culnane: Using a formal analysis technique to identify an unbinding attack on a buyer-seller watermarking protocol. MM&Sec 2008: 205-214

	2008
2		David M. Williams, Helen Treharne, Anthony T. S. Ho, Adrian Waller: Formal Analysis of Two Buyer-Seller Watermarking Protocols. IWDW 2008: 278-292
1		David M. Williams, Helen Treharne, Anthony T. S. Ho, Chris Culnane: Using a formal analysis technique to identify an unbinding attack on a buyer-seller watermarking protocol. MM&Sec 2008: 205-214

Coauthor Index

1	Chris Culnane	[1]
2	Anthony Tung Shuen Ho (Anthony T. S. Ho)	[1] [2]
3	Helen Treharne	[1] [2]
4	Adrian Waller	[2]