期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
1
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
改进Athena算法的多协议攻击自动化验证方法
1
作者
刘威
郭渊博
+1 位作者
雷新锋
李俊锋
《计算机科学》
CSCD
北大核心
2014年第12期112-117,132,共7页
多协议环境下协议安全性问题是安全协议形式化分析验证领域的一个公开问题。针对此问题,在分析Athena算法的基础上提出了一种多协议攻击自动化验证方法。该方法扩展了Athena状态表示方法和后继状态生成算法,使得攻击者具备截取其它协议...
多协议环境下协议安全性问题是安全协议形式化分析验证领域的一个公开问题。针对此问题,在分析Athena算法的基础上提出了一种多协议攻击自动化验证方法。该方法扩展了Athena状态表示方法和后继状态生成算法,使得攻击者具备截取其它协议交互消息和计算生成当前协议消息的能力,能够以自动化的方式验证协议是否存在多协议攻击。实验结果表明,提出的方法能够实现多协议攻击的自动化验证。
展开更多
关键词
多协议攻击
自动化验证
安全属性
athena算法
逆向搜索
在线阅读
下载PDF
职称材料
题名
改进Athena算法的多协议攻击自动化验证方法
1
作者
刘威
郭渊博
雷新锋
李俊锋
机构
解放军信息工程大学
数学工程与先进计算国家重点实验室
中国人民解放军第
太原卫星发射中心
出处
《计算机科学》
CSCD
北大核心
2014年第12期112-117,132,共7页
基金
国家部委基金项目(9140C130103120C13062)资助
文摘
多协议环境下协议安全性问题是安全协议形式化分析验证领域的一个公开问题。针对此问题,在分析Athena算法的基础上提出了一种多协议攻击自动化验证方法。该方法扩展了Athena状态表示方法和后继状态生成算法,使得攻击者具备截取其它协议交互消息和计算生成当前协议消息的能力,能够以自动化的方式验证协议是否存在多协议攻击。实验结果表明,提出的方法能够实现多协议攻击的自动化验证。
关键词
多协议攻击
自动化验证
安全属性
athena算法
逆向搜索
Keywords
Multi-protocol attacks
Automatic verification
Security properties
athena
Backwards search
分类号
TP393 [自动化与计算机技术—计算机应用技术]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
改进Athena算法的多协议攻击自动化验证方法
刘威
郭渊博
雷新锋
李俊锋
《计算机科学》
CSCD
北大核心
2014
0
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
