Effective automatic generation of security protocol’s verification model
Hao Xiong · Computer Engineering and Applications Journal · 2010
Aiming at a more efficient analysis and verification of the security protocol with the model checking technology,this paper proposes a more efficient modeling algorithm with a wider applicability and higher level of automation.Based on this modeling algorithm,theGenerative System of Network Security Protocol Verification Modelis developed.This system can efficiently analyze and verify the security protocol.During the modeling of the intruder,the system improves the efficiency of verification and solves the problem of state explosion by using such optimization strategies as the partial order reduction,syntax reordering and type checking.