The Community for Technology Leaders
RSS Icon
Subscribe
Edinburgh
July 26, 2005 to July 28, 2005
ISBN: 0-7695-2413-3
pp: 301-306
Yu Lei , University of Texas at Arlington
David Kung , University of Texas at Arlington
Oizhi Ye , 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
Yu Lei, David Kung, Oizhi Ye, "A Blocking-Based Approach to Protocol Validation", COMPSAC, 2005, Proceedings of the 29th Annual International Computer Software and Applications Conference (COMPSAC 2005), Proceedings of the 29th Annual International Computer Software and Applications Conference (COMPSAC 2005) 2005, pp. 301-306, doi:10.1109/COMPSAC.2005.15
5 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool