The Certification Test Method Based on String of Space Model
ZHANG Ling-ling
XIE Sheng-xian
JIA Yang-li
Abstract：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 .
Keywords：security protocolthe strand space modelN-S public key protocol
Publication Date：2015-01-01
Online Publishing Date：2026-08-28(First online date of this platform, not the publication date of the document)
Pages：4( 79-82 )