为解决现有协议建模方法验证困难及测试序列生成算法复杂度高和测试序列长的问题,提出了一种基于行为树(BT)的协议描述新方法。采用行为树模型对协议的控制流程进行建模,提出了基于行为树描述的协议验证方法,并
对水印攻击的鲁棒性是数字水印技术的基本要求,许多算法均称对各种常用变换具有很高的鲁棒性,相对地,为了验证水印算法的鲁棒性,人们提出了许多水印攻击技术。对基于图像的数字水印攻击技术进行了详尽的概括总结,
基于SDN的DDoS攻击检测技术的研究,赵智勇,辛阳,软件定义网络(SDN)是一种新型的网络架构,核心优点是转发与控制相分离,并且用户可以自定义控制器。分布式拒绝服务攻击(DDoS)��
最小生成树的最短楼经 最小生成树的最短路径
提出一种基于SIFT和伪Zernike矩归一化的抗几何攻击水印方案。首先用SIFT方法提取载体图像的特征点,筛选得到关键点。然后在关键点确定载体图像的方形子区域嵌入水印。嵌入时计算方形子区域的伪Zer
可扩展网络攻击图生成系统,张成,,在学习网络安全评估的基础上提出了一种网络安全分析模型,该模型由主机上的软件漏洞信息,主机的配置信息,主机连接关系列表,角
针对攻击分类研究发展的局限性,提出用多视图的方法构建以attack view、defense view和third-party view三个视图为主体结构的由四个层次组成的攻击分类体系。通过对攻击分类
针对Luffa杂凑函数抗旋转攻击的能力进行了研究, 通过分析Luffa置换的特点, 定义了针对Luffa置换的旋转对, 给出了基本字变换对旋转关系的影响, 证明了“与”和“或”运算对旋转关系影响的等效
通过深入分析邻居发现协议运行机制,指出了链路可信这个默认前提是导致ND(neighbor discovery)存在安全缺陷的根本原因;随后具体分析了基于ND安全缺陷各种DoS攻击方法,并对ND的安全防
基于SPI的网络攻击与防范,赵树升,,SPI技术可能被用作网络攻击,例如进行网络嗅探、设置木马和Web欺骗。这些攻击程序以动态连接库文件形式存在,具有更强的隐蔽性。揭