The SPEKE Protocol Revisited.

Feng Hao Siamak Fayyaz Shahandashti

Published in: SSR (2014)

Keyphrases

lightweight
formal analysis
neural network
security model
cryptographic protocols
coloured petri nets
network protocols
group communication
security protocols
application layer
authentication protocol
communication protocols
communication protocol
metadata
search engine
genetic algorithm
data mining