| 自动机理论在协议开发中的应用 |
| |
| 引用本文： | 赵丽敏.自动机理论在协议开发中的应用[J].数字社区&智能家居,2007,2(5):784-785. |
| |
| 作者姓名： | 赵丽敏 |
| |
| 作者单位： | 德州学院计算机系,山东德州253023． |
| |
| 摘 要： | 本文阐述了应用有限自动机进行软件设计的步骤,提出了应用有限自动机进行协议验证的处理思想,并且给出了实现方法。使用有限自动机在协议分析和协议验证中充分考虑了通讯过程的完整性,提高了通讯协议的可靠性。
|
| 关 键 词： | 有限自动机 协议分析 协议验证 |
| 文章编号： | 1009-3044（2007）09-20784-02 |
| 修稿时间： | 2007-04-25 |
Application of FA in Protocol Development |
| |
| ZHAO Li-min.Application of FA in Protocol Development[J].Digital Community & Smart Home,2007,2(5):784-785. |
| |
| Authors: | ZHAO Li-min |
| |
| Affiliation: | Computer department ofDezhou University,Dezhou 253023,China |
| |
| Abstract: | The paper elaborate the steps to design software by virtue of the FA,propose the ideas to confirm the protocol using FA and provide its realization ways. In these tentative research,we consider the communication process integrity to enhance the reliability of the communication protocol. |
| |
| Keywords: | FA protocol analysis protocol confirmation |
| 本文献已被 CNKI 维普 等数据库收录！ |
