Watermarking protocol of secure verification.
Jun ZhangWeidong KouKai FanLei YePublished in: J. Electronic Imaging (2007)
Keyphrases
- cryptographic protocols
- covert channel
- authentication protocol
- security properties
- standard model
- security protocols
- formal verification
- key distribution
- scalar product
- protocol specification
- homomorphic encryption
- group communication
- model checker
- secure routing
- digital images
- watermarking scheme
- lightweight
- integrity verification
- security analysis
- privacy preserving
- model checking
- formal analysis
- key exchange protocol
- password authentication
- secure multi party
- image watermarking
- cryptographic algorithms
- mobile payment
- image authentication
- copyright protection
- security requirements
- multi party
- data hiding
- provably secure
- high security