单听九条的博客

  • 博客(0)
  • 资源 (7)

空空如也

漏洞演示系统DVWA攻略
漏洞演示系统DVWA攻略

2016-04-14

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

2015-12-04

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

2014-07-23

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

2013-07-25

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

2013-07-20

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

2013-07-20

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

2013-07-20

空空如也

TA创建的收藏夹 TA关注的收藏夹

TA关注的人

提示
确定要删除当前文章？
取消 删除