Analysis of SVO Protocol Based on Attacker Behavior Capability
Liu Zhi-meng · Jisuanji gongcheng · 2011
According to the fact that SVO logic lacks relative axioms of judging and verifying the validity of certificates and the security proof of authenticated exchange protocols,this paper advices to estimate the protocols security from the aspect of ability of attackers by combining Dolev-Yao threat model with the extension of SVO logic which proves that Mangipudi protocol is not immune from impersonation attack and has no the security property of forward secrecy.Then a provable security scheme which overcomes all above flaws in the Dolev-Yao threat model is proposed.