| 协议自动验证的可靠策略 |
| |
| 引用本文： | 温涛,刘积仁,李华天.协议自动验证的可靠策略[J].软件学报,1993,4(5):38-45. |
| |
| 作者姓名： | 温涛 刘积仁 李华天 |
| |
| 作者单位： | 东北工学院计算机系 沈阳 110006;东北工学院计算机系 沈阳 110006;东北工学院计算机系 沈阳 110006 |
| |
| 基金项目： | 国家教委博士点基金资助 |
| |
| 摘 要： | 本文在分析现有验证技术的基础上,提出了实体自动机化简方法和错误优先的搜索算法(EFSA),同时介绍了根据上述策略建立的以ESTELLE为描述模型的协议自动验证系统APVS.
|
| 关 键 词： | 通信协议 验证 协议 |
| 收稿时间： | 1991/1/28 0:00:00 |
| 修稿时间： | 5/3/1991 12:00:00 AM |
RELIABLE STRATEGY FOR AUTOMATED PROTOCOL VALIDATION |
| |
| Wen Tao,Liu Jiren and Li Huatian.RELIABLE STRATEGY FOR AUTOMATED PROTOCOL VALIDATION[J].Journal of Software,1993,4(5):38-45. |
| |
| Authors: | Wen Tao Liu Jiren and Li Huatian |
| |
| Abstract: | After Analyzing existing protocol validation techniques, we propose a FSM simplified method and an error-first search algorithm. Based on this strategy,an automated protocol validation system (APVS) in which protocols are specified in ESTELLE is developed and discussed. |
| |
| Keywords: | |
| 本文献已被 CNKI 维普 等数据库收录！ |
| 点击此处可从《软件学报》浏览原始摘要信息 |
|
点击此处可从《软件学报》下载全文 |
|
