基于Petri网的Socks V5之验证协议阶段建模研究
기우Petri망적Socks V5지험증협의계단건모연구
Petri-based Modeling of the Authentication Process of Socks V5 Protocol