信息安全第五章有限域绪论.ppt

Chapter 4   有 限 域 简介 有限域，finite fields 在密码领域的重要性日益突出 AES, Elliptic Curve, IDEA, Public Key 对“数”的操作 概念：群、环和域（groups, rings, fields） 群（Group） Group,定义了二元运算的集合，记为{G, ·} 集合上的二元运算结果仍在该集合中(封闭性) 遵循: 封闭性：a,b属于G，则a.b属于G 结合律：(a·b)·c = a·(b·c) 单位元 e：e·a = a·e = a 逆元 a-1：a·a-1 = e 有限群、无限群：元素数量有限或者无限 如果满足交换律：a·b = b·a 则构成阿贝尔群(abelian group) 循环群（Cyclic Group） 定义求幂运算为重复运用群中的运算 如： a3 = a·a·a 定义： e=a0 称一个群为循环群，如果：群中每个元素都是一个固定元素a的幂，即 b = ak （for some a and every b in group） a 称为群的一个生成元（generator） 环（Ring） 环 ，是一个定义了两种运算的集合 ,记为{R,＋,·} 两种运算 通常称为加法和乘法，且满足 对加法，构成阿贝尔群 对乘法满足 封闭性 结合律：a·(b·c)=(a·b)·c 分配律：a·(b+c)=a·b+a·c 如果乘法满足交换律，则称交换环(commutative ring ) 如过乘法有单位元且无零因子，则称整环(integral domain) 零因子：若a≠0且b≠0，但a·b=b·a=0，则称a或b为零因子 域（Field） 域， 是定义了两种运算的集合，记为{F,＋,·} 两种运算： 对加法，构成阿贝尔群 对乘法，构成阿贝尔群（除0外） 环 作加、减、乘和除法（除0外）运算，结果仍在集合中 继承关系：群 - 环 - 域 P69图4.1 模运算 定义：模运算 “a mod n” 表示用n去除a所得得余数 术语“同余”： a = b mod n 用n去除a 和 b，他们有相同的余数 如： 100 = 34 mod 11 b 称作a模n的余数 整数总可以写作： a = qn + b 通常选择最小的非负整数作为余数，即 0 = b = n-1 因子 整除：a=mb (a,b,m 都是整数) b是一个因子(没有余数) 记作： b|a b是a的一个因子 如：1,2,3,4,6,8,12,24 都是24 的因子 模算术运算 is clock arithmetic uses a finite number of values, and loops back from either end modular arithmetic is when do addition multiplication and modulo reduce answer can do reduction at any point, i.e. a+b mod n = [a mod n + b mod n] mod n 模算术运算 模n的剩余集 Zn = {0, 1, … , n-1} 剩余类 [0],[1],…[n-1] if (a+b)=(a+c) mod n then b=c mod n if (a·b)=(a·c) mod n then b=c mod n only if (a,n)=1 模8加法 最大公因子(GCD：Greatest Common Divisor) GCD (a,b) ＝ GCD (|a|,|b|) 如：GCD(60,24) = GCD(－60,24) = GCD(60,－24)＝12 如果GCD(a,b) = 1，则称a和b互素 如： GCD(8,15) = 1 注意： GCD(a,0) = |a| 欧几里得算法（Euclidean Algorithm） 求最大公因子的一个有效方法：欧几里得算法 算法基于: GCD(a,b) = GCD(b, a mod b) 计算GCD(a,b)的欧几里得算法: EUCLID(a,b) 1. A = a; B = b 2. if B = 0 return A = gcd(a, b) 3. R = A mod B 4. A = B 5. B = R 6. goto 2 求GCD(1970,1066) 1970 = 1 x 1066 + 904 gcd(1066, 904) 1066 = 1 x 904 + 162 gcd(904, 162) 904 = 5 x 162 + 9