標題: Symbolic path-based protocol verification
作者: Liu, WC
Chung, CG
資訊工程學系
Department of Computer Science
關鍵字: protocol verification;reachability analysis;path-based approach
公開日期: 1-三月-2000
摘要: The principal problem in protocol verification is state explosion problem. In our work (W.C. Liu, C.G. Chung, Path-based Protocol Verification Approach, Technical Report, Department of Computer Science and Information Engineering, National Chiao-Tung University, Hsin-Chu, Taiwan, ROC, 1998), we have proposed a "divide and conquer" approach to alleviate this problem, the path-based approach. This approach-separates the protocol into a set of concurrent paths, each of which can be generated and verified independently of the others. However, reachability analysis is used to identify the concurrent paths from the Cartesian product of unit paths, and it is time-consuming. Therefore,:in this paper, we propose a simple and efficient checking algorithm-to identify the concurrent paths from the Cartesian product, using only Boolean and simple arithmetic operations. (C) 2000 Elsevier Science B.V; All rights reserved.
URI: http://dx.doi.org/10.1016/S0950-5849(99)00060-9
http://hdl.handle.net/11536/30705
ISSN: 0950-5849
DOI: 10.1016/S0950-5849(99)00060-9
期刊: INFORMATION AND SOFTWARE TECHNOLOGY
Volume: 42
Issue: 4
起始頁: 245
結束頁: 255
顯示於類別:期刊論文


文件中的檔案:

  1. 000085869800002.pdf