weixin_41656797-CSDN博客

原创密码领域专用语言 SM4

SMS4分组加密算法是中国无线标准中使用的分组加密算法，作为国家密码的行业标准，在我国密码行业中有着极其重要的位置。密码算法的特点是数据类型定义，最常用的如S盒、置换、布尔矩阵、移存器、大数据等，其规模随意性强，C语言的实现靠的是程序代码而不是标准数据类，代码实现不只是可读性差，主要还有和算法本身代码边界不清，极易滋生BUG。图3以例子给出比较。最后四图是分组算法的工作模式：CBC，OFB、C...

2018-07-24 22:12:39 644

原创密码领域专用语言 ZUC算法

ZUC算法，也叫祖冲之算法，我国自己设计的一个流密码算法。设计者在构思一个算法时，脑海里一定有个算法框架图，大概就是图1的样子。怎样让计算机理解呢？只有C语言了！实际上设计者对C语言并不信任，往往要找两个程序员背对背的写代码，除了提供那个框架图，还有列公式、讲解等，毕竟程序员不是密码专家，当然，密码专家同时也是高级程序员的也不多。如果两个程序员给出了不同的结果，就要查是谁错了！这是一个非常烧脑的过...

2018-07-24 13:09:27 8600 3

原创密码领域专用语言 -- SM3

C语言不适合密码算法，它连一个适合移位寄存器的数据类型都没有。为了用已有的类型拼接出一个移位寄存器，各个程序员各有高招，一段带着循环设计的代码还要配合一段文字说明，所以就有了大端法则和小端法则。领域专用语言是最终解决之道，C语言在这个领域只是个临时工。国家密码管理局发布的SM3算法指导书中使用了寄存器、中间变量等C语言术语，说明密码界的C语言思维定式至深。就像一个整天推磨的人突然一天不推磨，他也不...

2018-07-24 13:09:07 894 1

原创密码领域专用语言 -- AES算法

密码算法在计算机中运行一定要用C代码吗？逻辑性极强的算法为什么不能用计算机可以理解的逻辑图表示呢！可以的，以下就是算法的逻辑图编辑、运行工具的工作界面截图。该工具直观、简洁、方便易用，而精确度可以达到算法的标准发布！以下是AES算法工作界面截图，我将陆续展示当前国内外主流密码算法的工作界面，有AES,SHA1,SHA2,SHA3,SM3,SM4,ZUC,IDEA,DES。其它算法进行中...十年...

2018-07-24 12:56:46 381

On the Use of Cryptol, a Cryptography Domain Specific Language

On the Use of Cryptol, a Cryptography Domain Specific Language.

2018-04-14

Using Cryptol to explore elliptic curve-based random-number generators

To tackle how this works behind the curtain, this project aims at exploring the Dual EC DRNG, an algorithm standardized by NIST as a cryptographically secure pseudo random number generator.

2018-04-14