24小时热门版块排行榜    

查看: 1091  |  回复: 8
当前只显示满足指定条件的回帖,点击这里查看本话题的所有回帖

再见押尾

新虫 (著名写手)

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

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

发自小木虫IOS客户端
回复此楼
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

songfu1983

木虫 (正式写手)

引用回帖:
6楼: Originally posted by 再见押尾 at 2016-11-10 09:01:53
对是仿真。其实我对您的看法不苟同,我是信息安全密码学方向,证明是必须的这谁都知道,一个严格的数学证明是一个方案的最重要也可以说最大的一部分。可是发现有的研究生甚至博士居然连连真正的群都不懂,也许我也 ...

因为国内大部分做密码安全都用仿真在做,你会觉得这个理所当然。仿真类似自动化的测试,如果不能证明安全的,那方案就不可信了。仿真不能cover所以可能的情况。还是那句话,仿真不能证明方案安全,只能说在你能想到的被仿真的环境是安全的。黑客想到的可能是你没考虑的。

发自小木虫Android客户端
9楼2016-11-10 11:33:35
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖
查看全部 9 个回答

feixiaolin

荣誉版主 (文坛精英)

优秀版主

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的回帖
信息提示
请填处理意见