Modeling and Analysis of Socks Protocol Based on Petri Net
基于Petri网的Socks协议建模与分析

This paper describes the modeling and analysis of Socks protocol based on Petri net. It presents the flow chart of every process of Socks protocol and corresponding Petri net models. The exploratory research of Socks protocol has proved its correctness and effectiveness.