An Engineering Realization Method for Security Protocols
Xinghua Li, Li Deng, Shuaituan Li, Jianfeng Ma · Procedia Environmental Sciences · 2011
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.