Formal analysis of PIN block attacks.

Published in: Theor. Comput. Sci. (2006)

Keyphrases

formal analysis
formal methods
agent model
watermarking scheme
countermeasures
ban logic
database
information systems
knowledge base
network security
image blocks
security mechanisms
security protocols