关键词: 无线体域网, 认证协议, 动态口令, 非对称加密, SVO逻辑, SPIN

Abstract:

Wireless body area network transmits sensitive data highly related to life, and identity authentication is the first line of defense for information security protection. At present, the identity authentication schemes based on human biology information have many problems, such as difficult to extract information, great contingency and error. The authentication schemes based on traditional cryptography are not suitable for wireless body area network environment because of the need for large computational resources and energy consumption. Therefore, based on the dynamic password and asymmetric encryption mechanism, a dynamic password two-way authentication lightweight protocol for wireless body area network is proposed and analyzed formally. Through theoretical proof, SVO logical reasoning and SPIN model detection, it is concluded that this protocol satisfies two-way authentication, and can resist replay attack, impersonation attack, denial of server attack and password offline attack, which has high security.

Key words: wireless body area network, authentication protocol, dynamic password, asymmetric encryption, SVO logic, Simple Promela Interpreter（SPIN）