Protocol Analysis Method Based on State Machine

Bin Li, Jun Peng, XueFeng Han. Protocol Analysis Method Based on State Machine. In Danijela Milosevic, Yong Tang 0001, Qiaohong Zu, editors, Human Centered Computing - 5th International Conference, HCC 2019, Čačak, Serbia, August 5-7, 2019, Revised Selected Papers. Volume 11956 of Lecture Notes in Computer Science, pages 305-314, Springer, 2019. [doi]

Authors

Bin Li

This author has not been identified. Look up 'Bin Li' in Google

Jun Peng

This author has not been identified. Look up 'Jun Peng' in Google

XueFeng Han

This author has not been identified. Look up 'XueFeng Han' in Google