Protocol Derivation System for the Needham-Schroeder family.

Junwei Zhang Chao Yang Jianfeng Ma

Published in: CHINACOM (2011)

Keyphrases

public key
security model
authentication protocol
security analysis
provably secure
lightweight
signature scheme
network protocols
secret key
formal analysis
voting protocols
database
data mining
rfid tags
electronic commerce
rfid systems
special case
case study