【摘 要】
：
安全协议的关联语义是刻画协议的核心性质,针对密钥交换协议关联特性,从分析主体认证关联语义、会话密钥关联语义、消息步骤间关联语义、消息内部关联语义和条件关联语义等方
【机 构】
：
江西省数值模拟与仿真技术重点实验室,赣南师范大学数学与计算机科学学院
论文部分内容阅读
安全协议的关联语义是刻画协议的核心性质,针对密钥交换协议关联特性,从分析主体认证关联语义、会话密钥关联语义、消息步骤间关联语义、消息内部关联语义和条件关联语义等方面来描述协议的内在语义,设计了基于关联语义密钥交换协议的分析模型及算法.对Ban-Yahalom Protocol协议进行了分析,指出该协议存在冒充第三方S生成会话密钥的安全隐患,但却未泄漏协议会话密钥.从实验结果来看,该分析方法对密钥交换协议进行关联语义验证分析是行之有效的.
其他文献
如果IT部门中不存在安全文化,那么在企业中建立安全文化是不可能的。IT部门应该具有广泛而显著的安全文化,可以作为企业所有其他部门的示例。大多数公司都认为,企业IT部门或
应用三坐标测量机对螺旋曲面进行数字化测量 ,提出了区别于传统自由曲面测量的针对螺旋曲面数字化测量的简化方法 ,同时提出了测量数据处理的方法 .并通过测量实例证明了该技术的有效性
在过去的2018年里,我们看到了各种威胁,特别是在欧洲。虽然欧洲继续在有组织的网络犯罪集团和网络间谍团体的有针对性攻击中挣扎,但我们观察到的另一个威胁是,几乎每个行业都
设M为de Sitter 空间S2+pp(1)中具有非负常曲率和平行平均曲率向量的完备类空曲面,则它与S31(1)中的球面、欧氏平面、双曲柱面等距.
对车铣技术进行了简要的介绍，给出了正交车铣的运动模型，分析了正交车铣中的几个重要参数在正交车铣加要中的作用，重点研究了偏心对正交车铣的影响。
中国法制文学与美国法律学者主导的＂法律与文学运动＂有异有同。中国法制文学研究早期主要在文学圈中,逐渐有法学家介入,主要从文学的视角对中国先秦至今的文学作品进行主题与类
首次提出一种插入式超声波流速／流量测量装置，它适合于大管径下气体介质的测量。建立在ＲＩＴＴＤ方法的基础之上，所设计系统主要由Ｉｎｔｅｌ８０９８微处理器，逻辑控制电路，计时计数器，传感器，驱动及接收电路等
已知曲柄滑块机构的行程速比变化系数Ｋ，滑块行程Ｈ的条件下，用一维搜索的方法，给出的最小传动角为最大值的优化设计方案。
中药分类是中药研究中的一个热门前沿课题,传统的系统聚类分析法和成分数据分析都是数据分析的重要方法.本文简要介绍了基于成分数据分析的系统聚类分析法在中药计算机模式识别中的应用,实验表明该法在中药计算机模式识别方面有着很好的识别效果.
做PPT少不了下载图片，大多数人都是通过搜索引擎下载，一来质量难以保证，二来也容易引发版权纠纷。其实在PowerPoint中有一项小功能，可以快速帮我们解决图片美化的问题，这就是———应用商店。 应用商店 在Office 2013及更新版本中，可以通過“插入”标签，看到一项名为“加载项”的小模块，这就是“应用商店”的入口。和Win10里的应用商店不同，Office应用商店专门是为办公设计，因此