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.
为了增强用户身份认证机制的安全性，在传统的口令认证方式的基础上，提出了一种基于模糊逻辑的击键特征用户认证方法。
Considering the characteristics of the entity authentication protocol, augment semantics SVO logic was used to describe its rationality and analyze its operation, and a flaw was found.
考虑该实体认证协议的特点，采用改进语义的SVO逻辑对其进行合理性描述，并对其运行过程进行形式化的具体分析，发现该协议在认证过程中存在着双方认证不确定的缺陷。
Considering the characteristics of the entity authentication protocol, augment semantics SVO logic was used to describe its rationality and analyze its operation, and a flaw was found.
考虑该实体认证协议的特点，采用改进语义的SVO逻辑对其进行合理性描述，并对其运行过程进行形式化的具体分析，发现该协议在认证过程中存在着双方认证不确定的缺陷。
应用推荐