[系统安全] 一种安全软件安全性评估的模糊模型

说明： 提出了一种安全软件安全性评估的模糊模型，利用软件测试过程中的客观危险失效的主观评价进行模糊推理。
<greatspider> 上传 | 大小：176kb

[系统安全] 形式化故障树分析建模和软件安全性测试

说明： 阐述了安全性需求的形式化故障树表示技术 ,给出了一种基于形式化故障树最小割集的动态扩展安全性测试用例结构 ,并对满足安全性需求覆盖准则的测试用例自动生成算法进行了讨论.
<greatspider> 上传 | 大小：161kb

[系统安全] 软件安全性的静态分析

说明： 提出了基于整数区间和控制依赖图，通过静态分析来检测 C语言源代码中安全漏洞的新方法。该方法在引入整数区间概念及其运算规则。
<greatspider> 上传 | 大小：129kb

[系统安全] 改进的J-M 模型及其在软件安全性评估中的应用

说明： 分析了软件可靠性和安全性之间的关系; 针对安全软件测试剖面和操作剖面有不同的故障检测率, 以及软件故障剔除时有引入新故障的可能。
<greatspider> 上传 | 大小：475kb

[系统安全] 冰刃iceSword

说明： 这是一斩断黑手的利刃, 它适用于Windows 2000/XP/2003 操作系统, 其内部功能是十分强大, 用于查探系统中的幕后黑手-*后门, 并作出处理. 可能您也用过很多类似功能的软件, 比如一些进程工具、端口工具, 但是现在的系统级后门功能越来越强, 一般都可轻而易举地隐藏进程、端口、注册表、文件信息, 一般的工具根本无法发现这些 "幕后黑手" . IceSword 使用了大量新颖的内核技术, 使得这些后门躲无所躲. 当然使用它需要用户有一些操作系统的知识. 使用前请详细阅读说明.
<ayy_1> 上传 | 大小：2mb

[系统安全] BDBZM文件分割

说明： 文件分割文件分割文件分割文件分割文件分割文件分割
<PLYZWYC> 上传 | 大小：1mb

[系统安全] ROOTKITS—Windows内核的安全防护 随书代码

说明： ROOTKITS—Windows内核的安全防护 随书完整代码，有进程隐藏之类的知识。
<haohaozhanghao> 上传 | 大小：502kb

[系统安全] PCI60806A芯片驱动 并口/串口卡驱动

说明： PCI60806A芯片驱动 并口/串口卡驱动
<cdyesh> 上传 | 大小：95kb

[系统安全] 右击菜单修改方法

说明： 右击快捷菜单的修改方法，供广大机油参考，你还在记那些麻烦的快捷键吗？右击就搞定，大家还等什么
<xanxus46> 上传 | 大小：1kb

[系统安全] Unlocker 1.9.1 (32λ) 绿化版

说明： Unlocker 解锁 删除文件很方便
<jerryxu08> 上传 | 大小：53kb

[系统安全] IDA逆向分析.pdf

说明： IDA逆向分析.pdf IDA逆向分析.pdf IDA逆向分析.pdf
<ithzhang> 上传 | 大小：363kb

[系统安全] 不破坏XP原有的密码登陆系统

说明： 不破坏XP原有的密码登陆系统 不破坏XP原有的密码登陆系统
<vzcb2632> 上传 | 大小：971byte