摘要: 同余 定义:设m是一个正整数,设a,b是两个整数,则a\(\equiv\)b (mod m),当且仅当 m | (a-b),称a, b模m同余。 换句话说,a, b模m同余当且仅当a, b用欧几里得除法除以m得到的余数相等。 同余的保运算性:设m是一个正整数,设\(a_1,b_1,a_2,b_2\) 阅读全文
posted @ 2019-12-22 11:03 2hYan9 阅读(1114) 评论(0) 推荐(0) 编辑
摘要: 整除 定义:设a,b是两个任意的正整数,其中b \(\neq\) 0,若存在一个整数q,使得:a=qb 则称b整除a,记为b | a。 整除的运算定理 1.设a, b, c \(\neq\) 0是三个整数,若 c | a, c | b,则对任意整数s, t有:c | (sa+tb) 2.设a, b都 阅读全文
posted @ 2019-12-22 09:51 2hYan9 阅读(717) 评论(0) 推荐(0) 编辑
摘要: 椭圆曲线 设F是一个域,a,b$\in$F,则方程$y^2=x^3+ax+b$称为域F上的椭圆曲线。 上述方程称为维尔斯特拉斯方程,其判别式为$y^2+axy+by=x^3+cx^2+dx+e$ 比如,实数域上的椭圆曲线如下: 椭圆曲线上的加法: 设F是一个域,a,b$\in$F,令E={(x,y) 阅读全文
posted @ 2019-12-18 19:25 2hYan9 阅读(2706) 评论(0) 推荐(0) 编辑
摘要: 域 定义:如果K对加法构成一个交换群,并且K*=K\(\setminus\){0}也对乘法构成一个交换群,那么称K是一个域 定理:如果域的特征不为零,则其特征必为素数 证明. 设域K的特征为 p,p \(\ne\) 0。 1.如果p为合数,则存在\(1<p_1,p_2<p\),使得\(p=p_1\c 阅读全文
posted @ 2019-12-04 18:14 2hYan9 阅读(1329) 评论(0) 推荐(0) 编辑
摘要: 在前面的 "Proof in Coq" 中介绍了几种简单的证明方法以及常用的策略(tactics),而这里则是介绍几种更为复杂的证明策略: [apply]策略 在进行证明的时候经常遇到这样的情况,即要证明的目标与上下文中的某个假设或某个先前已证明的引理完全相同。 有时候可以使用[rewrite]然后 阅读全文
posted @ 2019-11-30 17:12 2hYan9 阅读(1181) 评论(0) 推荐(0) 编辑
摘要: 数字签名的相关定义 数字签名类似于私钥加密体系中消息认证码,不过数字签名不仅能够满足消息认证,而且能够满足身份认证以及抗抵赖性。 在发送方所使用的算法一般用Sign来表示,而这个算法的输出称为签名 在接收方输入一个消息以及一个签名进行验证的算法用Vrfy表示 数字签名的定义:一个数字签名算法由三个概 阅读全文
posted @ 2019-11-27 14:47 2hYan9 阅读(2648) 评论(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 阅读(3871) 评论(0) 推荐(0) 编辑
摘要: 子群的生成 定义: 设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 阅读(1438) 评论(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 阅读(1647) 评论(0) 推荐(0) 编辑
摘要: 公钥加密 在前面介绍密钥分发协议时提到过“中间人(Man-in-mid)攻击”的一种攻击方式,应对这种攻击方式的一种方式就是采用公钥加密:加密和解密使用不同的密钥,从而提高密钥分发的安全性。 公钥加密方案最主要的缺陷在于比一般的私钥加密方案慢 2 到 3 个数量级。 公钥加密的定义: Gen:以安全 阅读全文
posted @ 2019-11-20 23:04 2hYan9 阅读(4685) 评论(0) 推荐(2) 编辑