安全规约第二讲

最新推荐文章于 2023-10-25 15:14:00 发布
最新推荐文章于 2023-10-25 15:14:00 发布
阅读量1.4k 收藏 8
点赞数 3
文章标签： 安全规约 密码学
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/qq_43479839/article/details/117283155
版权

安全规约第二讲:Preliminaries

安全规约主目录博客链接：https://blog.csdn.net/qq_43479839/article/details/117249715
在这里插入图片描述

目录@xyi

1、Finite Field

1.1 Definition of Finite Field[又称Galois field 伽罗瓦域]

  • 下面0F和1FF都是单位元，0是加法的单位元，1是乘法的单位元。
  • 加法和乘法上都有逆元，加法一定有逆元，但是在某些域上，不是所有的乘法运算都有逆元，

在这里插入图片描述

1.2 Field Operations【俩个最基本的运算 扩展到4种运算】

在这里插入图片描述

1.3 Definition Explanations[对有限域的解释]

  • q是一个素数，被称为特性值

在这里插入图片描述

1.4 Special Finite Field :Prime Field Fq【素数域】

  • 在这个里面定义的加法是模加，定义的乘法是模乘。
  • 第三个式子：是求u的加法逆元。
  • 第四个式子：是求u的乘法逆元。

在这里插入图片描述

2、Cyclic Group[循环群：群的名称]

  • 1、 阿贝尔群【交换群】
  • 2、阿贝尔循环群
  • 3、素数阶的阿贝尔循环群

在这里插入图片描述

2.1 Definition and Description

2.1.1 Definition of Group[阿贝尔群的定义：]
  • 这个群的定义和上面有限域的定义是差不多的，就只是将俩种运算减成了一种运算。
  • 其中也包含单位元和逆元的定义

在这里插入图片描述

2.1.2 Definition of Group(2)[群的定义：阿贝尔循环群以及素数阶的阿贝尔循环群]

在这里插入图片描述
为什么需要循环群和素数阶？

  • 因为在这样的群G上面是不存在confinement attack的，
  • 这样的群有一个很特别的地方：就是除了g0外，其他所有的群元素都是G的生成元。
  • 第三条自己看：

Zp*表示的Zp中所有的可逆元素集合。【是Zp中所有满足gcd（x,p）=1的元素组成的集合；】

在这里插入图片描述

2.1.3 Cyclic Group in Description[循环群的描述]：要给出其基本的描述

**下面(G,g,p)这是描述群的最基本的描述。**如果当我们使用特殊群的时候，我们可能需要一些特殊的参数来进行描述。
在这里插入图片描述

2.1.4 Size of Group Element【群元素的大小：当设计到效率问题的时候会关注】

p个群元素。一个群元素需要用几个bit来进行表达？
其它如下看：

  • 每个群元素都可以被编码成为一个比特串。
  • 每个群元素都必须被不同的比特串代表。
  • 为了去表示p=2160个元素，我们需要至少160个比特串（表示可能出现的群元）。
  • 这样的最佳size是很难达到的。

128bit安全。（安全等级）

在这里插入图片描述

2.2 Easy Problem and Hard Problem

  • 一些简单的计算是必须需要的，不然密码就会很不实用，比如：验证者去验证的时候，必须是简单的计算，不然就不能验证。
  • 然后有一些计算必须是困难的，不然这个密码就会很不安全。比如：没有私钥去解密。

在这里插入图片描述

2.2.1 Easy:Group Exponentiation【群指数运算：可能使用重复平方算法【a repeated squaring algorithm】】

square-and-multiply algorithm：这好像跟重复平方算法的内容好像很像，可以去了解一下
在这里插入图片描述
square-and-multiply algorithm：
在这里插入图片描述

2.2.2 Hard：Discrete Logarithm【离散对数问题：算出这个离散对数是一个困难问题】
  • 这里值得注意的一个问题就是：为什么说之前需要一个素数阶的群？；离散对数x一定是存在的。

在这里插入图片描述
下面这个ppt大概的就是说：要计算出这个离散对数问题是很难的。具体可以看

在这里插入图片描述

在这里插入图片描述

2.3 Two Group Choices

2.3.1 Cyclic Groups and Finite Fields【从有限域到群】
  • 对于有限域（Fqn,+,）意味着俩个群，（Fqn,+）和（Fq^n^)
  • 我们还有很多需要其它更高级的群的各种原因。
  • 比如：对群元素更短的表示。

我们现在已经知道了循环群，但是我们还需要更高级的群。
在这里插入图片描述

2.3.2 Group Choice 1:Multiplicative Group[乘法群或者叫做模乘群]

 一个乘法群被定义为(G,g,q,p)

  • 群元素：如下
  • 群生成元：
  • 群阶：p满足p|(q-1)
  • 群操作：u * v = u x v mod q
  • Note：关于q的选择，在这个特殊的架构中q很影响DLP的困难程度，q至少是1024 bit。否则，解决DLP是少于280步。

在这里插入图片描述

2.3.3 Group Choice 2:Elliptic Curve Group[椭圆曲线群]

一个椭圆曲线群被定义作为(G,g,p):其中

  • 群元素：一个群元素是一个在椭圆曲线上的点(x,y)。当曲线被给定，我们使用x和多一位仅代表一个群元素。
  • 群生成元：p是一个素数阶
  • 群操作：我们有u*v被椭圆曲线定义。
  • Note：群元素的大小应该和群阶一样短，因为当|g|=|p|=160，解决DLP需要280步。
    在这里插入图片描述

2.4 Computations Over Group[基于群上的运算]

  • 群计算：
  • 群的逆计算：
  • 群除法：
  • 群指数：

在这里插入图片描述

3、Bilinear Pairings[双线性对]

  • 双线性对：将在椭圆曲线群中的俩个元素映射到第三个群元素中，在一个乘法群众不会失去它的同构性质。
  • 双线性对原本被引入去解决椭圆曲线群中的困难问题，通过映射它的问题实例到乘法群的问题实例上。
  • homomorphism：同态

在这里插入图片描述

3.1 Symmetric and Asymmetric

3.1.1 Sysmetric Pairing:Definition[对称双线性对]

定义PG=(G,GT,g,p,e)是一个对称对群，在这里G是一个椭圆曲线群，GT是一个乘法群的子群，|G|=|GT|=p,其中g是G的生成元，
e是满足下面三个性质的映射：

  • 对于所有的u,v∈G; a,b∈ZP; e(ua,vb)=e(u,v)ab.
  • 其中e(g,g)是GT的生成元。
  • 对于所有的u,v，存在一个有效的算法去计算e(u,v)

在这里插入图片描述

3.1.2 Sysmetric Pairing(Size)

有俩种类型的DLP：

  • 从g和gx那儿计算x。
  • 从e(g,g)和e(g,g)x那么计算x。
  • 为了确保解决DLP问题是至少在280步，我们需要

在这里插入图片描述

3.1.1 ASysmetric Pairing:Definition[非对称双线性对]

在这里插入图片描述
在这里插入图片描述

3.2 Computational Over Pairing

在这里插入图片描述

4、Hash Functions

在这里插入图片描述

4.1 Security-Based Classification[基于安全的分类]

4.1.1 One-way and Collision-Resistant[单向和抗碰撞]

在这里插入图片描述

4.2 Application-Based Classification[基于应用的分类]

4.2.1 hash输出的空间：可以被分为下面三类

其中hash函数的输入都是任意字符串

  • 输出空间为n-bits的字符串，
  • 输出空间为Zp:{1,2,……p-1}，这种hash函数经常被嵌入hash到群指数上，例如:gH(m)
  • 输出空间为G:循环群，

在这里插入图片描述

5、(Pseudo)Random Number Generator[(伪)随机数生成器]

5.1 (Pseudo)Random Number Generator(1)(伪)随机数生成器

在这里插入图片描述

5.2 (Pseudo)Random Number Generator(2)

在方案中算法中是真正的random数据，但是在真实世界中，算法选择的是有伪随机生成器生成的伪随机数
在这里插入图片描述

6、Insecure Schemes

在这里插入图片描述
在这里插入图片描述
在这里插入图片描述
在这里插入图片描述
在这里插入图片描述

在这里插入图片描述
在这里插入图片描述

在这里插入图片描述
在这里插入图片描述

在这里插入图片描述

吃芒果干的熊孩子
关注
2015阿里&看雪移动安全挑战赛-第二题
scoronepion的博客
05-07 3237
2015阿里&看雪移动安全挑战赛-第二题
孤尽班第六天笔记--日志规约
yaseru的博客
11-01 303
当天日志命名：以“应用名.log”来保存 过往日志命名：以{logname}.log.{保存日期}命名；日期格式：yyyy-MM-dd 日志文件至少保存15天：便于排查某些以周为频次发生的异常 敏感操作信息联机存储6个月：网络安全相关法律的规定 记录用户敏感信息或者操作的日志为何要存储6个月，并多机备份？除了法律规定以外，也是为了保留证据记录，以防发生纠纷。该类日志最好使用什么日志级别输出？warn 日志记录规约 系统应依赖使用日志框架（SLF4J、JCL）的API而不是具体日志库中的。...
安全规约（二）
小张要努力鸭
06-04 717
本篇为安全规约（一）的第二次学习记录，接着第4章开始。
安全规约第一讲：Definitions(Algorithm and Security Model)
qq_43479839的博客
05-25 1966
安全规约第一讲 安全规约主目录：https://blog.csdn.net/qq_43479839/article/details/117249715 标题xyi安全规约第一讲1、Classical Cryptograpgy vs Modern Cryptography2、How to Define Algorithms3、How to Define Security Models4、Examples for Pratice 下面这张图第一讲的大纲，并附上郭福春老师的照片±+。 1、Classical
安全规约（一）
小张要努力鸭
06-01 1949
本系列为《Introduction to Security Reduction》的学习笔记。同样的，我在阅读时更多的会关注公钥密码学相关的知识，因此对于数字签名等其他密码学相关的内容读者可以自己在书中进行查阅。
安全归约基础（一）
2301_79553633的博客
09-20 930
在计算复杂性理论中，归约是将（解决）一个问题转化为（解决）另一个问题。与困难问题相比，分析密码方案的安全性相对困难，因此引入安全归约来分析密码方案的安全性。安全规约用于证明攻破一个方案意味着解决一个困难问题。在公钥密码学中，安全归约是将攻破密码方案转化为解决某个数学困难问题的过程。
安全规约-郭福春
qq_43479839的博客
05-25 3563
安全规约 参考书籍：郭福春老师的《Introduction to Security Reduction》 在b站，郭老师有视频在更新，网址：https://www.bilibili.com/video/BV1AK4y177XM?share_source=copy_web 以及郭老师的主页有安全规约书的电子版，自取。以及在这里面的ppt在郭福春老师的主页也有。如果有不知道怎么下载电子版的，可以私信我。 这里写目录标题安全规约安全规约第一讲(链接)安全规约第二讲(链接) 总共是下面的十二次课。 安全规约第一讲
第二讲可行性研究与需求分析.pptx
10-07
* 安全规约 软件可行性研究和需求分析是软件开发的重要步骤，它们决定了软件项目的可行性和开发方向。本章对软件可行性研究和需求分析的概念、步骤和方法进行了详细的讲解，为软件开发人员提供了有价值的参考。
商务智能及其应用：第4讲 分类与预测.pdf
06-29
商务智能领域的第四讲主要探讨了分类与预测技术，这是数据分析和机器学习中的核心概念。分类旨在根据给定的特征将数据对象分配到预定义的类别中，而预测则是基于历史数据对未来事件进行估算。这一讲涵盖了以下几个...
第2讲 系统模型
Lora青蛙的博客
12-27 1346
文章目录2.1 简介2.2 物理模型2.3 体系结构模型2.4 基础模型 2.1 简介 不同类型的分布式系统具有一些重要的基本特征，也有公共的设计问题 分布式系统的困难和威胁:使用模式的多样性 系统环境的多样性 内部问题 外部威胁 物理模型 -描述系统的最显式的方法，系统的硬件组成 体系结构模型 -描述系统的计算元素执行的计算和通讯任务 基础模型 -采用抽象的观点描述分布式系统的某个方面 -交互模型、故障模型和安全模型 2.2 物理模型 物理模型是从计算机和所用网络技术的特定细节中抽象出来的分布式系统底层硬
安全归约基础——Basic Concepts
Lkio的博客
04-11 423
Security Reduction
安全性归约（安全性定义 - 2）
weixin_44885334的博客
11-11 560
完美安全性：密文分布与明文分布相互独立，不同明文的密文是不可区分的， {Enc(k,x;r): k←Gen, x←Xλ}≡{Enc(k,x′;r): k←Gen, x′←Xλ} \{Enc(k,x;r):\, k \leftarrow Gen,\, x \leftarrow X_\lambda\} \equiv \{Enc(k,x';r):\, k \leftarrow Gen,\, x' \leftarrow X_\lambda\} {Enc(k,x;r):k←Gen,x←Xλ​}≡{Enc(k,x′;r
安全性归约（基础）
weixin_44885334的博客
11-09 1097
现代密码学的**三个层次**： 1. 基本困难问题 2. 基于困难问题建立的密码原语（Cryptographic primitive） 3. 密码方案、密码协议、应用系统 安全性： 1. **信息论安全**，两个分布几乎完全相同 2. **计算安全**，两个分布不同（甚至差异很大），但是概率多项式时间（PPT）不可区分 **可证明安全**：给出安全模型，设计方案，归约证明安全性（攻击密码方案的计算复杂度，不低于求解基础困难问题） 1. 基于**模拟**的模型 2. 基于**游戏**的模型 构建密
安全归约笔记Introducing to Security Reduction
最新发布
wwwwz9的博客
10-25 256
分享关于郭福春老师的安全归约的学习笔记
密码学与网络安全—知识点总结
热门推荐
qq_50860232的博客
12-23 1万+
前言 本文为期末考试后结合一些资料整理完成的，涵盖山东大学软件学院信息安全导论的课程主要内容，参考书为《密码编码学与网络安全》。我列居了80个名词概念，20多道经典问答题。 先附上所有知识点的word版与pdf版，并添加了目录，方便复习。 文章目录前言一、概念（名词解释）1、对称加密2、会话密钥3、混合密码体制:4、非对称加密/公钥/私钥:5、数字证书（digital certificate）6、CA机构7、分组算法Block Cipher：8、流算法 Stream Cipher:9、LFSR（linear
模n整数乘法群
shazi4399的博客
03-03 4953
一、背景 这个「模n整数乘法群」用符号表示是这个样子 其中，右上角星花表示去掉0。 二、含义 2.1 模 n 加法群 2.2 模 n 整数乘法群 三、定理
算法概论8.14 最大团问题归约
obrcnh的博客
12-31 2372
NP完全问题 归约
密码学—安全归约问题(Reduction)
BlockchainY的博客
06-16 3797
Reduction in Cryptography me看了很多文章，但是还是有点不太明白，总之学习之前你你要有一定的密码学基础以及要记住一句话：“原命题与逆否命题同真同假！” 归约 首先用词应该是归约(reduction)，而不是规约。 归约通俗的讲，就是把一个密码方案的安全性建立在一个已知的困难问题上。我们假设存在PPT的敌手(adversary)可以以不可忽略(non-negligible)的优势(advantage)攻破此密码方案，那么通过归约(reduction)，就可以同样以不可忽略的优势破解
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值