An improvement of GNY logic for the reflection attacks.

Published in: J. Comput. Sci. Technol. (1999)

Keyphrases

automated reasoning
modal logic
countermeasures
traffic analysis
significant improvement
logic programming
watermarking scheme
classical logic
malicious users
data sets
malicious attacks
asynchronous circuits
security threats
computer security
probability theory
smart card
digital images