切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
安全协议形式化分析方法的融合性研究
安全协议形式化分析方法的融合性研究
来源 :西北师范大学学报(自然科学版) | 被引量 : 0次 | 上传用户:jql002
【摘 要】
:
分析了BAN逻辑和串空间理论的特点与不足.为了弥补二者的不足,提出了一种融合两种理论的形式化分析方法.通过实例分析,证明该分析方法能够将BAN逻辑和串空间的优点互补综合,
【作 者】
:
卜奎昊
【机 构】
:
淮阴师范学院计算机科学与技术学院
【出 处】
:
西北师范大学学报(自然科学版)
【发表日期】
:
2010年5期
【关键词】
:
安全协议
Helsinki协议
BAN逻辑
串空间
security protocol Helsinki protocol BAN logic strand s
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
分析了BAN逻辑和串空间理论的特点与不足.为了弥补二者的不足,提出了一种融合两种理论的形式化分析方法.通过实例分析,证明该分析方法能够将BAN逻辑和串空间的优点互补综合,使安全协议的分析更可靠、稳定、高效.
其他文献
加强社会管理的方法与途径研究
改革开放三十多年来,中国社会经济建设以及各项事业都取得了巨大的进步与发展。我国社会结构发生了重大变化,社会状态也更加活跃,开放性,伴随而来的问题也愈加增多,如阶层群体冲突
期刊
加强
社会管理
方法与途径
strengthened social management ways and means
贯通数形内容,转化构建破解——以圆锥曲线问题中的几何关系剖析为例
圆锥曲线是高中数学的重难点内容,以其为背景命制的考题常作为压轴题出现,其中存在一类结合几何知识考查学生处理综合问题能力的考题,该类考题的破解需要学生巧妙地对其中的
期刊
椭圆
曲线
轨迹
等角
二阶三点方程组的多个正解
考虑二阶三点方程组的正解存在性,给出了在超线性或次线性条件下至少有两个正解存在的结果.
期刊
二阶三点边值问题
方程组
正解
锥
second-order three-point BVPequation systemspositive solutionc
浅谈电机节电的途径和原理
发挥潜能也是增产增效的一种途径,本文详尽研究了电机节能方法。
期刊
矿山
电动机
设备
mine
electromotor
equipment
基于半脆弱水印的离线电子支付方案的研究与实现
结合半脆弱水印、信息隐藏和椭圆曲线密码体制,提出了一种比较完善的安全加密协议.该协议通过直接修改MP3Stego软件包实现信息隐藏,将通信双方的重要数据隐藏于表面上毫无相
期刊
半脆弱水印
电子支付
椭圆曲线
加密协议
semi-fragile watermarking electronic payment elliptic curve
医学生物化学教学中翻转课堂应用的可行性分析
医学生物化学是临床医学生基础课程学习中举足轻重的一门学科,探索更优的教学方式是本课程组永恒的课题。本文将从翻转课堂教学模式对医学生物化学课程的主体——学生和教师
期刊
医学生物化学
翻转课堂
知识内化
基于椭圆曲线的自认证多代理签密方案
在椭圆曲线离散对数问题的难解性下,结合多代理签名和自认证签密的特点,提出了一种基于椭圆曲线的自认证多代理签密方案.新方案不仅具有密钥短、速度快、安全性高等优点,而且
期刊
自认证签密
多代理签密
椭圆曲线离散对数问题
self-certified signcryption multi-proxy signcryption elli
经济全球化与区域经济差距的相关性
随着全球化水平不断提高,经济全球化对区域经济差距的影响引起了不少学者的重视,文章梳理了国内外关于经济全球化和区域经济差距的相关文献,文章将国内外文献综合整理后分为
期刊
区域经济差距
经济全球化
发达国家
某医院血源性职业暴露的监测分析
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”$ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’#陈川个美食 Back to yield
期刊
医务人员
血源性职业暴露
监测分析
Banach空间二阶微分方程的周期多解
利用锥映射的拓扑度理论与上、下解方法获得了有序Banach空间中二阶常微分方程周期边值问题的多解存在性定理。
期刊
锥映射
周期解
正规锥
不动点
cone mappingperiodic solutionnormal conefixed point
与本文相关的学术论文