首页> 中文会议>第十次全国Petri网学术年会暨形式化方法学术讨论会 >不可否认协议形式化分析的Petri网方法

不可否认协议形式化分析的Petri网方法

页面导航

摘要
著录项
相似文献
相关主题

摘要

Petri网是一种描述及分析并发行为的工具,在安全协议的形式化分析中得到了广泛的应用,但目前还没有人使用Petri网来分析不可否认协议.本文以一般安全协议的Petri网分析方法为基础,提出了使用Petri网分析不可否认协议的建模及分析方法,该方法可以描述并分析一些其它形式化方法无法描述的协议性质.使用该方法分析J.Zhou和D.Gollmann的公平不可否认协议发现了它议的一个许多其它形式化方法不能发现的已知缺陷.

著录项

来源
《第十次全国Petri网学术年会暨形式化方法学术讨论会》|2005年|88-92|共5页
会议地点江苏镇江
作者
黎波涛; 罗军舟;
展开▼
作者单位

中国计算机学会;

展开▼
会议组织
正文语种
原文格式 PDF
中图分类形式语言理论;
关键词
不可否认; 有色Petri网建模; 形式化分析; 安全协议;
入库时间 2022-08-17 10:51:01

相似文献

中文文献
外文文献
专利

1. 不可否认协议形式化分析的SVO逻辑方法 [J] . 黎波涛 ,罗军舟 . 东南大学学报（自然科学版） . 2005,第005期
2. 一种不可否认协议形式化设计方法 [J] . 刘晶 ,伏飞 ,肖军模 . 计算机工程 . 2008,第004期
3. 一种新的双方不可否认密码协议及其形式化分析 [J] . 桑永宣 ,曾吉文 . 厦门大学学报（自然科学版） . 2008,第005期
4. 不可否认协议时限性的形式化分析 [J] . 黎波涛 ,罗军舟 . 软件学报 . 2006,第007期
5. 一种面向电子邮件的不可否认协议及其形式化分析 [J] . 彭红艳 ,李肖坚 ,夏春和 . 计算机研究与发展 . 2006,第011期
6. 基于有色Petri网的DNP3-SA协议形式化建模与分析 [C] . WANG Run ,汪润 ,ZHAO Lei . 第九届信息安全漏洞分析与风险评估大会（VARA2016） . 2016
7. 公平不可否认协议设计及其形式化分析 [A] . 王洁 . 2008

不可否认协议形式化分析的Petri网方法

摘要

著录项

相似文献

相关主题

期刊订阅