基于对象Petri网的网络认证协议表示及分析

检索

作者投稿和查稿主编审稿专家审稿编委审稿远程编辑

刘东喜,赵玉源,李小勇,白英彩

Representation and Analysis of Object Petri Nets Based Network Authenticating Protocol

Liu Dongxi, Zhao Yuy, Uan, Li Xiaoyong, Bai Yingcai

. 1999, (S1): 159 .