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

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

扫码查看
原文链接
  • NETL
提出用对象Petri网表示网络认证协议的方法。这种方法能反映协议的动态特性，也利于体现协议执行主体可利用的资源。最后，总结出可把协议的安全性问题转化为Petri网单个位置的1-可达性问题。

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

展开 >

上海交通大学计算机系(上海)

网络认证协议 对象Petri网

中国计算机学会

1999信息安全国际会议

1999-10-11

上海

计算机工程(第25卷特刊)

159-160,178

1999