The Certification Test Method Based on String of Space Model
Zhang Ling-lin · Journal of Liaocheng University · 2015
The certification testing of method Strand space model is the most representative in the methods of theorem provingsecurity protocol analysis.Using the strand space model theory Analysis and design Formalization to the problem of intermediator attacks in n-s public key protocol,and prove it.Compared with the original technique,The approach is more formal.Protocol analysis personnel can be very convenient formanual analysis,and more conducive to the realization of protocol analysisautomation tools.