Formal Analysis of Two Buyer-Seller Watermarking Protocols.
David M. WilliamsHelen TreharneAnthony T. S. HoAdrian WallerPublished in: IWDW (2008)
Keyphrases
- formal analysis
- payment protocol
- electronic commerce
- transaction costs
- third party
- trusted third party
- digital images
- formal methods
- seller agents
- online auctions
- agent model
- watermarking algorithm
- ban logic
- dynamic pricing
- copyright protection
- watermarking scheme
- digital watermarking
- online marketplaces
- source code
- object oriented