The Community for Technology Leaders
2013 IEEE 37th Annual Computer Software and Applications Conference (2005)
Edinburgh, Scotland
July 26, 2005 to July 28, 2005
ISSN: 0730-3157
ISBN: 0-7695-2413-3
pp: 301-306
Oizhi Ye , University of Texas at Arlington
David Kung , University of Texas at Arlington
Yu Lei , University of Texas at Arlington
ABSTRACT
One common approach to protocol validation is reachability analysis, which involves systematically exploring the state space of a protocol. The main challenge of reachability analysis is dealing with the state explosion problem. In this paper, we present a new reachability analysis approach, called blocking-based simultaneous reachability analysis, for protocol validation. This approach has the potential to significantly reduce the number of states that have to be explored but can still be used to detect several logical errors that are commonly found in a protocol.
INDEX TERMS
null
CITATION
Oizhi Ye, David Kung, Yu Lei, "A Blocking-Based Approach to Protocol Validation", 2013 IEEE 37th Annual Computer Software and Applications Conference, vol. 01, no. , pp. 301-306, 2005, doi:10.1109/COMPSAC.2005.15
83 ms
(Ver )