摘要
提出用对象Petri网表示网络认证协议的方法。这种方法能反映协议的动态特性,也利于体现协议执行主体可利用的资源。最后,总结出可把协议的安全性问题转化为Petri网单个位置的1-可达性问题。
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.
出处
《计算机工程》
CAS
CSCD
北大核心
1999年第S1期159-160,178,共3页
Computer Engineering
关键词
网络认证协议
对象PETRI网
RSA
Network authenticating protocol
Object Petri Nets protocol
RSA