2013 IEEE 37th Annual Computer Software and Applications Conference (2005)
July 26, 2005 to July 28, 2005
Oizhi Ye , University of Texas at Arlington
David Kung , University of Texas at Arlington
Yu Lei , University of Texas at Arlington
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.
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