Robust and Simple Multi-server Authentication Protocol without Verification Table.

Hongfeng Zhu Tianhua Liu Jie Liu

Published in: HIS (3) (2009)

Keyphrases

end to end
authentication protocol
smart card
database
cryptographic protocols
data sets
real time
information systems
response time
model checking
formal analysis