切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
IKEv2协议的SPIN模型检测
IKEv2协议的SPIN模型检测
来源 :计算机工程 | 被引量 : 0次 | 上传用户:sherry_yang
【摘 要】
:
基于模型检测技术,使用SPIN对IKEv2协议进行了建模和分析。应用Promela语言描述了协议模型,并用LTL规约了该协议需要满足的认证性和秘密性,最后对检测结果进行了分析。
【作 者】
:
陈大伟
董荣胜
郭云川
古天龙
【机 构】
:
桂林电子工业学院计算机系
【出 处】
:
计算机工程
【发表日期】
:
2006年5期
【关键词】
:
IKE协议
模型检测
SPIN
PROMELA
IKE protocol Model checking SPIN Promela
【基金项目】
:
广西省自然科学基金资助项目(0542052)
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
基于模型检测技术,使用SPIN对IKEv2协议进行了建模和分析。应用Promela语言描述了协议模型,并用LTL规约了该协议需要满足的认证性和秘密性,最后对检测结果进行了分析。
其他文献
气缸盖喷油器铜套装配工艺
我公司在试制LIA80B直喷型柴油机期间,按照传统方式安装气缸盖喷油器铜套,进行气压试验时,漏水率达到40%以上,造成人力、材料的极大浪费。我们通过反复试验,设计专用安装喷油器铜套
期刊
装配工艺
喷油器
气缸盖
铜套
气压试验
装配要求
柴油机
漏水率
一种自适应的自组织网络定位方案
提出了一种自适应的自组织网络定位方案,它适用于节点分布比较集中的自组织网络,能有效解决复杂地形环境下的应用问题。该方案采用到达时间(TOA)测量值作为参数,结合非视距误差消
期刊
定位
自组织网络
非视距
到达时间
Positioning Ad hoc network Non-line-of-sight(NLOS) Time-of-arr
基于GIS的土地整治适宜性评价——以岑巩县为例
本文选取贵州省黔东南州岑巩县为研究区域,因地制宜地建立了评价指标体系与评价标准,运用网格法划分评价单元,选定适合于丘陵地区的影响因子作为参评因子,在GIS技术支持下,建
期刊
土地整治
土地适宜性评价
GIS
岑巩县
社会科学数据管理与服务平台研究——德国的经验
[目的/意义]对德国社会科学数据管理与服务平台SowiDataNet|Datorium进行研究,揭示其特色和成功经验,为我国开发国家层面的社会科学公共数据平台提供参考。[方法/过程]利用文
期刊
社会科学
科研数据
科学数据管理
数据平台
德国
social scienceresearch datascientific data managementda
教师差异发展,教育均衡发展——四川省泸州市江阳区教师教育改革探索
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”$ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’#陈川个美食 Back to yield
期刊
泸州市江阳区
教师教育改革
教育均衡发展
四川省
当代教育公平内涵及其实现途径解析
作为一个"老生常谈"的话题,在错综复杂的当代社会,教育公平贯穿于整个教育过程,主要体现在教育权利、教育机会、教育制度三方面。其中,人人享有平等的教育权利是迈向教育公平的
期刊
教育公平
教育机会
教育权利
教育制度
壬基酚暴露与大鼠非酒精性脂肪肝发病关系及机制
非酒精性脂肪肝(NAFLD)在全球范围内广泛流行,发病率呈不断上升趋势,且病因不明。为探讨环境因素(壬基酚)和不良生活方式(高脂高糖饮食)在NAFLD发生发展过程中的作用,本课题
学位
壬基酚
高脂高糖饮食
大鼠
非酒精性脂肪肝
Fas
UG NX设计经验谈
航空产品本身的技术难度大,复杂度高,需要各个团队的设计人员在设计过程中通过并行、协同设计来提高设计的正确性和设计效率;如何缩短产品研发、设计、制造的周期,使新一代航空产
期刊
设计经验
UG
航空产品
设计过程
设计人员
设计效率
协同设计
产品研发
黄瓜饮料
黄瓜饮料黄瓜是一种营养价值较高的大众化蔬菜,其不仅能鲜食,烹调各种菜肴,而且可以加工罐头、饮料、脯饯等多种产品,下面介绍黄瓜饮料的加工技术。1、原料选用8—9成熟,组织脆嫩,肉质
期刊
加工技术
深绿色
大跨PC连续刚构桥长期下挠控制措施研究
目前,国内大跨径预应力混凝土梁桥存在的主要病害是跨中下挠过大和箱梁梁体裂缝,研究如何控制大跨径预应力梁桥跨中长期挠度十分有意义。本文首先以汉源大树大渡河大桥工程为
学位
PC连续刚构桥
预应力损失
箱梁刚度
腹板斜向预应力束
底板直线预应力束
与本文相关的学术论文