Keyphrases
- modal logic
- database systems
- logic programming
- concurrency control
- multi valued
- asynchronous circuits
- predicate logic
- data structure
- neural network
- attack detection
- fine granularity
- countermeasures
- chosen plaintext
- watermarking method
- security protocols
- logical framework
- security mechanisms
- watermarking algorithm
- watermarking scheme
- data objects
- association rules