【摘 要】
：
针对认证测试基础理论在协议主体串参数一致性分析方面,因形式化判定规则不足所产生的分析复杂度较高和自动化程度较低问题,通过对消息组件结构的形式化,以及认证测试结构的
【机 构】
：
淮北师范大学计算机科学与技术学院,淮北师范大学数学科学学院
【基金项目】
：
安徽高校省级自然科学研究重点项目（No.KJ2014A231,No.KJ2014A220）
论文部分内容阅读
针对认证测试基础理论在协议主体串参数一致性分析方面,因形式化判定规则不足所产生的分析复杂度较高和自动化程度较低问题,通过对消息组件结构的形式化,以及认证测试结构的共性分析,基于认证测试基础理论对认证测试结构进行形式化建模;在认证测试结构模型上,运用协议主体密钥的认证测试构造规则,分析协议主体串在不同类型参数上满足一致性的条件,在明确参数一致性判定规则的同时,给出协议主体串参数一致性分析的形式化方法。协议分析实践表明,该方法较传统方法不仅具有简洁高效、易于自动化实现的优点,而且能够准确定位协议缺陷并给出相应
其他文献
高考试题大都蕴含着丰富的内涵,如果充分挖掘其潜在的功能,将所学知识进行灵活运用,并开拓思路,揭示问题的本质,沟通知识的内在联系,可提高我们解决问题的能力.
在高中数学中,三角函数是需要学生重点学习和掌握的内容,也是高考必考点.三角函数问题在考试中虽然难度不大,但题型多样,延伸内容丰富,学生在学习中难免会遇到瓶颈.因此,学生
数学核心素养包括数学抽象、逻辑推理、数学建模、数学运算、直观想象、数据分析等6个方面.不等式是高中数学的重要内容,其中蕴含着丰富的数学思想.本文将不等式中涉及的数学
社交网络经常通过掌握的用户信息来对其进行好友推荐。这种好友推荐带来了技术挑战,现有的好友推荐技术并不能有效解决该问题。为了应对这种技术挑战,拟提出基于分类属性的好
力学是高中物理最重要的组成部分，贯穿于整个高中物理教学过程，物体运动状态的判断、动量和功率、电磁学等部分内容，都离不开对物体的受力分析．力学是整个高中物理学习的基础和核
数形结合法是解答数学试题的重要方法之一,通过图形可直观看出参数及参数间的关系,明显提升解题效率.高中数学知识点多,题型多变,尤其是创新题型,不少学生找不到解题方法.事
为解决列车高速运行时,出现的蛇行失稳故障难以被准确识别的问题,提出一种基于集合经验模态分解 （ensemble empirical mode decomposition, EEMD）摘特征和最小二乘法支持向量