smartkid网络安全检测工具
smartkid网络安全检测工具,系统安全工具。 C源码。...
smartkid网络安全检测工具,系统安全工具。 C源码。...
银行家算法检测安全序列,包括已分配资源矩阵,最大需求矩阵...
网络安全入侵检测系统原码,支持Unix、Linux、Windows、等。...
目前安全事件知识表达各异,严重影响了安全事件的知识共享及检测。本文应用本体论,从时间、空间、功能三个不同维度对安全事件的要素以及安全事件特征、关系进行分析,建立了安全事件本体,并实现了安全事件...
软件安全漏洞问题日益严重,静态漏洞检测提供从软件结构和代码中寻找漏洞的方法。该文研究软件漏洞静态检测的两个主要方面:静态分析和程序验证,重点分析词法分析、规则检查、类型推导、模型检测、定理证明和符号执...