切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
关于BAN逻辑分析的改进
关于BAN逻辑分析的改进
来源 :中国科学院研究生院学报 | 被引量 : 0次 | 上传用户:nanfangjituan
【摘 要】
:
基于BAN逻辑的协议分析往往容易忽略密码协议潜在的"重放攻击"漏洞,为解决这一问题,对BAN逻辑分析的新消息判断法则逻辑公设作了一点改进.从而降低了BAN逻辑分析的误导性.
【作 者】
:
冯彬
【机 构】
:
昆明理工大学理学院数学系
【出 处】
:
中国科学院研究生院学报
【发表日期】
:
2002年3期
【关键词】
:
BAN逻辑
密码协议
逻辑分析
重放攻击
逻辑公设
网络安全
密码学
cryptographic protocol
logic analysis
send
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
基于BAN逻辑的协议分析往往容易忽略密码协议潜在的"重放攻击"漏洞,为解决这一问题,对BAN逻辑分析的新消息判断法则逻辑公设作了一点改进.从而降低了BAN逻辑分析的误导性.
其他文献
全球板块运动对板块边界带应力场的影响
将全球板块边界带分别按照不同的宽度加以界定,计算了全球板块边界应力场的长、短波分量,讨论了应力场短波分量对观测应力场的相对贡献,分析了其与板块边界相互运动类型的相关性
期刊
板块边界带
应力场
短波分量
plate boundary segments
stress field
short-wave component
某化学品船高效桨设计应用
以螺旋桨理论设计方法为基础,通过优化螺旋桨设计,以高效桨代替常规MAU型螺旋桨,使某化学品船在保持相同航速的前提下,实现降低主机转速,减小主机轴功率输出,实现减少排放,经
期刊
高效桨
环保节能
快速性
high-performance propeller
environmental protection and energy savi
运用ASM描述安全协议
介绍了抽象状态机(ASM),建立了基于这种形式化方法的协议描述于验证的环境,并建立了一般意义上的入侵者模型.作为应用实例,给出了Helsinki协议的ASM规约,说明利用这个规约可以直
期刊
ASM
安全协议
抽象状态机
密码协议
形式化方法
形式归纳
入侵者模型
网络安全
abstract state machine
cryptographic
热电制冷器散热性能实验研究
随着机栽电子元器件体积缩小性能提高,功耗不断增大,散热问题日益严峻,热电制冷技术受到广泛关注,为了掌握热电制冷器的散热性能,设计了热电制冷器散热性能实验测试装置,对热电制
期刊
电子元器件
热电制冷
热电制冷器
散热性能
electronic component
thermoelectric refrigeration
thermo
纳米TiO_2对染料敏化纳米薄膜太阳电池的影响
在染料敏化钠米薄膜太阳电池中,纳米TiO2是重要的组成物质之一,用溶胶-凝胶法制备纳米TiO2的过程中,为了控制纳米TiO2的大小及晶型采用了一系列方法,主要介绍热处理方法及实验结果
期刊
溶胶-凝胶法
效率
纳米二氧化钛
纳米薄膜太阳电池
染料敏化
nanocrystalline TiO2
solgel
solar cell
efficie
托管式安全监控系统
分析了目前托管式安全监控(MSM)系统存在的优势及缺陷,提出了将机器学习应用到MSM系统的观点,以提高系统的分析效率,克服存在的社会工程安全问题.MSM系统是为了克服单一安全
期刊
托管式安全监控系统
入侵检测
机器学习
数据挖掘
网络安全
风险管理
managed security monitoring
intrusion detecti
重离子耗散反应激发函数中的截面涨落
完成了两次独立的19F+93Nb激发函数测量;束流19F8+的入射能量100~108 MeV,能量步长250 keV.两次测量的宏观条件完全相同,实验结果有近1/3的相同能量点所对应的反应截面及其涨
期刊
耗散反应
涨落不平滑
截面不重复
退相干
量子混沌
fluctuation
nonselfaveraging
nonreproducibility
dec
网络分布化控制(DNC)的轮毂自动加工系统实现
为了实现生产过程中轮毂的自动加工,采用了基于以太网的 DNC(Distributed Numerical Contro)结构方案,优化了新的轮毂加工流程,完成了 DNC 功能模块开发,实现了加工过程中加工
期刊
网络分布化控制
轮毂
以太网
模块
DNC
wheel hub
Ethernet
module
一种基于双凸轮的单面缝合机构设计
设计出应用于复合材料领域的单面缝合机构,该缝合机构基于双凸轮机构进行设计,根据机构要求选择滚子直动从动件合适的运动规律、确定凸轮的基本参数,在MATLAB 中生成凸轮轮廓
期刊
单面缝合
“链式”线迹
双凸轮机构
分体设计
single-side stitching
chain stitch
double cam mechanism
基于AutoCAD的自定义线型的加载方法探索
AutoCAD软件被广泛的应用于工程制图,电子工业,土木建筑,测绘行业等多个领域,面对不同行业的线型需求,在AutoCAD中如何快速自动绘制不同的线型是提高绘图效率的关键。以电缆线为例探索了AutoCAD软件中自定义线型的加载方法,从而实现了自定义线型的绘制与加载过程。
期刊
AUTOCAD
自定义线型
加载方法
形
AutoCAD
custom profile
loading method
shape
与本文相关的学术论文