模型检查

模型检查技术资料下载专区，收录500份相关技术文档、开发源码、电路图纸等优质工程师资源，全部免费下载。

资源总数
500

模型检查 热门资料

查看全部 500 份 →

提出了一个适用于入侵检测系统的通用数据模型，并分析了该模型的存储结构及其在入侵检测领域中的应用。该模型用基特征和类特征的自然连接表示一类事件，采用二元存储结构，充分考虑到各类事件的共有特征和个

2024-03-26 2 模型检查

软件安全静态分析是检测软件安全漏洞的一种手段。本文在总结现有的软件安全静态分析方法的基础上，将在硬件设计领域得到成功应用的模型检验方法引入到软件产品的检验中，给出了一种基于自动机理论的检测软件

2024-05-04 4 模型检查

根据缓冲区溢出原理，提出一种基于可执行代码的缓冲区溢出检测模型，给出该模型的理论基础，描述模型构建的过程，提出新的缓冲区引用实例的识别方法。该模型将可执行代码反汇编为汇编代码，建立函数调用关系图和控制

2023-12-20 8 模型检查

网路监听是网路安全中一个比较敏感的话题，而在数据链路层的数据监听更是复杂多样。本文首先论述了ARP 协议的原理及其存在的漏洞，然后对网路监听的原理进行了深入的研究。针对目前的交换式以太网，设计

2023-12-30 2 模型检查