一种逆向分析协议状态机模型的有效方法
田 园,李建斌,张 振
Effective approach to re-engineering of protocol’s state machine model
TIAN Yuan,LI Jianbin,ZHANG Zhen
计算机工程与应用 . 2011, (19): 63 -67 .