Automatic Verification Algorithm for Security Protocol Based on String Space
Xiehua Li · Jisuanji gongcheng · 2011
Based on string space,this paper proposes an automatic verification algorithm for security protocol named Intelligent Validation for Authentication Protocol(IVAP).For the protocol with flaw,it generates the improved secure protocol automatically by searching backward the tree of the primary strand aiming at the unsafe attributes,and validates it until the improved protocol is safe.Experimental result proves the effectiveness of the algorithm.Compared with AAAP algorithm,IVAP algorithm is more efficient.