| 摘要: |
| 本文在分析现有验证技术的基础上,提出了实体自动机化简方法和错误优先的搜索算法(EFSA),同时介绍了根据上述策略建立的以ESTELLE为描述模型的协议自动验证系统APVS. |
| 关键词: |
| DOI： |
| 分类号: |
| 基金项目:国家教委博士点基金资助 |
|
| RELIABLE STRATEGY FOR AUTOMATED PROTOCOL VALIDATION |
|
Wen Tao,Liu Jiren,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. |
| Key words: |
