摘要： 提出用对象Petri网表示网络认证协议的方法。这种方法能反映协议的动态特性，也利于体现协议执行主体可利用的资源。最后，总结出可把协议的安全性问题转化为Petri网单个位置的1-可达性问题。
关键词:
网络认证协议,
对象Petri网,
RSA
Abstract: In this paper, we present a method of using object Petri Nets to represent nctwork authenticating protocols. This method canreflect the dynamic featllres of protocol, and also reveal directly the public resources available to all roles. At last, it conc1udes that theproblem of Protocol safety can be transformed into the problem of Petri Nets l-reachability in a singlc place.
中图分类号:
刘东喜,赵玉源,李小勇,白英彩. 基于对象Petri网的网络认证协议表示及分析[J]. , 1999, 25(S1): 159-.
Liu Dongxi, Zhao Yuy, Uan, Li Xiaoyong, Bai Yingcai. Representation and Analysis of Object Petri Nets Based Network Authenticating Protocol[J]. , 1999, 25(S1): 159-.