论文部分内容阅读
采用BAN逻辑对著名的Needham-Schroeder(NS)协议建立理想化协议模型,利用协议的初始假设和BAN逻辑的公设分析NS协议的安全性.分析结果表明,该协议只有增加初试假设,即用户B获得的会话密钥是新的会话密钥的前提下才能达到认证的目标,并提出改进方案.
一种安全协议的逻辑分析与改进
【摘 要】
：
采用BAN逻辑对著名的Needham-Schroeder(NS)协议建立理想化协议模型,利用协议的初始假设和BAN逻辑的公设分析NS协议的安全性.分析结果表明,该协议只有增加初试假设,即用户B获
【机 构】
：
华中科技大学计算机科学与技术学院
【出 处】
：
华中科技大学学报(自然科学版)
【发表日期】
：
2004年7期
其他文献
首先针对GDSS系统中引入文件缓存副本模型的必要性进行了相关探讨,接着针对域内情况提出了一种基于访问综合评价值的文件缓存副本创建管理策略,并结合Java编写的模拟器测试工
从信息论的角度,就基于高斯噪声信道的数字水印容量进行了探索.针对高斯信源分布具有最大的不确定性,能够在所有的二阶随机分布中提供最大信息熵的特点,分析了高斯分布情况下
综合应用数据仓库技术和数据挖掘技术开发企业设备管理系统，提出了设备管理系统数据仓库的体系结构，比较了基于传统数据库和基于数据仓库决策分析的性能，详细地介绍了设备运行维
通过对家用洗涤剂和升汞设置不同的处理时间梯度,比较了家用洗涤剂和升汞作为消毒剂对小麦幼胚、幼穗组织培养效果的影响,结果表明,体积分数为10%的白猫洗涤剂消毒处理20 min
提出了一种由小波包构造一类向量小波的方法，设计了该类向量小波的预滤波器．应用该类向量小波去噪，实验结果表明，处理效果好于单小波和GHM向量小波．
利用公司金融期权博弈理论，讨论了有限到期日保险债券的价值，分析了公司最优资本结构；在破产首次到达时的概率分布已知时，获得了股东内生破产阈值和担保人最优保险费率的解析表达
为了定位一个常染色体显性遗传肢带型肌营养不良家系的致病基因(ADLGMD),采用13个荧光微卫星标记对收集到的一个包括4代33人的ADLGMD家系进行连锁分析,所选择的标记覆盖了3个
提出了一种采用软硬件协同工作,使用以太网作为数据传输媒介的方法构建通用的存储网络适配器,并通过SOC的方式在网络适配器端实现用户级轻量级通信协议VIA.这种存储网络适配