切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
安全协议Andrew RPC的SPIN模型检测
安全协议Andrew RPC的SPIN模型检测
来源 :网络安全技术与应用 | 被引量 : 1次 | 上传用户:lyt7913
【摘 要】
:
本文运用模型检测技术,以Dolev-Yao模型为基础,提出了使用Promela语言和模型检测工具SPIN对Andrew RPC协议进行建模和分析的方法,发现了该协议存在重放攻击漏洞,该方法具有一定通用性和很好的参考价值。
【作 者】
:
高春雨
朱学永
【机 构】
:
解放军电子工程学院网络管理中心,
【出 处】
:
网络安全技术与应用
【发表日期】
:
2009年05期
【关键词】
:
Andrew RPC协议
模型检测
Promela
SPIN
安全漏洞
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文运用模型检测技术,以Dolev-Yao模型为基础,提出了使用Promela语言和模型检测工具SPIN对Andrew RPC协议进行建模和分析的方法,发现了该协议存在重放攻击漏洞,该方法具有一定通用性和很好的参考价值。
其他文献
厚煤层采煤方法的选择
采煤方法是建设高产高效矿井的关键,本文通过分析人工假顶分层综采、放顶煤综采、大采高综采三种采煤方法,提出各矿井要根据各地生产的实际情况和当地经济的发展状况,采用适
期刊
厚煤层
采煤方法
人工假顶
放项煤
大采高综采
基层门诊不合理用药浅析
期刊
基层医生
合理用药
浅析
对策
传染内科新患者入院接待工作存在的问题与护理对策
本院感染内科入院患者较多,病情较重,但存在环境不理想,相关设施简陋,护士接待礼仪知识不足等问题.通过改造科室环境,培训护士礼仪知识,应用入院指示标志,提供预约电话服务及
期刊
新患者
入院
接待工作
护理对策
以人为本的高职院校数字校园发展模式的研究——以广州工程技术职业学院为例
目前,许多高职院校都把现代信息技术作为学院发展的创新点及核心推动力,因此,都在加速自身的数字校园建设.但高职院校数字校园的建设不能照搬本科院校的模式.应该具有自己的
期刊
信息技术
以人为本
数字校园
高职院校
个性化
冠心病及高血压患者检测尿微量白蛋白的分析
目的探讨冠心病及高血压患者检测尿微量白蛋白的价值;方法将2011年6月至2012年6月我院收治的高血压患者28例和冠心病患者28例分别设为观察1组和观察2组,将体检正常者28设为对
期刊
尿微量白蛋白
高血压
冠心病
探讨成品油价税费改革对公路超限运输治理工作的影响
本文从经济学、行政管理、法律等角度,分析税费改革对非收费公路超限运输治理的影响,寻求收费公路与非收费公路的均衡发展的管理新思路。 This article analyzes the impact
期刊
成品油价税费改革
超限治理
收费公路
非收费公路
均衡
关于混凝土HJC本构损伤模型的几点探讨
运用非线性动力分析软件15-DYNA,选用111#材料模型-HJC动态损伤本构模型,对混凝土SHPB试验进行数值模拟,探寻HJC模型部分材料参数的意义以及模型本构.数值模拟结果表明:在选
期刊
混凝土
本构损伤
HJC模型
中西医结合治疗盆腔慢性疼痛综合症疗效分析
目的:探讨中西医结合治疗盆腔慢性疼痛综合症的临床效果.方法:选择盆腔慢性疼痛综合症患者100例随机分为观察组和对照组各50例,对照组给予安宫黄体酮片治疗,观察组在对照组药
期刊
盆腔瘀血综合症
中西医结合
疗效
中国单位社区的发展历程
1949年新中国成立后,国家推行社会主义公有制.从此中国进入了一个长达近50年的单位社会时期,城市呈现出典型的单位体制特征,城市社区也主要表现为单位社区.随着时间的推移,单
期刊
单位体制/单位社区/城市
当代对外汉语教学中的技术因素探究
近些年来,以高科技为手段的对外汉语教学得到迅猛发展。事实证明,探究如何有效地将技术因素创造性地运用到二语教学中去,各方学者和教育机构已经共识。计算机辅助教学的开展
期刊
对外汉语教学
汉语计算机辅助教学(CCAI)
网络汉语教育
汉语国际推广
与本文相关的学术论文