基于Petri网的Socks协议建模与分析  

Modeling and Analysis of Socks Protocol Based on Petri Net

作　　者：童铭[1] 李志蜀[1] 王雪松[1] 孙肖[1] 

机构地区：[1]四川大学计算机学院,四川成都610064

出　　处：《计算机应用研究》2006年第7期208-209,212,共3页Application Research of Computers

基　　金：国家"863"计划资助项目(2002AA144020)

摘　　要：论述基于Petri网的Socks协议分析,通过对Socks协议的分解,给出了Socks协议各阶段的流程,并建立相应的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.

关 键 词：PETRI网 SOCKS协议 流程图 建模 

分 类 号：TP393.01[自动化与计算机技术—计算机应用技术]