模型检查
模型检查技术资料下载专区，收录500份相关技术文档、开发源码、电路图纸等优质工程师资源，全部免费下载。
资源总数
500
模型检查 热门资料
查看全部 500 份 →基于中间汇编的缓冲区溢出检测模型
提出一种基于中间汇编的缓冲区溢出检测模型，用于对可执行代码进行静态分析和检测。采用中间汇编形式可以使算法对硬件平台透明，增强代码可阅读性，有利于对缓冲区溢出的检测。针对不安全函数调用和写内存循环2 种
2024-01-14
1
MANET中基于簇的多层协同入侵检测模型
本文针对MANET 中现有的通用IDS 模型存在消耗太多的计算和带宽资源、容易受到DOS 和欺骗攻击以及准确性较低等不足，提出了改进的基于簇的多层协同入侵检测模型。该模型具有较好的扩展性、灵活性和准确
2023-12-22
1
典型的开发模型有：①瀑布模型(waterfall model)；②渐增模型/演化/迭代(incremental model)；③原型模型(prototype model)；④螺旋模型(spiral m
典型的开发模型有：①瀑布模型(waterfall model)；②渐增模型/演化/迭代(incremental model)；③原型模型(prototype model)；④螺旋模型(spiral model)；⑤喷泉模型(fountain...
2013-12-17
167