Yu Lei David Chenho Kung Qizhi Ye A Blocking-Based Approach to Protocol Validation. 301-306 2005 conf/compsac/2005 COMPSAC (1) http://doi.ieeecomputersociety.org/10.1109/COMPSAC.2005.15 db/conf/compsac/compsac2005-1.html#LeiKY05