论文部分内容阅读
认证协议的形式化描述及其安全性分析是安全协议形式化分析的关键问题之一.为了解决以往分析方法中协议规范形式化描述存在的问题,提出了一种协议规范有向图描述方法,并在此基础上提出了协议消息构造的逆向搜索算法.用该算法分析Woo-Lam认证协议,找到了该协议一种新的攻击方法及其攻击路径.
认证协议的有向图模型及其安全性分析
【摘 要】
：
认证协议的形式化描述及其安全性分析是安全协议形式化分析的关键问题之一.为了解决以往分析方法中协议规范形式化描述存在的问题,提出了一种协议规范有向图描述方法,并在此
【机 构】
：
电子科技大学计算机科学与工程学院,重庆通信学院三系数据链教研室
【出 处】
：
小型微型计算机系统
【发表日期】
：
2008年4期
其他文献
传统的移动通信卫星在通信过程中仅作为信息中转站,并不具备数据处理能力,并且传统卫星网络具有传播时延大,频谱带宽资源昂贵等缺点,无法满足时延敏感型业务的发展。为解决移
目的探讨妇科腹腔镜全麻术后病人撤除喉罩的护理。方法对138例用喉罩行腹腔镜下妇科手术的患者进入复苏室后进行生命体征（心率、血压、脉搏氧饱和度）监测，记录和统计恶心、呕吐
目的总结门诊注射室常见晕厥的原因、预防及急救措施。方法收集2006年1月1日～2007年5月30日在我院门诊注射室肌肉注射时发生晕厥的38例患者，分析发生晕厥的原因，探讨其救护及预
目的探讨非特异性基质金属蛋白酶(MMPS)抑制剂多西环素在不稳定性心绞痛(UAP)中的斑块稳定作用以及对心绞痛的发生频率、心血管事件发生率的影响。方法随机选择两组UAP患者,
网格市场中可能会存在欺诈节点和自私节点,它们或破坏系统的正常运行,或只消费资源而不提供服务,严重影响了网格市场的正常交易秩序.提出基于信任团体的资源分配机制,源节点
目的是延长动-静脉内瘘的使用寿命。方法将80例的血液透析患者加强透析日和非透析日护理。结果动-静脉内瘘栓塞减少，使用寿命均达3～5年。结论做好护理，提高自我护理能力，减少并发
逻辑学是一门思维科学,它的研究对象是人的思维形式及规律.逻辑作为一门学科,主要有三个分支：形式逻辑、数理逻辑和辩证逻辑.趣味逻辑是一种形式逻辑,它从概念、命题、推理、
目的通过对91例非小细胞肺癌(non-small-cell lung cancer,NSCLC)患者正电子发射计算机断层显像(positron-emission tomography/computed tomography,PET/CT)数据分析,探讨(1
近年来,以超级储能系统和纯电动汽车为代表的新能源领域快速崛起,该领域包括对电池管理系统(Battery Management System,BMS)技术在内的研究。在BMS中电池荷电状态(State Of Charge,SOC)和健康状态(State Of Health,SOH)预测是其核心功能之一,有效的SOC和SOH预测可以优化设备的能量管理、提高能量利用效率、延长电池的使用寿命,因此开展对锂