Then the formalized security proof of the protocol using BAN authentication logic, and the qualitative analysis about its computing complexity are given.
并采用BAN认证逻辑对协议的安全性进行了形式化证明，也对协议的计算复杂性进行了定性分析。
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.
本文设计了一种基于改进的HARN数字签名算法的双向认证方案，并利用BAN逻辑对此方案进行了验证。
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.
为了增强用户身份认证机制的安全性，在传统的口令认证方式的基础上，提出了一种基于模糊逻辑的击键特征用户认证方法。
应用推荐