【摘 要】
：
基于完美加密机制前提及D-Y攻击者模型,指出注入攻击是协议攻击者实现攻击目标的必要手段。分析了注入攻击及其形成的攻击序列的性质,并基于此提出了搜索攻击序列的算法,基于
【机 构】
：
南京大学计算机软件新技术国家重点实验室
论文部分内容阅读
基于完美加密机制前提及D-Y攻击者模型,指出注入攻击是协议攻击者实现攻击目标的必要手段。分析了注入攻击及其形成的攻击序列的性质,并基于此提出了搜索攻击序列的算法,基于该算法实现了对安全协议的验证。提出和证明了该方法对于规则安全协议的搜索是可终止的,并通过实验实现了NS公钥协议的验证。实验结果表明,与OFMC等同类安全协议验证工具相比,该算法不仅能实现安全协议验证自动化,而且由于规则安全协议验证的可终止性,使得本算法更具实用性。
其他文献
随着我国经济的飞速发展,使得企业的党政工作得到了很好的发展机会,通过进行党政工作,对与社会的和谐发展和建设现代化的文化都有很大的价值,进而可以更快地实现我国的伟大复
道路的检测与识别是自主导航车辆视觉感知研究的重要问题之一。在阴影、光照不均匀、边缘信息模糊等情况下,道路的识别与环境的理解变得尤为困难。为了提高道路识别中抗干扰和鲁棒性能力,提出了一种基于视觉动态模型的道路检测算法。该算法利用计算机视觉方法对摄像机观测系统进行建模,引入了直线变形模型描述道路环境的几何结构。基于道路图像的连续性建立对车辆运动状态的动态预测模型,并利用粒子滤波算法对状态模型参数进行预
2009年11月25日，花旗银行（中国）有限公司（以下简称花旗中国）上海新天地支行正式开业，宣告国内首家高科技、环保型服务网点正式诞生，给客户带来目前国内零售银行业全新的服务体验，为中
基于粒子系统模型的基本思想，即个体行为受群体行为控制的模式作为所研究问题的切入点，提出了一种模拟“竹”群分布形态的仿真算法。对原有粒子系统模型的随机分布算法进行了改
针对温度、湿度传感器在测量系统中相互干扰所导致的测量误差问题,提出了基于二次曲面拟合理论的数据处理模型,实验以温湿度集成传感器为例,采用传感器标定系统对二维传感器进行多点温度、湿度标定,基于二次曲面拟合方程对数据进行处理,结果表明:该方法有效地提高了温度、湿度传感器的测量精度,具有很高的实用价值。
【摘 要】本文从教学目标、教学大纲、教学方法和教学内容等方面对经济法“课程思政”进行设计与规划，并提出遵循思政工作规律、教书育人规律和学生成长规律，结合经济法课程特性找到切合实际的思政新方法、新路径，提高授课教师“课程思政”意识、素质与能力等经济法“课程思政”的实施策略。 【关键词】经济法 课程思政 思政理论课 设计 实施 【中图分类号】G 【文献标识码】A 【文章编号】0450-9889（
提出了一种新颖的“推-拉”接力运动原理，并将其应用于纳米级步距压电微动台的设计中。该原理变传统的单驱动器结构为双驱动器结构，避免了运动过程中的悬空状态，配以适当的四路
珠江口盆地位于太平洋俯冲的东部动力系统、印度-澳大利亚板块与欧亚碰撞或新特提斯洋俯冲的西部动力系统相互作用的中间地带,因此其构造成因及南海海盆打开机制一直存在争论
幼儿作为祖国的明天应当拥有健康的体魄,这是实现中国梦的有力抓手,所以我国教育部在《幼儿园教育指导纲要》及《3-6岁儿童学习与发展指南》中指出,幼儿的学习活动主要分为五
主要目的是利用K-泛函来研究Bernstein-Durrmeyer型算子的Stechkin-Marchaud型不等式,由此不等式,我们推广了B-D算子关于ω2λφ(f,t)的逆结果.