安全性分析 针对一般交互式用户身份证明协议,都必须满足以下三种性质。 完全性( Completeness):若用户与验证者双方都是诚实地执 行协议,则有非常大的概率(趋近于1),验证者将接受用户的 身份。 健全性或合理性( Soundness):若用户根本不知道与用户名 字相关的密钥,且验证者是诚实的,则有非常大的概率,验证者 将拒绝接受用户的身份。 隐藏性( Witness hiding):若用户是诚实的,则不论协议进 行了多少次以及不论任何人(包括验证者)都无法从协议中推出 用户的密钥,并且无法冒充用户的身份。安全性分析 ⚫ 针对一般交互式用户身份证明协议，都必须满足以下三种性质。 ⚫ 完全性（Completeness）：若用户与验证者双方都是诚实地执 行协议，则有非常大的概率（趋近于1），验证者将接受用户的 身份。 ⚫ 健全性或合理性（Soundness）：若用户根本不知道与用户名 字相关的密钥，且验证者是诚实的，则有非常大的概率，验证者 将拒绝接受用户的身份。 ⚫ 隐藏性（Witness hiding）：若用户是诚实的，则不论协议进 行了多少次以及不论任何人（包括验证者）都无法从协议中推出 用户的密钥，并且无法冒充用户的身份