2hYan9 - 博客园

2019年11月

摘要：代数系定义:设S是一个非空集合，那么S与自身的笛卡尔积到S自身的映射就叫做S的结合法或运算即：

$S\times S\to S$

$(a,b)\mapsto c$ 这时，S叫做代数系。换句话说，对于一个集合S，如果在这个集合上的某种运算是封闭的(\(\forall a,b\in S,f( 阅读全文

posted @ 2019-11-26 22:57 2hYan9 阅读(1717) 评论(0) 推荐(0) 编辑

摘要：公钥加密在前面介绍密钥分发协议时提到过“中间人(Man-in-mid)攻击”的一种攻击方式，应对这种攻击方式的一种方式就是采用公钥加密：加密和解密使用不同的密钥，从而提高密钥分发的安全性。公钥加密方案最主要的缺陷在于比一般的私钥加密方案慢 2 到 3 个数量级。公钥加密的定义： Gen：以安全阅读全文

posted @ 2019-11-20 23:04 2hYan9 阅读(4915) 评论(0) 推荐(2) 编辑

密码学基础(六) - 密钥分发与管理

摘要：私钥加密体系的实际应用中存在三个问题：密钥的分发存储和管理大量的密钥私钥加密体系在开放系统中的不适用性密钥分发中心(Key-Distribution Center, KDC) KDC的运行机制：首先，Alice和KDC共享一个密钥kA，Bob和KDC共享一个密钥kB Alice向KDC发送阅读全文

posted @ 2019-11-20 14:33 2hYan9 阅读(3285) 评论(0) 推荐(0) 编辑

密码学基础(五) - 哈希函数

摘要：哈希函数摘要性：在最基本的层面上，一个哈希函数需要将输入的一个长的信息映射到一个较短的信息上。碰撞性：即两个不同的输入映射到同一个摘要上。如果两个不同的输入 x 和 x‘ 有H(x)=H(x')，则称 x 和 x’ 发生了碰撞。抗碰撞性：如果对于任何一个PPT上的敌手找到一个碰撞是无法实现的，阅读全文

posted @ 2019-11-07 20:33 2hYan9 阅读(6018) 评论(0) 推荐(1) 编辑

2019年10月

Coq基础(四) - 多态

摘要：多态在前面所定义的链表中，链表的元素都是自然数，（或者PartitialMap中以一个二元元组为元素），但这些都存在着一个问题：所有类型的链表都在定义的都限制了链表的元素为某一个确定的类型，这样就不太灵活了，如果需要定义的链表类型比较多的话，那么就需要为每一种类型的链表单独写一段声明代码。比如，阅读全文

posted @ 2019-10-23 21:06 2hYan9 阅读(498) 评论(0) 推荐(0) 编辑

Coq基础(三) - 其他类型的数据结构

摘要：定义元组其实在Coq基础(一)中的NewTypeFromOld中就已经定义过一个叫做nybble类型的元组了，那个类型的元组有四个bit类型的成员，构造器为bits。而这里再次定义一个只有两个自然数类型成员的元组： Inductive natprod : Type := | pair (n1 n2 阅读全文

posted @ 2019-10-12 11:36 2hYan9 阅读(719) 评论(0) 推荐(0) 编辑

密码学基础(四) - 消息验证码

摘要：消息的完整性保密性与完整性考虑一个现实模型：一个用户想要与银行在internet上进行通信，当银行收到一条消息说要从这个用户的账户上转1000$到另一个账户上，那么银行必须确认两件事：请求是否被验证，也就是说这个用户是否真的发起了这个请求，还是说是这个请求是由某个敌手发起的。假设这个请求确实阅读全文

posted @ 2019-10-09 16:21 2hYan9 阅读(3011) 评论(0) 推荐(2) 编辑

2019年9月

Coq基础(二) - Proof in Coq

摘要： Proof By Simplification 在前面定义数据类型以及函数的时候有使用过Example语句来说明和证明数据的属性。所使用的证明方法都是一样的：使用关键字simpl来化简等式两边的表达式，然后再使用reflexivity来验证等式两边是否相等。此外，还可以使用proof by si 阅读全文

posted @ 2019-09-23 20:19 2hYan9 阅读(1990) 评论(0) 推荐(0) 编辑

Coq基础(一) - 基础

摘要：定义一个类型在coq中，一个变量的类型往往表示为 var_name : var_type，即变量名后面的一个冒号后是变量的类型 Inductive type_name : Type := constructor 1 constructor 2 ... constructor n. (*注意最后一个阅读全文

posted @ 2019-09-22 22:45 2hYan9 阅读(2798) 评论(0) 推荐(0) 编辑

密码学基础(三) - 私钥加密

摘要：计算安全性计算安全性相比于完美保密放松了两个限制：1）安全只针对在可行时间内运行的高效敌手；2）敌手可以有非常小的概率成功，即在完美保密的实验中敌手猜中明文的概率比1/2稍大些。放松的必要性假设有一个加密方案，其密钥空间 K 的大小远小于明文空间 M 的大小，则不论这种加密方案是怎么构造的，都阅读全文

posted @ 2019-09-21 21:19 2hYan9 阅读(5882) 评论(0) 推荐(1) 编辑

公告