A New Method for Analyzing Session Key Distributed Protocols

Yuelei XIAO,Zhixiang ZHU,Yong ZHANG
DOI: https://doi.org/10.3969/j.issn1672-9722.2015.07.027
2015-01-01
Abstract:By analyzing the process of a security protocol ,the definition of Driving Module(DM ) is given .Then ,regu‐lar and penetrator DMs are formed according to the Strand Space Model(SSM ) .Finally ,a new method for analyzing session key distributed protocols is proposed based on these regular and penetrator DMs ,i .e .a model checking method based on DMs .Theorem proofs and case analysis show that the search breadth and depth of this method is prefect ,and it can avoid the state space explosion problem .
What problem does this paper attempt to address?