A Path-Based Method for Protocol Validation
碩士 === 國立交通大學 === 資訊工程研究所 === 82 === The protocol validation methods to date are based on the reachability analysis technique and suffer from the "state space explosion problem." Therefore, almost no existing methods can be applied to complex pr...
| Main Authors: | , |
|---|---|
| Other Authors: | |
| Format: | Others |
| Language: | zh-TW |
| Published: |
1994
|
| Online Access: | http://ndltd.ncl.edu.tw/handle/88694815857531982692 |