CN107248997A - 多服务器环境下基于智能卡的认证方法 - Google Patents

Abstract

本发明公开了一种多服务器环境下基于智能卡的认证方法，该认证方法不需要第三方参与认证，用户只需注册一次，智能卡只需存储常量的信息，就可以实现与多个服务器之间的认证和访问，且服务器端也不需存储任何用户信息，从而解决了多服务器环境下无第三方参与认证时，智能卡存储的信息随注册服务器增加而增长的问题。通过BAN逻辑分析证明了该认证模型的安全性，同时性能分析表明，与已有的多服务器环境下基于智能卡的认证方案相比，本发明在计算费用和通信费用不需要增加明显负担的情况下，具有较低的存储费用要求。

Description

多服务器环境下基于智能卡的认证方法

技术领域

本发明涉及的技术领域是多服务器环境下身份认证机制的研究，具体 涉及一种多服务器环境下基于智能卡且注册中心不参与服务器与用户之 间认证过程的认证方法。

背景技术

随着互联网及其应用的高速发展，多服务器环境下的互联网应用也得 到了广泛的普及，使之需求大大增加。虽然在线服务向用户不断提供着方 便用户生活的各种服务，但是其安全性问题一直是人们关注的焦点，应该 如何做到保证用户的合法性和信息的安全性？合法用户的身份认证是网 络安全的第一道安全保障，因此身份的认证机制对任何一个网络服务来说 都是非常重要且必不可少的一个环节。在多服务器环境下的身份认证方案 中，通过智能卡能够很方便的去辨别远程用户的合法性，因此智能卡得到 了广泛的使用。

自2003年Tsaur在文献《A flexible user authentication scheme for multi-server internet services》中首次为人们带来多服务模型的思想以来，多服务 器认证的概念得到空前的发展。目前，多服务器环境下基于智能卡的身份 认证方案通常可以划分为两种类型：三方认证模式和两方认证模式。三方 认证模式是指注册中心需要参与用户与服务器之间的认证，而两方认证模 式则不需要注册中心的参与。基于三方认证模式的身份认证技术因为服务 器自身没有验证用户合法性的能力，每次认证时，需传递认证消息给第三方认证中心，因此数据通信费用相对比较大。此外，在该模式下的认证效 率深受认证中心的效率的影响，攻击者通常会抓住这个把柄去进行攻击消 耗服务器，如2015年Odelu的《Asecure biometrics-based multi-server authentication protocol using smartcards》和2016年Li的《A novel chaotic maps-based user authentication and keyagreement protocol for multi-server environments with provable security》等等。

基于两方认证模式的身份认证技术不需要第三方认证中心才的处理， 但实现认证身份，服务器与用户之间事先必需共享一系列的秘密参数，即 需要用户的智能卡存储秘密认证信息。而且随着注册的服务器增多，智能 卡存储的秘密认证信息增多，这对存储容量是有限的智能卡是很不现实的。 正如2016年Reddy的《An enhanced biometric basedauthentication with key- agreement protocol for multi-server architecturebased on elliptic curve cryptography》和Chaturvedi的《Design of a secure smartcard-based multi- server authentication scheme》等文献都出现上述问题，如何在多服务器环境 下，智能卡存储的信息不随着注册服务器增多而增多，是一个急需解决的 问题。

发明内容

本发明的目的是为了解决现有技术中的上述缺陷，提供一种多服务器 环境下基于智能卡的认证方法。

本发明的目的可以通过采取如下技术方案达到：

一种多服务器环境下基于智能卡的认证方法，所述认证方法包括下列 步骤：

S1、通过注册中心初始化系统的相关参数，并公布系统公共参数 params；

S2、服务器S_j通过注册中心注册，得到私钥

S3、用户U_i通过注册中心注册，得到包含身份登录秘密信息{Z_i,P_i}和私 钥

S4、当用户U_i登录系统时，通过输入本机的身份标识ID_i'，密码pw_i'和 本机的生物识别信息B_i'登入系统并计算身份认证信息向服务器S_j发送认 证请求{ID_rc，C，Q，T}；

S5、当服务器S_j接收到用户认证请求时，通过自身的私钥和认证算法 认证用户的合法性：

如果表达式成立，则表明用户U_i合法，服务器S_j继续计算SV＝H₃(g^ab) 和身份认证信息，最后将{SID_j,D,B}发送给用户U_i；

S6、用户U_i接收到服务器S_j的回复后通过验证等式验证服务器的合法 性：D＝H₁(A)，

如果表达式成立，则表明服务器是合法的，并计算出SV＝H₃(g^ab)如果 表达式不成立，则表明服务器是非法的；

S7、服务器S_j和用户U_i成功认证彼此身份后通过SKey_(i,j)＝KDF(SV)建 立彼此的临时会话密钥。

进一步地，所述步骤S1包括：

S11、生成一个阶为q且生成元为P的一个循环群G，与此同时，存 在另外一个同样阶为q的循环群G_T，其中q是一个足够大的素数，假设 (G，G_T)是一个双线性映射群，则存在一个映射e:G×G→G_T，满足如下 性质：

双线性：e(g^a,g^b)＝e(g,g)^ab，其中

非退化性：存在g∈G且e(g,g)≠1；

可计算性：存在一个有效的算法去计算e(g,g)，g∈G；

S12、选择三个加密哈希函数，分别满足以下三个条件 H₂：{0,1}*→G_T；H₃：G_T→{0,1}*；令g₁＝e(g,g)，g₁∈G_T；

S13、选择一个主密钥然后计算公钥PK＝g^s；

S14、注册中心发布的公共参数param:{G,G_T,e,g,g₁,PK,H₁,H₂,H₃}。

进一步地，所述步骤S2包括：

S21、服务器S_j将本机的身份标标识SID_j通过安全通道发送给注册中心 RC；

S22、注册中心RC接收到服务器S_j的注册请求后，根据接收到的身份 标标识SID_j计算服务器用于认证的秘钥

进一步地，所述步骤S3包括：

S31、插入智能卡SC_i，设置好ID_i，PW_i和生物特征B_i，计算F_i＝H₁(B_i)， 并将注册请求Reg＝{ID_i,H₁(PW_i||F_i)}通过安全通道发送给注册中心RC；

S32、注册中心RC接收到用户U_i的注册请求后，计算用户U_i用于认证 的私钥之后注册中心RC再分别计算和 P_i＝H₁(k_i||ID_i||H₁(PW_i||F_i))；

S33、将{Z_i,P_i}通过安全通道发送给用户U_i，用户U_i接收到回复消息后， 将{Z_i,P_i}存储于智能卡SC_i即完成注册。

进一步地，所述步骤S4包括：

S41、当用户U_i登录系统访问服务器S_j时，插入智能卡SC_i，并输入本 机的身份标识ID_i'，密码pw_i'和本机的生物识别信息B_i'；

S42、智能卡SC_i计算F_i'＝H₁(B_i')和并验证等式 P_i＝H₁(k_i'||ID_i'||H₁(PW_i'||F_i'))是否成立；

S43、如果等式不成立，则登录失败，否则，选择随机秘密参数和分别计算r₁＝g₁ ^x，A＝g^a，MRU_i＝ID_rc||ID_i||A， h＝H₂(MRU_i,r₁)和Q＝k_i ^x+h，并将{ID_rc，C，Q，T}发送给服 务器S_j。

进一步地，所述步骤S5包括：

S51、服务器S_j接收到认证请求后，利用自身的主密钥计算：

r₁＝e(T,s_jk) (1)；

S52、计算和h＝H₂(MRU_i,r₁)，并验证以下等式是否 成立：

S53、若等式不成立，则登录失败；若等式成立，则服务器S_j将选择一 个秘密参数并计算B＝g^b，D＝H₁(A)和SV＝H₃(g^ab)，同时擦除秘密 参数b，传送{SID_j,D,B}给用户U_i。

进一步地，所述步骤S6包括：

S61、用户U_i接收到服务器S_j的消息后，验证D＝H₁(A)是否成立；

S62、若等式不成立，则说明服务器消息不可靠，终止会话；否则，计 算SV＝H₃(g^ab)，擦除秘密参数a。

本发明相对于现有技术具有如下的优点及效果：

1)本发明不需要第三方参与认证的过程，使注册中心不用维持在线状 态处理所有的认证问题。

2)本发明不仅简洁了用户的密钥管理，而且对于服务器数目的增加并 不会造成用户的存储量增加的问题。

3)本发明服务器在认证过程中仅需使用本机的一个私钥，并不需要额 外存储关于用户的信息，用户的撤销更替并不会对服务器造成影响。

4)通过BAN逻辑分析证明了该认证模型的安全性。

5)性能分析表明，与已有的多服务器环境下基于智能卡的认证方案相 比，本发明在计算费用和通信费用不需要增加明显负担的情况下，具有较 低的存储费用要求。

附图说明

图1是本发明公开的多服务器环境下基于智能卡认证方法的流程示意 图。

具体实施方式

为使本发明实施例的目的、技术方案和优点更加清楚，下面将结合本 发明实施例中的附图，对本发明实施例中的技术方案进行清楚、完整地描 述，显然，所描述的实施例是本发明一部分实施例，而不是全部的实施例。 基于本发明中的实施例，本领域普通技术人员在没有做出创造性劳动前提 下所获得的所有其他实施例，都属于本发明保护的范围。

实施例

随着互联网及其应用的高速发展，多服务器环境下的互联网应用也得 到了广泛的普及，使之需求大大增加。身份认证是为用户提供所需服务的 第一道安全屏障，一直是人们关注的焦点。目前，已有的多服务器环境下 基于智能卡的认证方案存在一个问题，即在不需要第三方参与认证时，服 务器与用户之间产生认证事件时，需要彼此之间事先共享一系列的秘密参 数，即需要用户的智能卡存储秘密认证信息来完成彼此之间的身份认证。而且随着注册的服务器增多，智能卡存储的秘密认证信息增多，这对存储 容量是有限的智能卡是很不现实的。如何在多服务器环境下，智能卡存储 的信息不随着注册服务器增多而增多，是一个急需解决的问题。

针对上面所述的问题，本实施例提出了一个基于智能卡的多服务器认 证方法，该认证方法不需要第三方参与认证，用户只需注册一次，智能卡 只需存储常量的信息，就可以实现与多个服务器之间的认证和访问，且服 务器端也不需存储任何用户信息，从而解决了多服务器环境下无第三方参 与认证，智能卡存储的信息随注册服务器增加而增长的的问题。

同时，通过BAN逻辑分析证明了该认证模型的安全性。本发明不需 要注册中心参与服务器与用户之间的认证，减轻了注册中心的负担。本发 明不仅具有不需要第三方参与认证过程，而且用户的存储量不随着服务器 的增加而增加，有效减低了用户存储负担。当有服务器的撤销或增加时， 合法用户无需更新密钥，有效地减轻了授权机构的负担。此外，本发明中 用户的撤销与增加，服务器亦无需更新密钥。与已有的方案相比，本发明 在计算费用和通信费用不需要增加明显负担的情况下，具有较低的存储费 用要求。

下面结合图1对本实施例公开的一种多服务器环境下基于智能卡的认 证方法的具体过程进行详细说明。包括如下步骤：

S1、通过注册中心初始化系统的相关参数，并公布系统公共参数 params。

具体应用中，所述的通过注册中心初始化系统主要进行下面几个步骤：

(1)生成一个阶为q且生成元为P的一个循环群G，与此同时，存在 另外一个同样阶为q的循环群G_T，其中q是一个足够大的素数，假设(G， G_T)是一个双线性映射群，则存在一个映射e:G×G→G_T，满足如下性质：

双线性：e(g^a,g^b)＝e(g,g)^ab，其中

非退化性：存在g∈G且e(g,g)≠1；

可计算性：存在一个有效的算法去计算e(g,g)，g∈G。

(2)选择三个加密哈希函数，分别满足以下三个条件 H₂：{0,1}*→G_T；H₃：G_T→{0,1}*；令g₁＝e(g,g)，g₁∈G_T。

(3)选择一个主密钥然后计算公钥PK＝g^s。

(4)注册中心发布的公共参数param:{G,G_T,e,g,g₁,PK,H₁,H₂,H₃}。

S2、服务器S_j通过注册中心注册，得到私钥

具体应用中，服务器S_j将本机的身份标标识SID_j通过安全通道发送给 注册中心RC，注册中心RC接收到S_j的注册请求后，根据接收到的身份标 标识SID_j计算服务器用于认证的秘钥

S3、用户U_i通过注册中心注册，得到包含身份登录秘密信息{Z_i,P_i}和私 钥

具体应用中，用户U_i注册时，首先插入智能卡SC_i，设置好ID_i，PW_i和 生物特征B_i，计算F_i＝H₁(B_i)，并将注册请求Reg＝{ID_i,H₁(PW_i||F_i)}通过安全 通道发送给注册中心RC。RC接收到U_i的注册请求后，计算用户用于认证 的私钥之后注册中心RC再分别计算和 P_i＝H₁(k_i||ID_i||H₁(PW_i||F_i))。最后，将{Z_i,P_i}通过安全通道发送给用户U_i。U_i接收到回复消息后，将{Z_i,P_i}存储于SC_i即完成了注册。

S4、当用户U_i登录系统时，通过输入本机的身份标识ID_i'，密码pw_i'和 本机的生物识别信息B_i'登入系统并计算身份认证信息向服务器S_j发送认 证请求{ID_rc，C，Q，T}。

具体应用中，当用户U_i想要访问服务器S_j时，首先要插入智能卡SC_i， 并输入本机的身份标识ID_i'，密码pw_i'和本机的生物识别信息B_i'。SC_i计算 F_i'＝H₁(B_i')和并验证P_i＝H₁(k_i'||ID_i'||H₁(PW_i'||F_i'))是否 成立。如果等式不成立，则登录失败。否则，选择随机秘密参数和分别计算r₁＝g₁ ^x，A＝g^a，MRU_i＝ID_rc||ID_i||A， h＝H₂(MRU_i,r₁)和Q＝k_i ^x+h，并将{ID_rc，C，Q，T}发送给服 务器S_j。

S5、当服务器S_j接收到用户认证请求时，通过本机的私钥和认证算法 认证用户的合法性：

如果表达式成立，则表明用户U_i合法，服务器S_j继续计算SV＝H₃(g^ab) 和身份认证信息，最后将{SID_j,D,B}发送给用户U_i。

具体应用中，服务器S_j接收到认证请求后，首先利用自身的主密钥计 算：

r₁＝e(T,s_jk) (1)

这样服务器S_j就能获取到r₁，接着计算和 h＝H₂(MRU_i,r₁)，并验证以下等式是否成立：

若等式不成立，则登录失败；若等式成立，则服务器S_j将选择一个秘 密参数并计算B＝g^b，D＝H₁(A)和SV＝H₃(g^ab)，最后，擦除秘密参 数b，送{SID_j,D,B}给用户U_i。

S6、用户U_i接收到服务器S_j的回复后通过验证等式验证服务器的合法 性：

D＝H₁(A)，

如果表达式成立，则表明服务器是合法的，并计算出SV＝H₃(g^ab)如果 表达式不成立，则表明服务器是非法的。

具体应用中，用户U_i接收到服务器S_j的消息后，验证D＝H₁(A)是否成 立。若等式不成立，则说明服务器消息不可靠，终止会话；否则，计算 SV＝H₃(g^ab)，擦除秘密参数a。

S7、服务器S_j和用户U_i成功认证彼此身份后通过SKey_(i,j)＝KDF(SV)建 立彼此的临时会话密钥。

具体应用中，上述步骤S5和步骤S6中的验证均通过，则说明服务器 S_j和用户U_i成功认证彼此身份，最后通过SKey_(i,j)＝KDF(SV)建立彼此的临 时会话密钥。

多服务器环境下，注册中心不参与认证的模型主要由三个实体组成， 一个注册中心(RC)，多个系统用户(U_i)和多个服务器(S_j)。该模型下 RC只向用户和服务器提供注册服务，任何想要参与系统的用户或服务器都 需先完成注册的过程。S_j通常都是充当应用服务器，为合法用户提供用户 所需的服务。

当用户和服务器进行注册时，无论服务器还是用户注册时存储的秘密 参数都与其他服务器和用户的数量无关。对应用服务器而言，仅需保存本 机的一个私钥；对用户而言，智能卡除了保存相关的登录秘密参数外，也 仅需保存认证时所用到的一个私钥。这就避免了用户存储的认证所用到的 秘密参数随着服务器的增加而增加的问题。

当U_i成功登录智能卡之后，想要S_j提供服务时，S_j不可能盲目的向用 户提供服务，需要认证申请服务的用户是否合法。同样的道理，因为服务 器也可能是伪装的，用户需要对服务器进行认证。因此，U_i请求服务之前 需要先与目标服务器S_j完成一个彼此认证的过程。该过程中，U_i需要通过 本机的私钥将本机的身份验证信息封装进认证请求中，再将认 证请求发送给目标服务器S_j。目标服务器S_j接收到认证请求之后，通过本 机的私钥解密出用户的身份信息确认用户的合法性，再将该 身份信息处理后发送回用户，使用户亦能认证服务器的合法性。因为只有 目标服务器的私钥才能成功解密出该身份信息，彼此之间在认证的过程中 能够成功建立会话密钥。

不管之后有没新的服务器加入或原来的合法服务器过期，用户所存储 的秘密参数并不会因此而增多，对服务器而言，亦是如此。

综上所述，本发明为了实现多服务器环境下安全有效的身份认证方案， 为了满足在不需要第三方参与认证的基础上，用户只需注册一次，智能卡 只需存储常量的信息，就可以实现与多个服务器之间的认证和访问，且服 务器端也不需存储任何用户信息，从而解决了多服务器环境下无第三方参 与认证时，智能卡存储的信息随注册服务器增加而增长的问题。通过BAN 逻辑分析证明了该认证模型的安全性。性能分析表明，与已有的多服务器环境下基于智能卡的认证方案相比，本发明在计算费用和通信费用不需要 增加明显负担的情况下，具有较低的存储费用要求。

上述实施例为本发明较佳的实施方式，但本发明的实施方式并不受上 述实施例的限制，其他的任何未背离本发明的精神实质与原理下所作的改 变、修饰、替代、组合、简化，均应为等效的置换方式，都包含在本发明 的保护范围之内。

Claims (7)

1.一种多服务器环境下基于智能卡的认证方法，其特征在于，所述认证方法包括下列步骤：

S1、通过注册中心初始化系统的相关参数，并公布系统公共参数params；

S2、服务器S_j通过注册中心注册，得到私钥

S3、用户U_i通过注册中心注册，得到包含身份登录秘密信息{Z_i,P_i}和私钥

S4、当用户U_i登录系统时，通过输入本机的身份标识ID_i'，密码pw_i'和本机的生物识别信息B_i'登入系统并计算身份认证信息向服务器S_j发送认证请求{ID_rc，C，Q，T}；

S5、当服务器Sj接收到用户认证请求时，通过自身的私钥和认证算法认证用户的合法 性： <mrow> <msub> <mi>r</mi> <mn>1</mn> </msub> <mo>=</mo> <mi>e</mi> <mrow> <mo>(</mo> <mi>Q</mi> <mo>,</mo> <msup> <mi>g</mi> <mrow> <msub> <mi>H</mi> <mn>1</mn> </msub> <mrow> <mo>(</mo> <msub> <mi>ID</mi> <mi>i</mi> </msub> <mo>)</mo> </mrow> </mrow> </msup> <mo>&amp;CenterDot;</mo> <mi>P</mi> <mi>K</mi> <mo>)</mo> </mrow> <mo>&amp;CenterDot;</mo> <msup> <msub> <mi>g</mi> <mn>1</mn> </msub> <mrow> <mo>-</mo> <mi>h</mi> </mrow> </msup> <mo>,</mo> </mrow>

如果表达式成立，则表明用户U_i合法，服务器S_j继续计算SV＝H₃(g^ab)和身份认证信息，最后将{SIDj,D,B}发送给用户U_i；

S6、用户U_i接收到服务器S_j的回复后通过验证等式验证服务器的合法性：D＝H₁(A)，

如果表达式成立，则表明服务器是合法的，并计算出SV＝H₃(g^ab)如果表达式不成立，则表明服务器是非法的；

S7、服务器S_j和用户U_i成功认证彼此身份后通过SKey_(i,j)＝KDF(SV)建立彼此的临时会话密钥。

2.根据权利要求1所述的多服务器环境下基于智能卡的认证方法，其特征在于，所述步骤S1包括：

S11、生成一个阶为q且生成元为P的一个循环群G，与此同时，存在另外一个同样阶为q的循环群G_T，其中q是一个足够大的素数，假设(G，G_T)是一个双线性映射群，则存在一个映射e:_G×G→GT，满足如下性质：

双线性：e(g^a,g^b)＝e(g,g)^ab，其中

非退化性：存在_g∈G且e(g,g)≠1；

可计算性：存在一个有效的算法去计算_e(g,g)，g∈G；

S12、选择三个加密哈希函数，分别满足以下三个条件H₁：H₂：{0,1}*→G_T；H₃：G_T→{0,1}*；H₄:令g₁＝e(g,g)，g₁∈G_T；

S13、选择一个主密钥然后计算公钥PK＝g^s；

S14、注册中心发布的公共参数param:{G,G_T,e,g,g₁,PK,H₁,H₂,H₃}。

3.根据权利要求1所述的多服务器环境下基于智能卡的认证方法，其特征在于，所述步骤S2包括：

S21、服务器S_j将本机的身份标标识SID_j通过安全通道发送给注册中心RC；

S22、注册中心RC接收到服务器S_j的注册请求后，根据接收到的身份标标识SID_j计算服务器用于认证的秘钥

4.根据权利要求1所述的多服务器环境下基于智能卡的认证方法，其特征在于，所述步骤S3包括：

S31、插入智能卡SC_i，设置好ID_i，PW_i和生物特征B_i，计算F_i＝H₁(B_i)，并将注册请求Reg＝{ID_i,H₁(PW_i||F_i)}通过安全通道发送给注册中心RC；

S32、注册中心RC接收到用户U_i的注册请求后，计算用户U_i用于认证的私钥之后注册中心RC再分别计算和P_i＝H₁(k_i||ID_i||H₁(PW_i||F_i))；

S33、将{Z,_i}P_i通过安全通道发送给用户U_i，用户U_i接收到回复消息后，将{Z_i,P_i}存储于智能卡SC_i即完成注册。

5.根据权利要求1所述的多服务器环境下基于智能卡的认证方法，其特征在于，所述步骤S4包括：

S41、当用户U_i登录系统访问服务器S_j时，插入智能卡SC_i，并输入本机的身份标识ID_i'，密码pw_i'和本机的生物识别信息B_i'；

S42、智能卡SC_i计算F_i'＝H₁(B_i')和并验证等式P_i＝H₁(k_i'||ID_i'||H₁(PW_i'||F_i'))是否成立；

S43、如果等式不成立，则登录失败，否则，选择随机秘密参数和分别计算r₁＝g₁ ^x，A＝g^a，MRU_i＝ID_rc||ID_i||A，h＝H₂(MRU_i,r₁)和Q＝k_i ^x+h，并将{ID_rc，C，Q，T}发送给服务器S_j。

6.根据权利要求1所述的多服务器环境下基于智能卡的认证方法，其特征在于，所述步骤S5包括：

S51、服务器S_j接收到认证请求后，利用自身的主密钥计算：

S52、计算和h＝H₂(MRU_i,r₁)，并验证以下等式是否成立：

<mrow> <msub> <mi>r</mi> <mn>1</mn> </msub> <mo>=</mo> <mi>e</mi> <mrow> <mo>(</mo> <mi>Q</mi> <mo>,</mo> <msup> <mi>g</mi> <mrow> <msub> <mi>H</mi> <mn>1</mn> </msub> <mrow> <mo>(</mo> <msub> <mi>ID</mi> <mi>i</mi> </msub> <mo>)</mo> </mrow> </mrow> </msup> <mo>&amp;CenterDot;</mo> <mi>P</mi> <mi>K</mi> <mo>)</mo> </mrow> <mo>&amp;CenterDot;</mo> <msup> <msub> <mi>g</mi> <mn>1</mn> </msub> <mrow> <mo>-</mo> <mi>h</mi> </mrow> </msup> <mo>-</mo> <mo>-</mo> <mo>-</mo> <mrow> <mo>(</mo> <mn>2</mn> <mo>)</mo> </mrow> <mo>;</mo> </mrow>

S53、若等式不成立，则登录失败；若等式成立，则服务器S_j将选择一个秘密参数并计算B＝g^b，D＝H₁(A)和SV＝H₃(g^ab)，同时擦除秘密参数b，传送{SID_j,D,B}给用户U_i。

7.根据权利要求1所述的多服务器环境下基于智能卡的认证方法，其特征在于，所述步骤S6包括：

S61、用户U_i接收到服务器S_j的消息后，验证D＝H₁(A)是否成立；

S62、若等式不成立，则说明服务器消息不可靠，终止会话；否则，计算SV＝H₃(g^ab)，擦除秘密参数a。