Kind of automated analysis method of security protocol
一种安全协议自动化分析方法*

This paper presented an automated analysis model based on strand space of security protocol. The model achieved automatic analysis by using a series of algorithms and overcame the disadvantage of manual analysis of security protocol, so it made security protocol analysis more simple and intuitive.The model implemented its function by coding in MyEclipse environment with Java. The proposed approach compares and analyzes Helsinki protocol for the first time, and the results show that the method is simple and efficient.