24小时热门版块排行榜    

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

再见押尾

新虫 (著名写手)

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

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

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

再见押尾

新虫 (著名写手)

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

对是仿真。其实我对您的看法不苟同,我是信息安全密码学方向,证明是必须的这谁都知道,一个严格的数学证明是一个方案的最重要也可以说最大的一部分。可是发现有的研究生甚至博士居然连连真正的群都不懂,也许我也只了解大概,很多人只停留在定义上,对里面的运算运算机制其实都不懂。但是我们上学期接的项目,用Jpbc去做,这时才发现原来群要这样选择,点怎么选择,然后怎么验证通过。很多实验室都是以项目带论文,我想毕竟这是计算机和数学的交叉学科,毕竟理论是为了应用。所以我同意也坚定证明是必须的但是我不同意你说有些人用仿真灌水。

发自小木虫IOS客户端
6楼2016-11-10 09:01:53
已阅   回复此楼   关注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的回帖
信息提示
请填处理意见