在第三代移动通信系统中，接入安全主要包括身份保密、实体认证和数据的安全三个方面。
In the third mobile communication systems, access security includes the confidentiality of the subscriber identity, entity authentication and the security of data.
SAML为在相互协作的各个不同实体之间传输关于实体认证的断言提供了一种机制，这样就不必迫使这些实体失去对信息的所有权。
SAML provides a mechanism for transferring assertions about authentication of entities between various cooperating entities without forcing them to lose ownership of the information.
考虑该实体认证协议的特点，采用改进语义的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逻辑对其进行合理性描述，并对其运行过程进行形式化的具体分析，发现该协议在认证过程中存在着双方认证不确定的缺陷。
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.
应用推荐