[网络攻防] 基于进程代数安全协议验证的研究综述

说明： 安全协议用于实现开放互联网络的通信安全， 进程代数是一类使用代数方法研究通信并发系统理论的 代数的安全协议验证是以进程代数作为安全协议描述语言的安全协议形式化验证方法 9描述了基于进 议验证研究的!种主要方法： 基于踪迹语义的方法； 基于互模拟验证的方法； 基于类型理论的方法； 基于 并给出了基于进程代数的安全协议验证进一步的研究方向
<xiexinqiang2009> 上传 | 大小：2mb

[系统安全] Windows优化大师V7.99 Build 9.1215

说明： Windows优化大师 1、紧急修正了在2010年1月1日-1月3日间由于时间判断不正确，无法运行优化大师的问题 2、开机速度优化模块的细小调整 3、系统安全优化模块的细小调整
<w81342057> 上传 | 大小：7mb

[网络攻防] 陷阱病毒源代码（JavaScript）编写

说明： 陷阱病毒代码，本内容仅供研究 切勿非法使用！非法使用引起的后果本人概不负责。
<tly145> 上传 | 大小：12kb

[网络攻防] 两个操作系统实验：存储管理、进程调度

说明： 本人亲自调过，绝无问题. 部分代码： #define max 7 #define m 4 #include #include using namespace std; struct table //定义页表 { int page; //页表项对应的页号 int sign; //页面否被调入主存的标志 int clock; //页面对应的主存块号 int mod_sign; //页面在主存中是否被修改过的标志 }pg[max]; int k=0; //指示当要装入新页时应调出的页在主存的位置 i
<hyu1989> 上传 | 大小：529kb

[网络攻防] eset4.0原版的不用重复激活的

说明： ESET安全套装 防火墙|防病毒|反间谍|反垃圾邮件 ESET NOD32安全套装4.0秉承了NOD32防病毒软件的完美技术，并融入防火墙和反垃圾邮件功能,防护更加全面。它采用的人工智能启发式技术，保障了对已知及未知威胁的强力查杀；ESET NOD32安全套装极低的资源占用、简易直观的用户界面、强大全面的安全防护功能将保护您和家人远离互联网威胁！
<asdf131800> 上传 | 大小：34mb

[网络攻防] JAVA根据ID查杀进程

说明： 这是本人做项目时的总结，JAVA是不能直接取得进程ID的，只能通过间接的方法得到启动进程的ID。 上传的类里有2个方法，一个是启动进程，另外一个是结束进程
<so185582> 上传 | 大小：2kb

[系统安全] 卡巴斯基kis授权文件

说明： 卡巴斯基kis7.0授权文件 O(∩_∩)O哈哈~
<wulix33> 上传 | 大小：4kb

[网络攻防] rm格式网马植入工具

说明： 放心无毒.纯绿色.无插件 有时一些播放文件会弹出点网页广告;很是恶心 不过原理就是这样, .
<wszyb12345haha> 上传 | 大小：7mb

[网络攻防] 文件属性更改器（包括文件的任何属性）

说明： 可以更改任何文件的属性，包括文件的实践，隐藏，作者，更改时间等，对于被病毒改成隐藏的文件很有用
<nawat3> 上传 | 大小：517kb

[网络攻防] 解决局域网共享的一组批处理工具

说明： 原系统的局域网设置条目很多，对此不太熟悉的用户，可能搞得焦头烂额也未能搞定局域网互访。本系统特意编写了批处理，可以轻易地打开（或关闭）局域网互访。 本系统刚装好的时候，安全性是比较高的，单机拨号上网的用户，可得到最大程度的保护。此时局域网不通，不能被其它机访问。 多机上网的场合，局域网互访功能是必要的。多机上网一般是用路由器，此时电脑没有暴露在外网，常用的IPC$入侵方式对路由器无效。此时请运行“开通局域网共享”的批处理，一招解决问题。
<jxxxlw> 上传 | 大小：10kb

[系统安全] 瑞星全能版无用户名版

说明： 瑞星全能版无用户名版瑞星全能版无用户名版瑞星全能版无用户名版瑞星全能版无用户名版瑞星全能版无用户名版瑞星全能版无用户名版
<chenmaolong034> 上传 | 大小：291kb

[网络攻防] linux下进程通信 和 生产者消费者c程序代码

说明： linux下进程通信 和 生产者消费者c程序代码
<xinghun_4> 上传 | 大小：2kb