基于Petri网的Socks V5之验证协议阶段建模研究  

Petri-based Modeling of the Authentication Process of Socks V5 Protocol

作　　者：王轩慧[1] 

机构地区：[1]山东科技大学信息科学与工程学院

出　　处：《科技情报开发与经济》2007年第23期187-189,共3页Sci-Tech Information Development & Economy

摘　　要：Socks V5协议是一个基于客户机/服务器结构的网络代理协议。以Petri网为工具建立了Socks V5验证协议阶段的模型,并用矩阵方程对模型进行了分析研究。The Socks V5 protocol is a network delegate protocol based on the client/server structure. This paper builds the model of the authentication process in Socks V5 protocol based on Petri net, and makes analysis and research on this model with the matrix equation.

关 键 词：PETRI网 SocksV5协议 矩阵方程 

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