![](https://img-blog.csdnimg.cn/20201014180756724.png?x-oss-process=image/resize,m_fixed,h_64,w_64)
密码
文章平均质量分 68
猿来不容易
学生
展开
-
实现基于国密SM3的密钥派生(KDF)功能
密钥派生函数(KDF):密钥派生函数是指从一个共享的秘密比特串中派生密钥数据,在密钥协商过程中,密钥派生函数作用在密钥交换所获取的共享的秘密比特串上,从中产生所需的会话密钥或进一步加密所需的密钥数据。HKDF:是HMAC-based KDF的缩写,即基于HMAC的KDF。PBKDF2:是一个简单的从密码派生密钥的KDF,它可以抵抗字典攻击和彩虹表攻击。Bcrypt:是一个开始被淘汰的密码学KDF。原创 2023-02-24 15:42:59 · 2286 阅读 · 0 评论 -
des 算法介绍
原文链接:点击打开链接译自J. Orlin Grabbe的名作《DES Algorithm Illustrated》,国外许多大学将该文章作为补充材料,可作为理解DES算法的最佳入门手册。反观许多教材介绍DES时直接照搬一张流程图,图中IP等缩写符号不加解释,让人误解;许多博客则直接给出蹩脚的源码,对内部流程缺乏解读。事实上,DES在算法上并不复杂,只是流程繁多而已。此时利用一转载 2017-09-20 20:11:22 · 3389 阅读 · 3 评论 -
Boolean Satisfiability Problem(SAT)问题介绍
SAT 可满足问题是第一个被证明的NP问题(就是能在多项式时间验证答案正确与否的问题)原创 2018-06-02 15:49:54 · 11544 阅读 · 0 评论 -
windows下编译以及运行cryptominisat 求解器(sat求解器)
cryptominisat是由msoos所开发的一款sat求解器,sat的具体问题另外一篇博客里有详细介绍,本篇文章只介绍如何在windows下运行cryptominisat,将自己遇到的坑都写下来,方便后来人。sat求解器cryptominisat下载:点击打开链接从链接中下载sat求解器后,链接中提供了如何在windows下编译源码,具体步骤参考下图, 注意:这里的编译器使用的是...原创 2018-06-02 14:58:44 · 6742 阅读 · 3 评论