An Engineering Realization Method for Security Protocols

We put forward an engineering realization method for security protocols. First, a formal description language for security protocols is designed. Then, a security protocol interpreter is designed, through which the corresponding objective code is generated with the description document as input. Analysis indicates that compared with the existing schemes our scheme has obvious advantages.