e-lottery protocol.

Yi-Ning Liu D. Lin Chi Cheng H. Chen Tao Jiang

Published in: Int. J. Commun. Syst. (2014)

Keyphrases

lightweight
communication protocol
formal analysis
coloured petri nets
security protocols
database
authentication protocol
network protocols
communication protocols
cryptographic protocols
application layer
end to end
utility function
mobile devices
provably secure
case study
voting protocols
databases