首页
课程
问答
CTF
社区
招聘
峰会
发现
排行榜
知识库
工具下载
看雪20年
看雪商城
证书查询
登录
注册
首页
社区
课程
招聘
发现
问答
CTF
排行榜
知识库
工具下载
峰会
看雪商城
证书查询
社区
密码应用
发新帖
2
0
[求助]哪里有安全协议形式化分析工具,最好是WINDOWS能用的
发表于: 2011-12-13 18:09
5042
[求助]哪里有安全协议形式化分析工具,最好是WINDOWS能用的
lilianjie
1
2011-12-13 18:09
5042
看书上列了:NRL /AAPA1/AAPA2/PDL/COSEC/SPEAR,可没搜到有能下的。。。
看这界面,挺强大:
47eK9s2c8@1M7q4)9K6b7g2)9J5c8W2)9J5c8X3c8A6L8h3q4U0M7#2)9J5k6i4u0#2N6r3N6W2M7Y4y4Q4x3X3g2W2k6s2g2Q4x3V1k6i4L8%4u0C8M7$3S2G2M7s2y4Q4x3V1k6e0k6h3y4#2M7X3W2@1P5g2)9J5c8Y4m8J5L8$3N6J5j5h3@1J5i4K6u0r3K9s2g2@1j5$3S2Q4x3V1k6K6M7r3g2S2M7W2)9J5k6h3S2@1L8h3H3`.
505K9s2c8@1M7q4)9K6b7g2)9J5c8W2)9J5c8Y4N6%4N6#2)9J5k6h3y4K6k6g2)9J5k6h3#2K6N6g2)9J5k6h3g2V1N6g2)9J5c8W2)9%4c8h3y4K6k6e0V1I4y4q4)9J5c8V1j5H3x3W2)9J5c8W2m8#2j5X3I4A6j5#2)9J5c8V1#2A6L8X3W2f1N6i4c8G2M7X3W2S2L8s2y4Q4x3V1k6z5f1V1I4b7M7X3!0@1i4K6u0r3L8Y4u0D9i4K6u0V1M7s2u0G2N6q4)9J5k6r3q4F1j5h3I4&6P5X3g2J5i4K6u0W2M7r3c8X3
abeK9s2c8@1M7q4)9K6b7g2)9J5c8W2)9J5c8X3W2W2k6h3g2^5M7r3I4G2M7X3g2Q4x3X3g2A6k6h3g2W2i4K6u0W2L8%4u0Y4i4K6u0r3M7%4c8S2L8i4m8Q4x3V1k6K6N6r3q4E0M7q4)9J5k6h3A6K6M7q4)9K6c8Y4c8H3i4K6y4p5i4K6t1$3j5i4u0F1N6h3#2T1k6i4u0Q4x3@1b7%4y4e0j5%4y4e0y4Q4x3U0k6@1j5h3N6Q4x3@1b7I4
91cK9s2c8@1M7q4)9K6b7g2)9J5c8W2)9J5c8Y4m8W2L8%4m8D9k6g2)9J5k6h3g2E0K9h3y4Z5i4K6u0W2k6h3c8#2i4K6u0r3M7s2y4@1k6i4m8Z5k6h3&6Q4x3V1k6G2N6r3S2W2M7W2)9#2k6Y4m8S2M7r3g2J5M7#2)9J5c8V1&6d9e0q4)9J5y4e0t1H3f1s2u0G2N6r3!0U0L8$3I4Q4x3U0f1J5x3p5q4F1j5h3I4&6P5X3g2J5i4K6u0W2M7r3c8X3
240K9s2c8@1M7q4)9K6b7g2)9J5c8W2)9J5c8Y4N6%4N6#2)9J5k6i4y4H3M7X3W2F1k6$3g2J5L8r3W2F1K9#2)9J5k6h3y4G2L8g2)9J5c8X3y4G2L8Y4c8W2L8Y4c8Q4x3V1k6V1y4o6S2^5P5i4W2T1x3$3u0D9K9r3g2$3M7r3g2W2i4K6u0r3k6Y4g2D9L8s2c8W2P5s2c8Q4x3X3g2H3k6r3j5`.
1cfK9s2c8@1M7q4)9K6b7g2)9J5c8W2)9J5c8Y4N6%4N6#2)9J5k6i4g2K6M7%4u0T1j5h3y4C8i4K6u0W2j5$3!0E0i4K6u0r3j5%4u0&6M7s2c8G2M7r3q4H3k6i4u0K6i4K6u0r3x3e0V1&6z5g2)9J5c8Y4N6%4N6#2)9J5k6h3W2@1k6q4)9J5k6h3&6J5L8q4)9J5k6h3&6S2N6Y4W2Q4x3X3g2E0K9h3I4Q4x3V1k6u0g2p5c8Q4x3V1j5#2y4e0b7H3i4K6u0r3M7s2g2T1L8r3W2U0j5i4c8A6L8$3&6K6i4K6u0r3b7@1S2m8b7#2y4Q4x3V1j5I4z5e0V1&6i4K6u0r3x3e0V1&6z5h3#2W2j5h3c8G2N6%4y4Q4x3X3c8u0c8f1g2q4z5e0W2Q4x3X3g2H3k6r3j5`.
c0eK9s2c8@1M7q4)9K6b7g2)9J5c8W2)9J5c8Y4N6%4N6#2)9J5k6i4y4H3M7X3W2F1k6$3g2J5L8r3W2F1K9#2)9J5k6h3y4G2L8g2)9J5c8X3y4G2L8Y4c8W2L8Y4c8Q4x3V1k6V1y4o6S2^5P5i4W2T1x3$3u0D9K9r3g2$3M7r3g2W2i4K6u0r3
[培训]内核驱动高级班,冲击BAT一流互联网大厂工作,每周日13:00-18:00直播授课
上传的附件:
img4.gif
(21.90kb,74次下载)
收藏
・
2
免费
・
0
支持
分享
分享到微信
分享到QQ
分享到微博
赞赏记录
参与人
雪币
留言
时间
查看更多
赞赏
×
1 雪花
5 雪花
10 雪花
20 雪花
50 雪花
80 雪花
100 雪花
150 雪花
200 雪花
支付方式:
微信支付
赞赏留言:
快捷留言
感谢分享~
精品文章~
原创内容~
精彩转帖~
助人为乐~
感谢分享~
最新回复
(
3
)
Fido
雪 币:
107
活跃值:
(429)
能力值:
( LV2,RANK:10 )
在线值:
发帖
4
回帖
1019
粉丝
2
关注
私信
Fido
2
楼
东西看起来有点猛....
主要是用来干嘛滴???
2011-12-13 21:52
0
没有姓名
雪 币:
67
活跃值:
(30)
能力值:
( LV2,RANK:10 )
在线值:
发帖
8
回帖
227
粉丝
0
关注
私信
没有姓名
3
楼
同好奇需要,找到麻烦更新一下。
2011-12-13 21:56
0
lilianjie
雪 币:
433
活跃值:
(45)
能力值:
( LV4,RANK:50 )
在线值:
发帖
141
回帖
549
粉丝
1
关注
私信
lilianjie
1
4
楼
浅见:
大致就是WSHARK里只分析协议的各单元逻缉关系是不是没漏洞的工具,都是逻缉符号,看起来难,协议其实没多少数学,偏逻缉,不过这种工具数学逻缉应该都强,要不怎能找安全协议漏洞。。。
2011-12-14 12:54
0
游客
登录
|
注册
方可回帖
回帖
表情
雪币赚取及消费
高级回复
返回
lilianjie
1
141
发帖
549
回帖
50
RANK
关注
私信
他的文章
[推荐]FPAG+RSA/ECC的新书
5049
[注意]最新HASH SHA3公布
5068
[转帖]美军网络司令部的徽章
6504
[讨论]国内最快最安全电脑天河麒麟操作系统
4582
[推荐]17173也被盗了。。。
3218
关于我们
联系我们
企业服务
看雪公众号
专注于PC、移动、智能设备安全研究及逆向工程的开发者社区
谁下载
×
FishSeeWater
失落侠客
b23526
linwenfigo
RuShi
asd
爱上学习
tangchaogg
Netangle
loqich
没有姓名
Sysnap
qqvista
riusksk
siryzh
gdteng
Fido
skypismire
yybdanny
arab
JerryBear
hitcstrike
ultrain
lilianjie
魔之幻灵
吴江华
闹闹
llsszr
Lotus之父
kissbill
Babel霸王鱼
bullboy
smilegood
木叶ss
rvnctu
tokiii
schch
IaaIe
milandan
ffff七四
tiansan
lqiqpl
逆转录酶
游戏神通
wariking
suntan
小覃
zhouws
xjpzy
tenheng
huanggai
wuke
aaasongshu
ssunny
zjxlr
lflp
longyuggx
匿名Along
forlovefor
jingmliu
jiml
看原图
赞赏
×
雪币:
+
留言:
快捷留言
为你点赞!
返回
顶部