###
DOI:
Journal of Software:1993.4(5):38-45

协议自动验证的可靠策略
温涛,刘积仁,李华天
(东北工学院计算机系 沈阳 110006)
RELIABLE STRATEGY FOR AUTOMATED PROTOCOL VALIDATION
Wen Tao,Liu Jiren,Li Huatian
()
Abstract
Chart / table
Reference
Similar Articles
Article :Browse 2761   Download 2775
Received:January 28, 1991    Revised:May 03, 1991
> 中文摘要: 本文在分析现有验证技术的基础上,提出了实体自动机化简方法和错误优先的搜索算法(EFSA),同时介绍了根据上述策略建立的以ESTELLE为描述模型的协议自动验证系统APVS.
中文关键词:
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:
文章编号:     中图分类号:    文献标志码:
基金项目:国家教委博士点基金资助 国家教委博士点基金资助
Foundation items:
Reference text:

温涛,刘积仁,李华天.协议自动验证的可靠策略.软件学报,1993,4(5):38-45

Wen Tao,Liu Jiren,Li Huatian.RELIABLE STRATEGY FOR AUTOMATED PROTOCOL VALIDATION.Journal of Software,1993,4(5):38-45