摘要：本文阐述了应用有限自动机进行软件设计的步骤，提出了应用有限自动机进行协议验证的处理思想，并且给出了实现方法。使用有限自动机在协议分析和协议验证中充分考虑了通讯过程的完整性，提高了通讯协议的可靠性。
　　关键词：有限自动机；协议分析；协议验证
　　中图分类号：TP301.1
　　文献标识码：A
　　文章编号：1009－3044(2007)09－20784－02