Automatic Design of Security Protocols
Jingwei Zhang · Jisuanji gongcheng · 2007
This paper describes a model of automatic generation and reduction of security protocols.In the first stage,based on the system specification,it generates candidate protocols and reduces these protocols with syntactical restriction rules and early-pruning by simple impersonation attack.In the second stage,it optimizes the protocols by reduction techniques based on strand space model and gains the optimal protocols.