摘要: 数字签名的相关定义 数字签名类似于私钥加密体系中消息认证码,不过数字签名不仅能够满足消息认证,而且能够满足身份认证以及抗抵赖性。 在发送方所使用的算法一般用Sign来表示,而这个算法的输出称为签名 在接收方输入一个消息以及一个签名进行验证的算法用Vrfy表示 数字签名的定义:一个数字签名算法由三个概 阅读全文
posted @ 2019-11-27 14:47 2hYan9 阅读(3178) 评论(0) 推荐(0)
摘要: 环 环论是取模运算的基础 环的定义:设R是具有两种运算的非空集合,如果以下条件成立: i)R对于加法构成一个交换群 ii)R上的乘法有,对于任意的a, b, c\(\in\)R,有(ab)c = a(bc) iii)对任意的a, b, c\(\in\)R,有(a+b)c = ac + bc,a(b+ 阅读全文
posted @ 2019-11-26 23:58 2hYan9 阅读(4344) 评论(0) 推荐(1)
摘要: 子群的生成 定义: 设G是一个群,X是G的一个子集,设$\{H_i \}_{i \in I}$是G的包含X的所有子群,则$\bigcap_{i\in I}H_i$构成G的一个子群,叫做G的由X生成的子群,记为。 证明. $\forall a,b\in \bigcap_{i\in I}H_i, a,b 阅读全文
posted @ 2019-11-26 22:59 2hYan9 阅读(1682) 评论(0) 推荐(0)
摘要: 代数系 定义:设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 阅读(1871) 评论(0) 推荐(0)
摘要: 公钥加密 在前面介绍密钥分发协议时提到过“中间人(Man-in-mid)攻击”的一种攻击方式,应对这种攻击方式的一种方式就是采用公钥加密:加密和解密使用不同的密钥,从而提高密钥分发的安全性。 公钥加密方案最主要的缺陷在于比一般的私钥加密方案慢 2 到 3 个数量级。 公钥加密的定义: Gen:以安全 阅读全文
posted @ 2019-11-20 23:04 2hYan9 阅读(5189) 评论(0) 推荐(2)
摘要: 私钥加密体系的实际应用中存在三个问题: 密钥的分发 存储和管理大量的密钥 私钥加密体系在开放系统中的不适用性 密钥分发中心(Key-Distribution Center, KDC) KDC的运行机制: 首先,Alice和KDC共享一个密钥kA,Bob和KDC共享一个密钥kB Alice向KDC发送 阅读全文
posted @ 2019-11-20 14:33 2hYan9 阅读(3584) 评论(0) 推荐(0)
摘要: 哈希函数 摘要性:在最基本的层面上,一个哈希函数需要将输入的一个长的信息映射到一个较短的信息上。 碰撞性:即两个不同的输入映射到同一个摘要上。如果两个不同的输入 x 和 x‘ 有H(x)=H(x'),则称 x 和 x’ 发生了碰撞。 抗碰撞性:如果对于任何一个PPT上的敌手找到一个碰撞是无法实现的, 阅读全文
posted @ 2019-11-07 20:33 2hYan9 阅读(6232) 评论(0) 推荐(1)
摘要: 多态 在前面所定义的链表中,链表的元素都是自然数,(或者PartitialMap中以一个二元元组为元素),但这些都存在着一个问题:所有类型的链表都在定义的都限制了链表的元素为某一个确定的类型,这样就不太灵活了,如果需要定义的链表类型比较多的话,那么就需要为每一种类型的链表单独写一段声明代码。 比如, 阅读全文
posted @ 2019-10-23 21:06 2hYan9 阅读(526) 评论(0) 推荐(0)
摘要: 定义元组 其实在Coq基础(一)中的NewTypeFromOld中就已经定义过一个叫做nybble类型的元组了,那个类型的元组有四个bit类型的成员,构造器为bits。而这里再次定义一个只有两个自然数类型成员的元组: Inductive natprod : Type := | pair (n1 n2 阅读全文
posted @ 2019-10-12 11:36 2hYan9 阅读(755) 评论(0) 推荐(0)
摘要: 消息的完整性 保密性与完整性 考虑一个现实模型:一个用户想要与银行在internet上进行通信,当银行收到一条消息说要从这个用户的账户上转1000$到另一个账户上,那么银行必须确认两件事: 请求是否被验证,也就是说这个用户是否真的发起了这个请求,还是说是这个请求是由某个敌手发起的。 假设这个请求确实 阅读全文
posted @ 2019-10-09 16:21 2hYan9 阅读(3438) 评论(0) 推荐(2)