Fan Pan, Li-fa Wu, Zheng Hong, Hua-bo Li, Hai-Guang Lai, Chen-hui Zheng, Vol. 7, No. 3, March 30, 2013
10.3837/tiis.2013.03.010

• protocol reverse engineering
• protocol format extraction
• semantic inference
• concolic execution
• Intermediate Language