论文降重
免费查重- 钛学术文献服务平台 \
- 学术期刊 \
- 工业技术期刊 \
- 无线电电子学与电信技术期刊 \
- 数据通信期刊 \
基于AVISPA的Yahalom协议形式化分析
基于AVISPA的Yahalom协议形式化分析
基本信息来源于合作网站，原文需代理用户跳转至来源网站获取
摘要：
安全协议利用密码技术实现开放网络环境下的安全通信,达到信息安全的目的.由于安全协议的重要性,人们对它的分析和设计一直没有停止过.文章主要介绍针对安全协议分析的模型检测工具AVISPA,用其对Yahalom协议进行分析,指出Yahalom协议存在的漏洞,提出修改意见,并用AVISPA验证改进的Yahalom协议的正确性.
推荐文章
密码协议的形式化分析
形式化分析
BAN逻辑
模型检测
通用形式方法
定理证明
Kerberos协议的形式化分析
安全协议
BAN逻辑
Kerberos协议
密码协议形式化分析的计算合理性
形式化方法
计算方法
合理性定理
密码协议分析
基于ATL的电子商务协议建模与形式化分析
ATL逻辑
形式化分析
公平性
多方电子商务协议
内容分析
关键词云
关键词热度
相关文献总数
(/次)
(/年)
引文网络
引文网络
二级参考文献 (33)
共引文献 (104)
参考文献 (6)
节点文献
引证文献 (1)
同被引文献 (0)
二级引证文献 (0)
1976(1)
- 参考文献（0）
- 二级参考文献（1）
1978(1)
- 参考文献（0）
- 二级参考文献（1）
1981(1)
- 参考文献（0）
- 二级参考文献（1）
1983(1)
- 参考文献（0）
- 二级参考文献（1）
1987(1)
- 参考文献（0）
- 二级参考文献（1）
1989(2)
- 参考文献（0）
- 二级参考文献（2）
1990(1)
- 参考文献（0）
- 二级参考文献（1）
1992(2)
- 参考文献（0）
- 二级参考文献（2）
1993(2)
- 参考文献（0）
- 二级参考文献（2）
1994(2)
- 参考文献（0）
- 二级参考文献（2）
1995(1)
- 参考文献（0）
- 二级参考文献（1）
1996(3)
- 参考文献（0）
- 二级参考文献（3）
1998(1)
- 参考文献（0）
- 二级参考文献（1）
1999(2)
- 参考文献（0）
- 二级参考文献（2）
2000(1)
- 参考文献（0）
- 二级参考文献（1）
2001(4)
- 参考文献（0）
- 二级参考文献（4）
2003(4)
- 参考文献（1）
- 二级参考文献（3）
2005(2)
- 参考文献（1）
- 二级参考文献（1）
2006(2)
- 参考文献（0）
- 二级参考文献（2）
2008(2)
- 参考文献（2）
- 二级参考文献（0）
2009(1)
- 参考文献（0）
- 二级参考文献（1）
2010(2)
- 参考文献（2）
- 二级参考文献（0）
2013(0)
- 参考文献(0)
- 二级参考文献(0)
- 引证文献(0)
- 二级引证文献(0)
2016(1)
- 引证文献（1）
- 二级引证文献（0）
研究主题发展历程
节点文献
安全协议
Yahalom
AVISPA
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
数据通信
主办单位：
数据通信科学技术研究所
出版周期：
双月刊
ISSN：
1002-5057
CN：
11-2841/TP
开本：
大16开
出版地：
北京市海淀区学院路40号
邮发代号：
82-891
创刊时间：
1980
语种：
chi
出版文献量（篇）
2014
总下载数（次）
6
总被引数（次）
7821
期刊文献
相关文献
推荐文献
- 期刊分类
- 期刊（年）
- 期刊（期）
- 期刊推荐
一般工业技术
交通运输
军事科技
冶金工业
动力工程
化学工业
原子能技术
大学学报
建筑科学
无线电电子学与电信技术
机械与仪表工业
水利工程
环境科学与安全科学
电工技术
石油与天然气工业
矿业工程
自动化技术与计算机技术
航空航天
轻工业与手工业
金属学与金属工艺
数据通信2022
数据通信2021
数据通信2020
数据通信2019
数据通信2018
数据通信2017
数据通信2016
数据通信2015
数据通信2014
数据通信2013
数据通信2012
数据通信2011
数据通信2010
数据通信2009
数据通信2008
数据通信2007
数据通信2006
数据通信2005
数据通信2004
数据通信2003
数据通信2002
数据通信2001
