| 基于事件类型的网络协议建模 |
| |
| 引用本文： | 金秀,杨宝华.基于事件类型的网络协议建模[J].安徽建筑工业学院学报,2009,17(6):96-100. |
| |
| 作者姓名： | 金秀 杨宝华 |
| |
| 作者单位： | 安徽农业大学信息与计算机学院,合肥,230001 |
| |
| 基金项目： | 安徽省高校省级自然科学项目 |
| |
| 摘 要： | 提出了基于事件类型的网络协议建模方法,并在模型的基础上对协议进行检测实验.协议的模型检查实验中最重要的是状态模型的描述,其决定了检测结果的精确性和有效性.事件类型的状态描述方法是通过外部事件和内部事件建立一个完整有效的状态层次模型,模型检查算法对建立的状态模型进行检测,最终得到性质检测结果.本文通过对WEP协议和四次握手协议进行事件类型的建模分析证明了状态层次方法有利于网络协议的建模与检测.
|
| 关 键 词： | 模型检查 协议分析 逻辑验证 协议漏洞 |
Model the protocol based on kinds of event |
| |
| JIN Xiu,YANG Bao-hua.Model the protocol based on kinds of event[J].Journal of Anhui Institute of Architecture(Natural Science),2009,17(6):96-100. |
| |
| Authors: | JIN Xiu YANG Bao-hua |
| |
| Affiliation: | JIN Xiu,YANG Bao-hua(An Hui Agricultural University school of communication , computer,An Hui Hefei 230001) |
| |
| Abstract: | The paper proposed the method of modeling network protocol and the protocol verification based on the kinds of event.The most important part in the experiment of protocol verification is the state of the model that decides the accuracy and validity of result.The way of describing multi-level state relies on integrated and efficient co-construction of the out-event and the in-event model by using the arithmetic mode to check the verification and get the testing result of characters.This paper uses the WEP an... |
| |
| Keywords: | model checking protocol alanysis logic verification protocol deficiency |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
