一种改进的Woo-Lam密码协议模型

来源 :计算机应用 | 被引量 : 0次 | 上传用户:jcfasd123
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
提出了一种改进的W oo-Lam密码协议模型,即eW oo-Lam模型。与W oo-Lam模型相比,新模型具有以下特点:增强了模型中关于密码学原语操作的描述语法,使得对密码协议主体行为的描述更加精确,提高了模型在检测协议攻击方面的能力;引入了匹配运算机制,保障了模型安全性证明的有效性;提出了七条形式化准则,规范了模型的抽象过程;扩充了模型基于状态迁移的形式语义,使其更加精确合理;重新给出了模型安全性的形式定义,使其更具一般性。
其他文献
针对Hughes Diffie-Hellman的改进方法中存在的k_2~(-1)表述不详细的问题,进行了深入的分析和证明,同时与Oakley算法相结合来增强其安全性,从而使Diffie-Hellman协议更加完整、应用更加广泛。
以属性在区分矩阵中出现的频率作为启发,对HORAFA算法做了一些改进。它是以核为基础,加入属性重要性最大的属性,直到不能再加。为了能找到信息系统的最优约简,在此基础上加了一个反向消除过程,直到不能再删为止。最后通过一个实例完整演示了本方法,证实其有效性。
8月9日至13日,台湾知名农机企业台北市丰兆集团在海峡两岸(广西玉林)农业合作试验区玉林市玉东新区举办了施药机械展示。展销会上,丰兆集团给与会人员现场展示了FJ—321型自走式
<正>本刊讯9月17日,来自全省18个省辖市审计局、10个省直管试点县(市)审计局以及4个特邀县审计局的70多位审计系统代表齐聚郑州豫棉宾馆,总结我省2013年审计通联宣传工作,表
有这样一位“倒霉的英雄”:1965年1月,在澳大利亚他创造了男子5000米长跑世界纪录;2月在新西兰打破自己创下的纪录,将这项纪录缩短了8秒——13分25.8秒。1966年7月,在白城他
在分析三次Bezier曲线原理的基础上,提出了采用时间分割法对其进行插补的算法及误差分析.实例表明,该方法简化了通常曲线插补过程中的繁琐计算,提高了Bezier曲线的插补速度,也保证
我的高考成绩不够理想,一度考虑要不要复读。我向堂姐征求意见,堂姐告诉我“早一年毕业,就能早一年接触社会,二本也不错”。再加上受整个村里氛围的影响,我决定好好填一个能
光照水电站碾压混凝土重力坝,坝高200.5m。碾压混凝土本体及层面抗剪断性能是评价坝体稳定性的关键。在现场碾压试验的试验块上,对不同工况条件下碾压混凝土层面抗剪断参数进
针对机器人非视觉多传感器目标识别问题,提出了一种新的融合方法。该方法基于区间型多属性决策理论,通过求解目标类型与未知目标综合关联度的最大偏差最小化的优化问题,获得属性的权重向量,利用综合关联度,给出目标识别结果。该方法较好地避免了属性权重选取的主观性,提高了目标识别结果的客观性,计算简单,易于计算机上实现,仿真实例表明了方法的有效性和实用性。
将U型垂直埋管地源热泵系统的稳态温度场分布归结为不同深度地层中分片常系数不连续介质的混合边值问题,应用基于边界元的非重叠型区域分解法把计算区域分解成2个子区域进行并