期刊名称:International Journal of Computer Science and Network
印刷版ISSN:2277-5420
出版年度:2017
卷号:6
期号:6
页码:643-651
出版社:IJCSN publisher
摘要:Replay attack is a typical breach of communication between two parties that threatens the very design of authentication
and key distribution protocols. In this paper, an authentication protocol has been proposed that provides a strong authentication
mechanism which is based on time stamping. The authentication protocol enables the sender to encrypt a message with recipient’s
identity only and users do not need certificates to bind identity with specific public key. High Level Protocol Specific Language
(HLPSL), which is based on temporal logic has been used for formal verification.
关键词:Authentication Mechanism; Time Stamping; Public key cryptosystems; HLPSL