C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Formally verifying security protocols built on watermarking and jamming.
Gabriele Costa
Pierpaolo Degano
Letterio Galletta
Simone Soderi
Published in:
Comput. Secur. (2023)
Keyphrases
</>
security protocols
automated design
cryptographic algorithms
security services
security mechanisms
security properties
cryptographic protocols
digital images
authentication protocol
secure communication
information systems
data streams
low cost
e government
security requirements
artificial immune algorithm