中国协议分析论坛 » 网络协议分析 » 几个用BAN逻辑形式化分析的协议，感兴趣的朋友请看看！

savioryu 发表于 2008-9-4 15:28

几个用BAN逻辑形式化分析的协议，感兴趣的朋友请看看！

几个用BAN逻辑形式化分析的[wiki]协议[/wiki]，感兴趣的朋友请看看！

另外找高手请教，朋友一起探讨关于BAN逻辑的各方面知识！

另外求这方面的相关论坛或群！

谢谢！

[[i] 本帖最后由 savioryu 于 2008-9-4 15:30 编辑 [/i]]

savioryu 发表于 2008-9-4 15:32

现在看这些有些头绪，但总觉得进行不下去，不知道有没有好心人能帮帮我 ！

自己先顶一下！

savioryu 发表于 2008-9-4 16:00

有没有路过的牛人给点提示呀，我现在在看 密码协议形式化分析这本书，重点学习形式逻辑分析，证明协议可行和找协议漏洞！

有什么想问的问题，期盼牛人中！！！！

savioryu 发表于 2008-9-4 17:10

我顶起来，相当急啊！

savioryu 发表于 2008-9-4 23:46

没人理我，我自己订起来！

savioryu 发表于 2008-9-5 10:19

不要沉，等待。。。

savioryu 发表于 2008-9-7 01:18

顶起来1!!!

savioryu 发表于 2008-9-7 18:42

[quote]原帖由 [i]zenggongfu[/i] 于 2008-9-7 15:52 发表 [url=http://www.protocol.com.cn/redirect.php?goto=findpost&pid=378833&ptid=26669][img]http://www.protocol.com.cn/images/common/back.gif[/img][/url]
即可获国家 [/quote]




你什么意思 ？

savioryu 发表于 2008-9-8 09:05

顶  真的没有人能知道吓我嘛？！ 还是不屑于呢 ？ 奇怪！

savioryu 发表于 2008-9-8 20:38

我再顶！

savioryu 发表于 2008-9-9 19:45

:L 再顶两天，没人就放弃。

savioryu 发表于 2008-9-10 18:07

最后一次！顶

redwhb 发表于 2008-9-11 10:27

多谢LZ无私的分享

savioryu 发表于 2008-9-29 17:06

小d一下

savioryu 发表于 2008-10-23 15:01

有没有高手给我讲讲这逻辑呀？:Q

查看完整版本: 几个用BAN逻辑形式化分析的协议，感兴趣的朋友请看看！