| 不可否认协议的Petri网建模与分析 |
| |
| 引用本文： | 黎波涛,罗军舟.不可否认协议的Petri网建模与分析[J].计算机研究与发展,2005,42(9):1571-1577. |
| |
| 作者姓名： | 黎波涛 罗军舟 |
| |
| 作者单位： | 东南大学计算机科学与工程系,南京,210096;东南大学计算机科学与工程系,南京,210096 |
| |
| 基金项目： | 江苏省“网络与信息安全”重点实验室基金项目（BM2003201）;江苏省高技术研究基金项目（BG2004036） |
| |
| 摘 要： | Petri网是一种描述及分析并发行为的工具，在安全协议的形式化分析中得到了广泛的应用．作为一种特殊的安全协议，不可否认协议虽然已得到了多种形式化方法的分析，但还没有人使用Petri网来分析它们．以一般安全协议的Petri网分析方法为基础，提出了使用Petri网分析不可否认协议的建模及分析方法，该方法可以描述并分析一些其他形式化方法无法描述的协议性质．使用该方法分析Zhou和Gollmann于1996年提出的一个公平不可否认协议，可以发现该协议的一个许多其他形式化方法不能发现的已知缺陷．
|
| 关 键 词： | 不可否认 有色Petri网 建模 形式化分析 |
| 收稿时间： | 2004-05-09 |
| 修稿时间： | 2004-05-092004-11-10 |
Modeling and Analysis of Non-Repudiation Protocols by Using Petri Nets |
| |
| Li Botao,Luo Junzhou.Modeling and Analysis of Non-Repudiation Protocols by Using Petri Nets[J].Journal of Computer Research and Development,2005,42(9):1571-1577. |
| |
| Authors: | Li Botao Luo Junzhou |
| |
| Abstract: | |
| |
| Keywords: | non-repudiation colored Petri nets modeling formal analysis |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
