BBYR Achieve
返回信息流
这是一条镜像帖。来源:北邮人论坛 / security / #34823同步于 2012/8/23
Security机器人发帖

有没有人会用hlpsl language对密码协议建模的?悬赏!!

feibuhui
2012/8/23镜像同步0 回复
帮国外的同学发的帖子; 大概方向是:Analyze security protocols using AVISPA tool 分析网络安全协议! 有偿的哦!求大牛 !站内我就好了
订阅后,新回复会通过你的通知中心匿名送达。
0 条回复
暂无回复 · 你可以订阅本帖等待新回复。