| 查看: 1350 | 回复: 8 | |||
[求助]
有没有协议模拟工具
|
|
就是为了丰富我的论文，就是想用类似的协议模拟工具来从侧面说明我的协议是安全的，协议的话你可以理解为Diffile Halfman 密钥协商协议，我以前见过有，但是比较早了，而且那个协议是在人家英文网站。我已经用程序模拟出它的正确性。但是就是想用其他软件模拟出它的安全性什么的。谢谢 发自小木虫IOS客户端 |
回复此楼» 猜你喜欢
售SCI文章，我:8O.5.5.1O.54,科目全,可十急
已经有4人回复
-
售SCI一区T0P文章，我:8.O.55.1.O.5.4,科目全,可+急
已经有7人回复
-
售SCI一区T0P文章，我:8.O.55.1.O.54,科目齐全,可+急
已经有6人回复
-
售SCI一区文章，我:8.O.551.O.5.4,科目全,可伽急
已经有8人回复
-
售SCI一区文章，我:8.O.551.O.5.4,科目全,可伽急
已经有7人回复
-
售SCI一区文章，我:8O5.5.1.O5.4,科目全,可伽急
已经有8人回复
-
售SCI一区T0P文章，我:8.O55.1.O.54,科目全,可十急
已经有5人回复
-
售SCI一区文章，我:8.O.551.O.5.4,科目全,可伽急
已经有8人回复
-
一个有机合成实验室都需要哪些设备？
已经有9人回复
-
售SCI一区文章，我:8O5.5.1.O5.4,科目全,可伽急
已经有7人回复
» 本主题相关价值贴推荐，对您同样有帮助:
- 这消息是不是真的？
已经有5人回复
- 学通信虫虫们的福音：华为最新网络仿真平台----eNSP
已经有7人回复
- 【windows§windows系统为什么会变慢§】
已经有6人回复
- 2013年顺丰速运集团总部招聘系列高级人才（内部推荐）职位
已经有25人回复
- Vemurafenib：首个获批的抗BRAF突变肿瘤药
已经有1人回复
- 【分享】FPGA设计需注意的方方面面
已经有2人回复
- 沈阳新松机器人自动化股份有限公司
已经有2人回复
- 【分享】window命令大全【已搜索无重复】
已经有12人回复
- 【转帖】电脑用久了就会变慢。教你补救的方法
已经有15人回复
feixiaolin
荣誉版主 (文坛精英)
-
专家经验: +518 - 信息EPI: 3
- 应助: 942 (博后)
- 贵宾: 1.275
- 金币: 3881
- 散金: 58785
- 红花: 532
- 沙发: 11
- 帖子: 24215
- 在线: 2601.8小时
- 虫号: 2139575
- 注册: 2012-11-21
- 专业: 光学信息获取与处理
- 管辖: 数学
2楼2016-11-05 21:01:14
songfu1983
木虫 (正式写手)
- 应助: 1 (幼儿园)
- 金币: 7928.8
- 散金: 463
- 帖子: 517
- 在线: 326.9小时
- 虫号: 3006968
- 注册: 2014-03-01
- 性别: GG
- 专业: 计算机软件
3楼2016-11-09 23:26:20
4楼2016-11-10 07:54:36
songfu1983
木虫 (正式写手)
- 应助: 1 (幼儿园)
- 金币: 7928.8
- 散金: 463
- 帖子: 517
- 在线: 326.9小时
- 虫号: 3006968
- 注册: 2014-03-01
- 性别: GG
- 专业: 计算机软件
5楼2016-11-10 08:00:17
|
对是仿真。其实我对您的看法不苟同，我是信息安全密码学方向，证明是必须的这谁都知道，一个严格的数学证明是一个方案的最重要也可以说最大的一部分。可是发现有的研究生甚至博士居然连连真正的群都不懂，也许我也只了解大概，很多人只停留在定义上，对里面的运算运算机制其实都不懂。但是我们上学期接的项目，用Jpbc去做，这时才发现原来群要这样选择，点怎么选择，然后怎么验证通过。很多实验室都是以项目带论文，我想毕竟这是计算机和数学的交叉学科，毕竟理论是为了应用。所以我同意也坚定证明是必须的但是我不同意你说有些人用仿真灌水。 发自小木虫IOS客户端 |
6楼2016-11-10 09:01:53
7楼2016-11-10 09:04:45
|
而且我这个模拟协议的，首先用java模拟出双方每个阶段的交互认证，然后协商出回话密钥，用代码编写最后每个阶段都对，不就说明我方案的哈希函数，每个乘方运算还有乘法运算做做出来的一个就是对的结果，其次也说明运算后的每一个结果也映射到相应的群域里面？哎 发自小木虫IOS客户端 |
8楼2016-11-10 09:29:42
songfu1983
木虫 (正式写手)
- 应助: 1 (幼儿园)
- 金币: 7928.8
- 散金: 463
- 帖子: 517
- 在线: 326.9小时
- 虫号: 3006968
- 注册: 2014-03-01
- 性别: GG
- 专业: 计算机软件
|
因为国内大部分做密码安全都用仿真在做，你会觉得这个理所当然。仿真类似自动化的测试，如果不能证明安全的，那方案就不可信了。仿真不能cover所以可能的情况。还是那句话，仿真不能证明方案安全，只能说在你能想到的被仿真的环境是安全的。黑客想到的可能是你没考虑的。 发自小木虫Android客户端 |
9楼2016-11-10 11:33:35
50