Certification Expansion of TA4SP
Zhu Wenye, Yuefei Zhu, Nan Liu, Chen Chen · Jisuanji gongcheng · 2010
【Abstract】Certification is important properties of security protocols, but Tree Automata based on Automatic Approximation for the Analysis of Security Protocols(TA4SP) can not detect certification of security protocols. To solove the above problem, this paper proposes a certification detection method for TA4SP. Based on the analysis of TA4SP, the method introduces the hierarchical certification, and achieves the expanding of certification for TA4SP. The method is a clear structure and easy to foamal. Examples show that the adoption of impoved method can detect certification of security protocols effectively. 【Key words】TA4SP system; Term Rewriting System(TRS); tree automata; certification