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