漏洞演示系统DVWA攻略

漏洞演示系统DVWA攻略

BurpSuite爆破密码

BurpSuite爆破密码的基础教程,适合新手入门。

Professional Penetration Testing- Creating and Operating a Formal Hacking Lab

精通渗透Professional Penetration Testing- Creating and Operating a Formal Hacking Lab

swf——flash制作工具

swf，非常实用的小型flash软件，可用于简单的网页制作

Spin工具应用

Spin工具应用，一种基于spin的自动柜员机的模型检测

信息安全 周学广

信息安全学(第二版)(周学广-机械工业出版社

web服务形式化验证

web服务形式化验证,将Web服务组合建模为多智能体系统，采用时态知识逻辑模型检测工具MCTK刻画贷款协议Web服务实例，并验证相关的时态知识规范。在同一实验环境下，采用另一种时态知识逻辑模型检测工具MCMAS进行建模，并验证该实例。实验结果表明，基于MCTK的Web服务模型检测方法比基于MCMAS的方法更有效。