论文降重
免费查重- 钛学术文献服务平台 \
- 学术期刊 \
- 综合期刊 \
- 其它期刊 \
- 通讯和计算机：中英文版期刊 \
一种新的基于有色Petri网的安全协议建模方法
一种新的基于有色Petri网的安全协议建模方法
基本信息来源于合作网站，原文需代理用户跳转至来源网站获取
摘要：
密码协议安全性的分析是网络安全的一个难题，运用形式化方法对密码协议进行分析一直是该领域的研究热点。本文提出了一种新的基于有色Petri网的安全协议建模方法，并以TMN密码协议为例，说明了这一方法的建模过程。
推荐文章
基于有色Petri网模型的安全协议检测方法
有色Petri网
CPN Tools
安全协议
Needham-Schroedor公钥协议
建模
改进型有色Petri网的安全协议分析
安全协议
有色Petri网
形式化分析
Helsinki协议
一种基于Petri网的安全协议验证方法
安全协议
着色Petri网
形式化建模与分析
安全验证
可达性分析
基于有色Petri网的经营过程建模
经营过程
经营过程重组
Petri网
有色Petri网
内容分析
关键词云
关键词热度
相关文献总数
(/次)
(/年)
文献信息
| 篇名 | 一种新的基于有色Petri网的安全协议建模方法 | ||
| 来源期刊 | 通讯和计算机：中英文版 | 学科 | 工学 |
| 关键词 | 有色PETRI网 CPN TOOLS 安全协议 密码协议 | ||
| 年，卷（期） | txhjsjzywb,（2） | 所属期刊栏目 | |
| 研究方向 | 页码范围 | 28-33 | |
| 页数 | 6页 | 分类号 | TP391.9 |
| 字数 | 语种 | ||
| DOI | |||
五维指标
引文网络
引文网络
二级参考文献 (0)
共引文献 (0)
参考文献 (0)
节点文献
引证文献 (0)
同被引文献 (0)
二级引证文献 (0)
2006(0)
- 参考文献(0)
- 二级参考文献(0)
- 引证文献(0)
- 二级引证文献(0)
研究主题发展历程
节点文献
有色PETRI网
CPN
TOOLS
安全协议
密码协议
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
通讯和计算机：中英文版
主办单位：
美国大卫出版公司
出版周期：
双月刊
ISSN：
1548-7709
CN：
开本：
出版地：
武汉洪山区卓刀泉北路金桥花园C座4楼
邮发代号：
创刊时间：
语种：
出版文献量（篇）
1576
总下载数（次）
2
期刊文献
相关文献
推荐文献
- 期刊分类
- 期刊（年）
- 期刊（期）
- 期刊推荐
通讯和计算机：中英文版2019
通讯和计算机：中英文版2017
通讯和计算机：中英文版2016
通讯和计算机：中英文版2015
通讯和计算机：中英文版2014
通讯和计算机：中英文版2013
通讯和计算机：中英文版2012
通讯和计算机：中英文版2011
通讯和计算机：中英文版2010
通讯和计算机：中英文版2009
通讯和计算机：中英文版2008
通讯和计算机：中英文版2007
通讯和计算机：中英文版2006
通讯和计算机：中英文版2005
通讯和计算机：中英文版2004
通讯和计算机：中英文版2006年第8期
通讯和计算机：中英文版2006年第7期
通讯和计算机：中英文版2006年第6期
通讯和计算机：中英文版2006年第5期
通讯和计算机：中英文版2006年第4期
通讯和计算机：中英文版2006年第3期
通讯和计算机：中英文版2006年第2期
通讯和计算机：中英文版2006年第1期
