24小时热门版块排行榜    

查看: 1158  |  回复: 8

再见押尾

新虫 (著名写手)

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

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

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

» 猜你喜欢

» 本主题相关价值贴推荐,对您同样有帮助:

已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

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的回帖

songfu1983

木虫 (正式写手)

那不是证明,那叫测试。只是你模拟的那些场景下是正确的,并不能证明你的方案是正确的。现在很多搞安全的,提个方案,仿真下就灌水发文章的做法不敢认同。

发自小木虫Android客户端
5楼2016-11-10 08:00:17
已阅   回复此楼   关注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的回帖

再见押尾

新虫 (著名写手)

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

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

发自小木虫IOS客户端
7楼2016-11-10 09:04:45
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

再见押尾

新虫 (著名写手)

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

而且我这个模拟协议的,首先用java模拟出双方每个阶段的交互认证,然后协商出回话密钥,用代码编写最后每个阶段都对,不就说明我方案的哈希函数,每个乘方运算还有乘法运算做做出来的一个就是对的结果,其次也说明运算后的每一个结果也映射到相应的群域里面?哎

发自小木虫IOS客户端
8楼2016-11-10 09:29:42
已阅   回复此楼   关注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的回帖
相关版块跳转 我要订阅楼主 再见押尾 的主题更新
最具人气热帖推荐 [查看全部] 作者 回/看 最后发表
[考研] 一志愿武理材料工程348求调剂 +5  ̄^ ̄゜汗 2026-03-19 7/350 2026-03-22 19:44 by 公瑾逍遥
[考研] 求调剂 +6 十三加油 2026-03-21 6/300 2026-03-22 17:00 by i_cooler
[考研] 能源材料化学课题组招收硕士研究生8-10名 +5 脱颖而出 2026-03-16 17/850 2026-03-22 15:18 by 脱颖而出
[考研] 一志愿华中科技大学071000,求调剂 +4 沿岸有贝壳6 2026-03-21 4/200 2026-03-22 07:21 by ilovexiaobin
[考研] 297求调剂 +3 喜欢还是不甘心 2026-03-20 3/150 2026-03-21 18:33 by 学员8dgXkO
[考研] 296求调剂 +4 www_q 2026-03-20 4/200 2026-03-21 17:26 by 学员8dgXkO
[考研] 279求调剂 +5 红衣隐官 2026-03-21 5/250 2026-03-21 14:59 by lature00
[考研] 279分求调剂 一志愿211 +14 chaojifeixia 2026-03-19 15/750 2026-03-21 13:24 by zhukairuo
[考研] 求调剂 +6 Mqqqqqq 2026-03-19 6/300 2026-03-21 08:04 by JourneyLucky
[考研] 一志愿天津大学化学工艺专业(081702)315分求调剂 +12 yangfz 2026-03-17 12/600 2026-03-21 03:30 by JourneyLucky
[考研] 301求调剂 +10 yy要上岸呀 2026-03-17 10/500 2026-03-21 03:14 by JourneyLucky
[考研] 初始318分求调剂(有工作经验) +3 1911236844 2026-03-17 3/150 2026-03-21 02:33 by JourneyLucky
[考研] 一志愿华南师大 070300(化学)304分求调剂 +3 0703武芊慧雪304 2026-03-18 3/150 2026-03-21 00:48 by JourneyLucky
[考研] 一志愿南昌大学,327分,材料与化工085600 +9 Ncdx123456 2026-03-19 9/450 2026-03-20 23:41 by lovewei0727
[考研] 一志愿 西北大学 ,070300化学学硕,总分287,双非一本,求调剂。 +4 晨昏线与星海 2026-03-19 4/200 2026-03-20 22:15 by JourneyLucky
[考研] 0817 化学工程 299分求调剂 有科研经历 有二区文章 +22 rare12345 2026-03-18 22/1100 2026-03-20 20:39 by zhukairuo
[考研] 材料学求调剂 +4 Stella_Yao 2026-03-20 4/200 2026-03-20 20:28 by ms629
[考研] 一志愿吉林大学材料学硕321求调剂 +11 Ymlll 2026-03-18 15/750 2026-03-20 19:40 by 丁丁*
[考研] 261求B区调剂,科研经历丰富 +3 牛奶很忙 2026-03-20 4/200 2026-03-20 19:34 by JourneyLucky
[硕博家园] 湖北工业大学 生命科学与健康学院-课题组招收2026级食品/生物方向硕士 +3 1喜春8 2026-03-17 5/250 2026-03-17 17:18 by ber川cool子
信息提示
请填处理意见