论文部分内容阅读
综合Kailar逻辑和SVO逻辑两种协议分析方法的优点，借助SVO逻辑的思想对Kailar逻辑进行了改进，使其更好地应用于不可否认协议的可追究性分析和设计。同时，将改进后的Kailar逻辑应用在类NG协议的分析中，分析结果证明了该协议可追究方面的安全性质。
Kailar逻辑的改进及应用
【摘 要】
：
综合Kailar逻辑和SVO逻辑两种协议分析方法的优点，借助SVO逻辑的思想对Kailar逻辑进行了改进，使其更好地应用于不可否认协议的可追究性分析和设计。同时，将改进后的Kailar逻辑应
【机 构】
：
湖北师范学院数学与统计学院,湖北师范学院计算机科学与技术学院
【出 处】
：
微型机与应用
【发表日期】
：
2012年3期
其他文献
2013年12月17日，致力于亚太地区市场的领先电子元器件分销商--大联大控股宣布，其旗下富威集团推出基于瑞昱（ Realtek ）半导体 RTL8881AM 的802.11ac 10/100无线局域网络便携式路
期刊
超低功耗（ULP）RF专家NordicSemiconductorASA（OSE：NOD）近日宣布，获奖的PC巨头——Lenov0Group推出业界首款双操作模式蓝牙v4．0和专属2．4GHz的无线鼠标。该产品采用一颗Nordic业界领先
目的:在外周血游离DNA中筛选肝癌特异的甲基化谱。方法:收集55例肝癌和54例慢性肝病患者血浆标本,应用甲基化特异性PCR方法检测血浆游离DNA的12个抑癌基因甲基化状态。结果:
提出了一种基于P2DR3改进的E—P2DR3F安全防御模型，该模型在传统的P2DR3安全模型的基础之上增加了报告模块、数据融合模块，从而使系统安全性与检测维护功能更加完善；其次添加了
随着新课改的提出,对学生核心素养的培养越来越重视,落实核心素养的培养对学生的进一步发展具有重大作用。初中历史作为我国素质教育的重要组成部分,基于核心素养培养的需要,
设计了一种基于FPGA的超声波测距模块。在时序和信号处理方面,采用Cyclone Ⅱ系列EP2C5T144C8芯片,通过设计时序发生器、高速计数、回波识别和可变门槛控制等逻辑电路模块可快速有序地对信号进行处理。在声速方面,加入了温度补偿模块,避免使用固定的声速值所引入的偏差,从而提高系统精度。该系统具有可靠性高、集成度高和响应速度快等特点,实验表明,在距障碍物600mm～3600mm时,相对误差在
仿生理念不仅能保证结构设计的安全性和合理性,还能实现美学价值的突破。阐述了仿生学理念及其与桥梁设计的结合,分别从形态、结构和意象的宏观仿生,以及材料、功能机理和神
2524铝合金是在2024铝合金的基础上经过减少杂质含量而发展成的,其拥有优良的断裂韧性、抗疲劳性能和抗应力腐蚀等优点。2524铝合金在1995研制成功。该合金是一种新的飞机蒙
《时代》（2019.4.24） 2019年度人物 今年是《时代》进行“年度百人”评选的第16年，今年1月重返美国参议院议长之位的南希·佩洛西、再夺美国大师赛冠军的“老虎”伍兹、凭借《殺死伊芙》而在去年大热的亚裔演员吴珊卓、施瓦辛格之后美国电影中的另一位硬汉形象巨石强森等百位艺人、运动员、政治家、企业家成为今年的“年度人物”。
近几年,伴随着经济的发展和社会的进步,相关部门要结合服务供应链的基本特征,从预测管控机制出发,对资源规划和预约能力予以管理,实现供应运营管理工作的全面优化。本文对服