Then the formalized security proof of the protocol using BAN authentication logic, and the qualitative analysis about its computing complexity are given.

This paper designs a kind of mutual authentication scheme, which is based on the improved algorithm of HARN digital signature. Then it is proved by using BAN Logic.

In order to improve the security of the identity authentication and according to the conventional password authentication, a biometrics based on fuzzy logic for authentication is put forward.