Cryptanalysis of SPA Protocol.

Hong Lei Tianjie Cao

Published in: SITIS (2007)

Keyphrases

lightweight
cryptographic protocols
authentication protocol
network protocols
signature scheme
formal analysis
security protocols
communication protocol
tcp ip
database
secret key
provably secure
cooperative
communication protocols
coloured petri nets