切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
密钥分发协议及其形式化分析
密钥分发协议及其形式化分析
来源 :河北师范大学学报 | 被引量 : 0次 | 上传用户:yydxpjg
【摘 要】
:
探讨了形式化分析在设计密码认证协议中的作用;基于Needham-Schroeder共享密钥协议和Ot-way-Rees协议,提出了新的认证协议,并用BAN逻辑对它进行形式分析,发现了潜在的攻击方
【作 者】
:
解建军
李俊红
【机 构】
:
河北师范大学数学与信息科学学院
【出 处】
:
河北师范大学学报
【发表日期】
:
2003年6期
【关键词】
:
密钥分发协议
形式化分析
密码认证协议
BAN逻辑
Needham-Schroeder共享密钥协议
OTWAY-REES协议
网络安全
cryptographi
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
探讨了形式化分析在设计密码认证协议中的作用;基于Needham-Schroeder共享密钥协议和Ot-way-Rees协议,提出了新的认证协议,并用BAN逻辑对它进行形式分析,发现了潜在的攻击方法,指出形式分析可以辅助发现协议的设计缺陷;并讨论了这种分析的局限性以及可能的改进方向.
其他文献
罗森塔尔效应在体育教学中的应用
罗森塔尔效应说明教师的期望对于学生的发展具有重要的作用。在体育教学中学生运动技能学习的认知定向阶段是罗森塔尔效应发挥作用的重要环节。教师合理的期望带来的不仅仅是
期刊
罗森塔尔效应
体育教学
教学目标
学习动机
激励作用
试论我国高等教育产业的经济规制性
本文运用现代经济规制理论,首先分析了市场提供高教产品的障碍,进而探讨了政府对高等教育产业进行经济规制的若干动因,最后论证了高等教育产业是典型的经济规制产业。力求为在市
期刊
高等教育
教育产业
经济规制
中国
资源配置
H2稀释度对HFCVD法沉积SiC薄膜结晶度的影响
采用热丝化学气相沉积(HFCVD)技术,以甲烷(CH4)和硅烷(SiH4)作为源反应气体在Si(111)衬底上生长了晶态SiC薄膜.通过X射线衍射(XRD)、傅立叶红外(FTIR)等分析手段对样品结构、
期刊
碳化硅
H2稀释变
热丝CVD
nanocrustalline SiC
H_2 dilution ratio (H_2/ H_2+CH_4+SiH_4)
HF
CRM应用系统的开发研究
从开发的角度,阐述了客户关系管理应用系统的开发基本要素,重点在于体系结构、开发平台和功能模块,并给出了一种客户关系管理系统的功能模块划分方案.
期刊
CRM应用系统
客户关系管理应用系统
系统开发
体系结构
功能模块
企业管理
CRM
application
development
function
CH3SH与简单自由基反应的研究现状
含硫有机化合物在对流层大气化学中起着重要的作用.目前在实验和理论上对CH3SH,CD3SH及CD3SD的反应进行了很多研究,主要集中在CH3SH与原子(O,H,F,Cl,Br等)、双原子分子和双原
期刊
CH3SH
自由基
大气化学
氢抽提
速率常数
CH_3SH
isotope
hydrogen atom abstraction
rate constan
影响美国教育改革的非制度性因素探析
人类生活进程中逐渐积累下来的,与意识形态和文化渊源有关的思想观念、风俗习惯、行为方式等非制度性因素对教育改革的影响不客忽视。美国社会的一些非制度性因素——圣约方式
期刊
美国
教育改革
非制度性因素
America
educational reform
non-- systematic factors
当前我国转制学校成因分析
当前我国转制学校的蓬勃兴起,不是一个偶然的现象,有其社会、经济和教育的成因.它是在急剧的社会变迁中,在经济飞速发展的形势下,教育为迎合社会和个体的需求所作出的在办学
期刊
转制学校
民办学校
中国
办学体制
基于组件的分布式三层体系结构应用系统研究
在研究组件技术的基础上,作者设计并实现了基于组件的分布式三层体系结构的测井评价系统的服务端组件.为了便于客户端调用服务器端的组件和便于对服务器组件的管理,在服务器
期刊
服务器组件
应用系统
Server Component
Application System
二阶非线性中立型时滞微分方程的振动准则
研究了一类二阶非线性中立型时滞微分方程的振动性,通过引入参数函数H(t,s)K(s),并借助于Riccati变换,得到该方程的几个新的振动准则.
期刊
二阶非线性中立型时滞微分方程
振动准则
振动性
RICCATI变换
非正常解
delay differential equation
neutral type
谈高等教育教学质量的保证——以操作层面为视点
保障和提高高等教育教学质量是高等院校的职责和使命。也是高等院校的立命之本。尤其是高校实行“扩招”政策以来.生源质量参差不齐,在社会对人才的新标准、高要求形势下,怎样保
期刊
高等教育
质量保证
教学管理
与本文相关的学术论文