An Improvement of the Ateniese's Verifiable Encryption Protocol.

Constantin Popescu

Published in: Informatica (2005)

Keyphrases

cryptographic protocols
security properties
security analysis
key exchange
coloured petri nets
mutual authentication
cryptographic algorithms
sufficient conditions
image encryption
formal analysis
encryption scheme
communication protocol
web services
security protocols
virtual private network