应《网络安全法》要求，自2017年10月1日起，未进行实名认证将不得使用互联网跟帖服务。为保障您的帐号能够正常使用，请尽快对帐号进行手机号验证，感谢您的理解与支持！

24小时热门版块排行榜    

Znn3bq.jpeg
小木虫论坛-学术科研互动平台 » 专业学科区 » 信息科学 » 软件工具 » 有没有协议模拟工具
51/1返回列表
查看: 1225  |  回复: 8
只看楼主 @他人 存档 新回复提醒 (忽略) 收藏    在APP中查看
当前只显示满足指定条件的回帖，点击这里查看本话题的所有回帖

再见押尾

新虫 (著名写手)

[求助] 有没有协议模拟工具

就是为了丰富我的论文，就是想用类似的协议模拟工具来从侧面说明我的协议是安全的，协议的话你可以理解为Diffile Halfman 密钥协商协议，我以前见过有，但是比较早了，而且那个协议是在人家英文网站。我已经用程序模拟出它的正确性。但是就是想用其他软件模拟出它的安全性什么的。谢谢

发自小木虫IOS客户端
回复此楼

» 猜你喜欢

» 本主题相关价值贴推荐，对您同样有帮助:
1楼 2016-11-05 16:45:02
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

再见押尾

新虫 (著名写手)
引用回帖:
5楼: Originally posted by songfu1983 at 2016-11-10 08:00:17
那不是证明，那叫测试。只是你模拟的那些场景下是正确的，并不能证明你的方案是正确的。现在很多搞安全的，提个方案，仿真下就灌水发文章的做法不敢认同。

而且通过仿真侧面证明方案的正确性不对吗？其实我对你的回复感觉您好像不太懂真正的仿真

发自小木虫IOS客户端
赞一下 回复此楼
7楼2016-11-10 09:04:45
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖
查看全部 9 个回答

feixiaolin

荣誉版主 (文坛精英)

优秀版主
http://book.knowsky.com/book_13871.htm
赞一下(1人) 回复此楼
2楼2016-11-05 21:01:14
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

songfu1983

木虫 (正式写手)
正确性能模拟出来？正确性和安全性是证明出来的

发自小木虫Android客户端
赞一下 回复此楼
3楼2016-11-09 23:26:20
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

再见押尾

新虫 (著名写手)
引用回帖:
3楼: Originally posted by songfu1983 at 2016-11-09 23:26:20
正确性能模拟出来？正确性和安全性是证明出来的

额。是呀正确性可以推导，安全性可以证明。但是用程序也是可以从侧面证明你的方案是对的呀

发自小木虫IOS客户端
赞一下 回复此楼
4楼2016-11-10 07:54:36
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖
查看全部 9 个回答
普通表情 龙 兔 虎 猫
信息提示
关闭
请填处理意见
关闭