安全规约第一讲：Definitions(Algorithm and Security Model)

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

安全规约第一讲：Definitions(Algorithm and Security Model)

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

标题xyi

下面这张图第一讲的大纲，并附上郭福春老师的照片±+。
在这里插入图片描述

1、Classical Cryptograpgy vs Modern Cryptography

经典密码和现代密码的区别。
（密码可以分三个阶段，）

  • 经典密码：古罗马时期，手算
  • 近代密码：二战时期，机算
  • 现代密码：20th，用数字电脑算
  • 现代密码与经典密码的区别：即有很正式的定义definition、模型models(安全模型和计算模型)、证明proofs（安全规约，game-hopping proof ）.

在这里插入图片描述

1.1 Clarified Concepts【Cryptology=Cryptography[以构造为主]+ Cryptanalysis[以分析为主]】

在这里插入图片描述

1.2 Clarified Concepts【Cryptology树状图】

在这里插入图片描述

2、How to Define Algorithms

当我们要构造cryptosystem，首先第一步就是定义算法algorithms。

当我们给定一个cryptosystem时，定义算法algorithms时，需要了解下面的:

  • 第一步：理解我们安全服务的目标是什么【用故事的形式描述】
  • 第二步：需要几方的参与。
  • 第三步： 当我们定义一个cryptosystem时，我们到底需要几个algorithms。
  • 第四步：每个算法需要用什么名字来命名。
  • 第五步：谁来运行每一个算法。【映射到前面的entity，即哪个entity来运行算法】
  • 第六步：每个算法输入和输出到底是什么。
  • 第七步：算法满足的正确性correctness.

在这里插入图片描述

2.1 通过一个数字签名去介绍怎么定义算法

第一步：我们的安全服务目标是什么。motivation【通过故事给出motivation】

在这里插入图片描述

第二步：给出涉及的entity

在这里插入图片描述

第三步： 当我们定义一个cryptosystem时，我们到底需要几个算法algorithms。

【可以透过第一步的故事知道到底需要几个算法：看里面设计有几个计算，一个generate，一个sign，一个verify】
在这里插入图片描述

第四步：每个算法需要用什么名字来命名。

在这里插入图片描述

第五步：谁来运行每一个算法。【映射到前面的entity，即哪个entity来运行算法】

在这里插入图片描述

第六步：每个算法输入和输出到底是什么。

在这里插入图片描述
再通过上面把每个算法的输入输出符号定义清楚之后，需要给出形式化严格的定义。（即要对其进行描述，给出其输入和输出的语言描述[尽量规范，但是不要copy]）
在这里插入图片描述

第七步：算法满足的正确性correctness.

在这里插入图片描述

3、How to Define Security Models[安全模型，可以看看西村密码学报第29期的《密码学入门之安全模型》]

在介绍安全模型之前在这里有三个问题：

  • 1、怎么去分析一个方案的安全性？：How to analyze the security of a scheme?【答：通过安全模型来进行分析】
  • 2、给定的一个方案（它是在一个安全模型下是安全的），那么它可以抵抗所有的攻击嘛？:Can a sheme(secure in a security )【答：不是，只能抵御在安全模型下描述的攻击】
  • 3、安全模型是为了一个提出的方案定义的嘛？:Is a security model defines for a scheme?【答：不是，为一个cryptosystem】
    在这里插入图片描述

3.1 what is security model?[证明某个方案在给定的安全模型下是安全的]

  • 1、当我们为一个cryptosystem提供一种方案的时候，我们不能分析他抵御很多攻击是安全的，例如重放攻击和合谋攻击。但是我们能分析这个提出的方案在安全模型下是安全的。【即我们不能直接去描述说，这个方案能抵御什么攻击，而是在某种安全模型下是安全的】
  • 2、一个**安全模型可以被看成是对于cryptosystem很多种攻击的抽象概念，**如果一个方案在某个安全模型下是安全的，则说明该方案可以抵御所有在该安全模型下描述的攻击。
  • 3、抽象的攻击主要关注：攻击者能知道什么信息，而不是攻击者怎么知道这些信息。
  • 4、一个安全模型是为一个cryptosystem定义，而不是对于一个方案。

在这里插入图片描述

3.2 How to Define a Security Model?【怎样去定义一个安全模型】

可以有俩种类型可以描述，一个是game，一个是实验的形式。这里只给出game的形式。
在用game描述安全模型的时候，只能用challanger和adversary之间的行为进行描述，其他的角色都不能在这里出现。

一个安全模型的定义：

  • 1、攻击者的能力：（攻击者如何询问信息？或者是攻击者什么时候询问信息？）
  • 2、攻击者的安全目标：（攻击者怎么能赢得游戏，即打破这个cryptosystem）

在这里插入图片描述

3.2.1 安全模型：正式的定义

在这里插入图片描述

3.2.2 定义安全模型时（When defining a security model）

因为当我们定义安全模型时，我们只考虑到算法algorithm定义的输入和输出，因为可能那个时候我们还没有具体的算法构造方案，但是并不重要，因为我们只关注算法的输入和输出。因为这样我们的安全模型才适用于cryptosystem中的所有方案。

下面给出了一个案列：自己看：
在这里插入图片描述
当定义安全模型时，注意下面俩点：

  • trivial attack:即如果一个攻击者可以做trival attack，则攻击者可以很容易得赢得这个游戏。

    所以我们要尽量将这个trivial attack给排除掉。attack其实是一种询问query。

  • 攻击者的strategy：即攻击者是如何获取信息的。

    所以，我们只需要在询问的时候，挑战者给正确且实诚的回复即可。

    上面trivial attack和strategy都是不考虑的，
    在这里插入图片描述

3.2.3 对于数字签名的安全模型【 案列】

在这里插入图片描述
下面实例中的“trivial attack”：即攻击者询问数字签名的签名私钥。一旦攻击者获得签名私钥，则很容易赢得游戏。【这种trivial attack在安全模型中，是需要被排除的】
在这里插入图片描述
用形式化的语言，去描述数字签名的安全模型：
下面值得注意的是：

  • Query其实就是攻击拥有的能力Capability
  • 在数字签名中的Forgery伪造签名，即是攻击者想要完成的goal。【即是安全模型需要达到的安全goal】
    在这里插入图片描述

3.3 Remarks on Security Model[在安全模型上的注意点]

3.3.1 Remarks on Security Model(1)

  • 一个cryptosystem可以有一个或多个的security service

  • 一个security service需要有一个security model。

  • 多个安全服务security service可能被一个特殊的security model给描述。在这里插入图片描述

3.3.2 Remarks on Security Model(2)

standard security model与standard model是不一样的。
标准安全模型standard security model并不一定是最强安全模型。【强或弱是需要对比才能凸显出来的，而不是一个是说弱就是弱】
在这里插入图片描述

3.3.3 Remarks on Security Model(3)
  • 强安全模型，即敌手能力更强，安全模型能够抵抗更强的敌手。
  • 并不是越强的安全模型就越好，这取决于你的安全应用需求。
  • 为什么需要weak security model，1、可能弱的安全会有更高效的方案 2、因为有效的方案只能在弱安全模型中证明安全。

在这里插入图片描述
下面就是为了规约的前提：没有安全模型，我们就不能把攻破方案抽象到一个解决一个数学问题，如果不能抽象到解决一个数学问题，则被办法做安全规约。
在这里插入图片描述

4、Examples for Pratice

4.1 Online/Offline Signatures[algorithms and security model for this cryptosystem]

在这里插入图片描述

4.2 Identity-Based Signatures[algorithms and security model for this cryptosystem]

在这里插入图片描述

4.3 Public-Key Encryption[algorithms and security model for this cryptosystem]

在这里插入图片描述

4.4 Identity-Based Encryption[algorithms and security model for this cryptosystem]

在这里插入图片描述

4.5 Identity-Based Broadcast Encryption[algorithms and security model for this cryptosystem]

在这里插入图片描述
在这里插入图片描述
可参考资料：《卧村密码学报第六期：《Introduction to Security Reduction》方案证明指南》

吃芒果干的熊孩子
关注
  • 5
    点赞
  • 踩
  • 18
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
密码学—安全归约问题(Reduction)
BlockchainY的博客
06-16 3645
Reduction in Cryptography me看了很多文章，但是还是有点不太明白，总之学习之前你你要有一定的密码学基础以及要记住一句话：“原命题与逆否命题同真同假！” 归约 首先用词应该是归约(reduction)，而不是规约。 归约通俗的讲，就是把一个密码方案的安全性建立在一个已知的困难问题上。我们假设存在PPT的敌手(adversary)可以以不可忽略(non-negligible)的优势(advantage)攻破此密码方案，那么通过归约(reduction)，就可以同样以不可忽略的优势破解
ISO_7637-1：2015_Part 1：Definitions and general considerations
09-05
这个标准的全称为“Road vehicles — Electrical disturbances from conduction and coupling — Part 1: Definitions and general considerations”，即“道路车辆—传导和耦合引起的电气干扰—第 1 部分：定义和...
安全规约-郭福春
qq_43479839的博客
05-25 3195
安全规约 参考书籍：郭福春老师的《Introduction to Security Reduction》 在b站，郭老师有视频在更新，网址：https://www.bilibili.com/video/BV1AK4y177XM?share_source=copy_web 以及郭老师的主页有安全规约书的电子版，自取。以及在这里面的ppt在郭福春老师的主页也有。如果有不知道怎么下载电子版的，可以私信我。 这里写目录标题安全规约安全规约第一讲(链接)安全规约第二讲(链接) 总共是下面的十二次课。 安全规约第一讲
四、安全规约
离开实践的理论是空洞的理论,没有理论指导的实践是盲目的实践
10-01 643
| 来源：阿里技术 微信公众号（id:ali_tech）。仅供于交流、学习、研究，勿用于商业用途！ 1. 【强制】隶属于用户个人的页面或者功能必须进行权限控制校验。 说明：防止没有做水平权限校验就可随意访问、修改、删除别人的数据，比如查看他人的私信 内容、修改他人的订单。 2. 【强制】用户敏感数据禁止直接展示，必须对展示数据进行脱敏。 说明：查看个人手机号码会显示成:158
安全规约（一）
小张要努力鸭
06-01 1864
本系列为《Introduction to Security Reduction》的学习笔记。同样的，我在阅读时更多的会关注公钥密码学相关的知识，因此对于数字签名等其他密码学相关的内容读者可以自己在书中进行查阅。
安全规约
wzx01234567890的博客
08-05 255
阿里巴巴开发手册之安全规约 用户数据必须脱敏 用户传入的任何参数必须做有效性验证 ssrf，缓存击穿，任意重定向 sql注入，order by 导致数据库慢查询
安全规约（二）
小张要努力鸭
06-04 639
本篇为安全规约（一）的第二次学习记录，接着第4章开始。
IEC 61508-4：2010_Part 4：Definitions and abbreviations.pdf
09-25
这份标准的第二版于2010年4月发布，替代了1998年的第一版，属于IEC的基本安全出版物。 IEC 61508 是一套全球认可的功能安全标准，涵盖了从设计、开发到维护整个生命周期的安全要求。该标准适用于各种工业领域，如...
Position based key exchange: definitions and implementations
01-20
in order to realize the cryptographic tasks, such as position based encryption, position based signature, position based key exchange and so on. Position based key exchange, as a basic primitive in ...
SAE J3016：2021 Taxonomy and Definitions for Terms Related to Dri
10-01
SAE J3016是由国际汽车工程师学会（SAE International）制定的一项标准，其核心内容是为道路机动车的驾驶自动化系统提供一个统一的术语分类与定义框架。这个标准在2021年的更新版本中，对自动驾驶技术的发展和应用...
SecurityAlg:常见安全加密算法Java实现
05-09
SecurityAlg 本项目是东南大学网络信息安全课程的大作业，使用Java实现常见安全算法，包括DES，AES，MD5， SHA，RSA等，在此基础设计了一个包含GUI的应用，要求如下： 图中M 表示明文， H 表示 Hash 函数， E 表示加密算法， D 表示解密算法， RKA表示发送方 A 的私钥， UKA表 示发送方 A 的公钥， RKB表示发送方 B 的私钥， UKB表示发送方 B 的公钥， ||表示组合。阴影部分表示加密后的结果。 安全算法使用说明 对称加密算法 对称加密算法包括 DES 和 AES，API 接口相同，以下用 SymEnc 来指代 DES 或 AES // iniKey为8-byte（DES）或16-byte（AES）的初始密钥 SymEnc symEnc = new SymEnc(iniKey); // 加密，msg为明文消息的字节数组，返回加密后密文消息
Domain-Driven Design Reference:Definitions and Pattern Summaries
02-16
本书是Eric Evans对他自己写的《领域驱动设计-软件核心复杂性应对之道》的一本字典式的参考书，可用于快速查找《领域驱动设计》中的诸多概念及其简明解释。书是英文版的，2015年3月修订版，我已经加了目录，方便大家...
安全归约基础（一）
2301_79553633的博客
09-20 719
在计算复杂性理论中，归约是将（解决）一个问题转化为（解决）另一个问题。与困难问题相比，分析密码方案的安全性相对困难，因此引入安全归约来分析密码方案的安全性。安全规约用于证明攻破一个方案意味着解决一个困难问题。在公钥密码学中，安全归约是将攻破密码方案转化为解决某个数学困难问题的过程。
【Java开发手册之安全规约】安全规约
fangdengfu123的博客
04-13 868
【强制】隶属于用户个人的页面或者功能必须进行权限控制校验。 说明：防止没有做水平权限校验就可随意访问、操作别人的数据，比如查看、修改别人的订单。 【强制】用户敏感数据禁止直接展示，必须对展示数据脱敏。 说明：查看个人手机号码会显示成:158****9119，隐藏中间 4 位，防止隐私泄露。 【强制】用户输入的 SQL 参数严格使用参数绑定或者 METADATA 字段值限定，防止
安全性算法
最新发布
Alphamilk的博客
10-06 687
一、安全性算法 二、基础术语 三、对称加密与非对称加密 四、数字签名 五、 哈希算法 六、哈希算法碰撞与溢出处理
安全规约第一章
weixin_51176105的博客
03-05 287
定义包括算法定义，困难问题的定义和概念的定义当我们每次提出一个Cryptosystem的时候，我们的第一步就是对它通过算法进行描述。Cryptosystem就是为了达到某种security service，通过若干算法的组成来达到目的，当自己的研究领域有Cryptosystem的时候，可以采用前人的，但是如果说研究领域拓宽，没有算法可用，这时候就可以尝试自己去定义一个算法。两种形式我们在定义安全模型的时候和算法一样，只考虑输入和输出，因为这个算法要适合所有的方案。
Java开发代码规范之安全规约
zrxJuly
11-16 1092
1。隶属于用户个人的页面或者功能必须进行权限控制校验。 说明：防止没有做水平校验就可随意访问、修改、删除别人的数据，比如查看他人的私信内容、修改他人的订单。2。用户敏感数据禁止直接展示，必须对展示数据进行脱敏。 说明：查看个人手机号码会显示成：178****3012 ，隐藏中间4位，防止隐私泄露。 【数据脱敏：对某些敏感信息通过脱敏规则进行数据的变形，实现敏感隐私数据的可靠保护。是数据库安全技
安全归约基础——Basic Concepts
Lkio的博客
04-11 366
Security Reduction
安全性归约（基础）
weixin_44885334的博客
11-09 895
现代密码学的**三个层次**： 1. 基本困难问题 2. 基于困难问题建立的密码原语（Cryptographic primitive） 3. 密码方案、密码协议、应用系统 安全性： 1. **信息论安全**，两个分布几乎完全相同 2. **计算安全**，两个分布不同（甚至差异很大），但是概率多项式时间（PPT）不可区分 **可证明安全**：给出安全模型，设计方案，归约证明安全性（攻击密码方案的计算复杂度，不低于求解基础困难问题） 1. 基于**模拟**的模型 2. 基于**游戏**的模型 构建密
org.xml.sax.SAXException: Bad envelope tag: definitions
05-23
这个错误通常是由于 SOAP 消息格式错误引起的。在 SOAP 消息中，envelope 标签必须是正确的，并且必须以正确的顺序包含其他标签（如 header 和 body）。请检查您的 SOAP 消息并确保 envelope 标签正确，并且包含正确...
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

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

抵扣说明：

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

余额充值