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

摘要：

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

关键词： 网络认证协议 对象Petri网

作者: 刘东喜 赵玉源 李小勇 白英彩

作者单位: 上海交通大学计算机系(上海)

会议类型: 国内会议

会议名称: 1999信息安全国际会议

会议地点: 上海

会议语种:中文

页码: 159-160,178

在线出版日期: 1999-10-01（万方平台首次上网日期，不代表论文的发表时间）