Research on composition design strategy and application of security protocol based on primitive automatic generation
LI Xiao-l · Jisuanji gongcheng yu sheji · 2014
For higher efficiency and lower complexity in composition design of complex protocol,a new strategy based on primitive automatic generation is constructed.Firstly,primitives meeting certain security requirements are generated by automation tool with verification for correctness.Secondly,according to new addition rules for compositional elements,modifications of message term structure are carried out.This step ensures composability of primitives and reduction of complexity in subsequent design process.At last,complex protocol can be constructed and verified from simple primitives with new composition rules.In application of security protocol design,two-party mutual authentication protocol in symmetric key cryptography and two-party mutual authentication with trusted third party and key establishment protocol in asymmetric key cryptography are designed.It is proved that the strategy possesses advantages of high efficiency in primitive generation,effectiveness in composability construction,and rationality in composition design,providing a new and simple way for composition design of complex security protocol.