加密与安全_密钥体系的三个核心目标之完整性解决方案

文章目录

  • Pre
  • 机密性
  • 完整性
    • 1. 哈希函数(Hash Function)
      • 定义
      • 特征
      • 常见算法
      • 应用
      • 散列函数常用场景
      • 散列函数无法解决的问题
    • 2. 消息认证码(MAC)
      • 概述
      • 定义
      • 常见算法
      • 工作原理
      • 如何使用 MAC
      • MAC 的问题
  • 不可否认性
    • 数字签名(Digital Signature)
  • 总结

在这里插入图片描述


Pre

加密与安全_常见的分组密码 ECB、CBC、CFB、OFB模式介绍

加密与安全_ 解读非对称密钥解决密钥配送问题的四个方案

密钥体系的三个主要目标

机密性:确保第三者无法通过密文猜测出明文。
完整性:确保第三者无法篡改原文内容。
不可否认性:确保第三者不能冒充其他人发送消息。
在这里插入图片描述

接下来我们将围绕以下几点展开:

  1. 重述密钥体系的三个主要目标:机密性、完整性和不可否认性。
  2. 介绍确保机密性的对称密码和非对称密码的作用。
  3. 详细讲解如何通过技术手段确保消息的完整性。
  4. 介绍确保不可否认性的技术方法。
  5. 总结加密与消息完整性及不可否认性的方法及其应用场景。

机密性

对称密码:使用相同的密钥进行加密和解密。主要的实现方式包括AES、DES等。

  • 优点:加密速度快,适合大数据量的加密。
  • 缺点:密钥管理困难,需确保密钥的安全传递。

非对称密码:使用一对密钥进行加密和解密,公钥加密,私钥解密。主要的实现方式包括RSA、ECC等。

  • 优点:无需安全通道传递公钥,私钥无需共享。
  • 缺点:加密速度较慢,不适合大数据量的加密。

对称密码和非对称密码解决的是机密性,也就是确保 Eve 即便截获到密文,也无法猜测出 Alice 和 Bob 传递的是啥内容。


完整性

有的时候,Eve 并非需要破解消息。 比如 Alice 辛辛苦苦写了一个程序,Eve 晚上偷偷在程序后面追加了一些代码。 第二天 Alice 将被替换的程序发给了 Bob。 虽然 Eve 没有截获任何密钥,但事实上也破坏了 Alice 和 Bob 之间的信任关系。

所以密钥体系仍然需要解决完整性,即第三者无法篡改原文内容.

在这里插入图片描述

为了确保消息的完整性,即防止消息在传输过程中被篡改,我们可以使用以下技术手段:

1. 哈希函数(Hash Function)

定义

哈希函数将任意长度的数据映射为固定长度的散列值(哈希值)。 散列函数是一个单向计算函数,只有一个输入和对应的输出。f(x)=y . 其中x称为消息, 而y则称为散列值。 f(x)=y可以跟进消息内容计算出对应的散列值,而我们就可以通过散列值来检查信息的完整性

特征

一个合格工业级散列函数,必须具备以下特征

  • 固定长度的散列值

    无论x是多长的消息,单向散列函数必须能够生成固定长度的y(散列值)。比如SHA-256它所计算出来的散列值永远是 256 比特

  • 计算速度非常快

    当然快是相对的,尽管随着x的变大,计算时间势必会加长。但如果不能在现实的时间内计算出来,那么就丧失实际应用的价值了

  • 散列值的唯一性

    散列值的唯一性称之为抗碰撞性。也就是只要x不同那么计算出来的y一定不能相同。抗碰撞性分为两类: 强抗碰撞性和弱抗碰撞性

    弱抗碰撞性指的是x确定,那么y也就确定。 此时找到一个散列值等于y的x是非常困难的.

    在这里插入图片描述

    和弱抗碰撞性对应的是强抗碰撞性。强抗碰撞性指的是在茫茫数据集中,指定任意一个y,找到 x 和 x’ 是非常困难的

    在这里插入图片描述
    一个合格的散列函数,必须同时具备强抗碰撞性和弱抗碰撞性。

  • 单向性: 根据x可以计算出y,但无法根据y反推出x。

    在这里插入图片描述

哈希函数具有不可逆性和抗碰撞性,即难以通过哈希值反推出原始数据,也难以找到两个不同的输入具有相同的哈希值。

在一些场合中,单向散列函数也称之为"消息摘要函数"、“哈希函数"和"杂凑函数”. 计算出的散列值也称之为"消息摘要"或者"指纹"


常见算法

  • MD4/5 : MD 是消息摘要(Message Digest)的缩写。 常用的是 MD5,目前 MD5 已经被证实强抗碰撞性是不安全的,即根据 md5 的算法,现在已经可以产生具有相同y的两个不同x了。所以在安全性高的场合中,不建议使用 md5
  • SHA-1/256/384/512: 这是一个系列。后面的数字表示y的长度(SHA-1 除外)。 SHA-1 已经被证实强抗碰撞性是不安全的,而 SHA-256/384/512 仍未被攻破,所以后面这三个仍可以使用。后面这三类统称SHA-2
  • SHA-3: 算法和 SHA-2 已经完全不一样了。 SHA-3 使用的是Keccak算法。Keccak算法理论上可以生成任意长度的散列值,目前在 SHA-3 规范中规定了SHA3-224\256\384\512这四种版本。Keccak使用的是一种称之为海绵结构的分组算法,大意是将x进行分组,然后每个分组计算生成y’,再将y’作为输入和下一个明文分组一起计算
  • RIPEMD-160: 这个算法系列有两个版本: RIPEMD 和 RIPEMD-160。 其中 RIPEMD 已经被证实强抗碰撞性是不安全的。但 RIPEMD-160 仍然是安全的

应用

  • Alice发送消息前,计算消息的哈希值,并将消息和哈希值一起发送给Bob。
  • Bob收到消息后,计算消息的哈希值,并与Alice发送的哈希值比较,确保消息未被篡改。

散列函数常用场景

  • 口令加密
  • 消息认证码
  • 数字签名
  • 伪随机数生成器
  • 一次性口令

散列函数无法解决的问题

散列函数只能确保信息内容不被篡改,而无法保证消息一定是从合法渠道发来的。 例如 Eve 可以伪装成 Alice 向 Bob 发送消息和对应的散列值。 Bob 接受到消息和散列值后,如果校验一致,那么也只能证明消息没有经过篡改,而无法证明消息是 Alice 发来的。

而为了解决这个问题,就需要同时使用散列值和数字签名了


2. 消息认证码(MAC)

概述

散列函数中,我们提到过通过散列函数我们确保消息原文并没有被篡改过。但无法保证消息是双方真实意思的表现。

比如说 Bob 收到一条借款消息,上面写着请 Bob 给 Alice 的银行账户 xxxxx 转 1000. Bob 通过计算消息内容的散列函数,证实消息没有被篡改过。 那么此时此刻,Bob 应该给这个账户转账吗?

不能!

因为 Bob 并不能证实这条消息是来自于 Alice 的。 有可能这条消息来自于 Eve。 所有仅通过散列函数只能解决是否篡改,而不能解决是否真实。

这是 Bob 以为的

在这里插入图片描述

而实际上却是这样的:
在这里插入图片描述

而消息认证码则可以解决这个问题.

定义

消息认证码是基于哈希函数或对称加密算法生成的一段固定长度的代码,用于验证消息的完整性和真实性。消息认证码是一种确认信息完整性并可以进行认证的技术,简称 MAC(Message Authentication Code)。 MAC 由两部分组成: 消息 + 共享密钥
在这里插入图片描述

和散列函数类似, MAC 可以将任意长度的消息计算出固定长度的输出值。但和散列函数不同的是,如果没有共享密钥,则无法计算出最终的 MAC 值。 所以通过这一个性质来确保安全性.

在这里插入图片描述

MAC = 单向散列 + 共享密钥

常见算法

HMAC (基于哈希函数的消息认证码), CMAC (基于块密码的消息认证码)等。

HMAC 的 H 指的是 Hash 的意思,是一种利用 Hash 来构造消息认证码的算法。 我们说过MAC = 散列函数 + 共享密钥 。 HMAC 使用的散列函数有:SHA-1、SHA-224、SHA-256、SHA-384、SHA-512 几种函数。

因此相对应的 HMAC 也称为:HMAC-SHA-1、HMAC-SHA-224、HMAC-SHA-256、HMAC-SHA-384、HMAC-SHA-512.

HMAC 用数学公式来表示是:

hash(opadKey || hash(ipadKey || message ))

其中:

ipadKey 是 key(密钥)ipad(内部 16 进制的 36 比特流) opadKey 是 key(密钥)opad(外部 16 进制的 5C 比特流)

所以 HMAC 是两层 HASH 的结果值。

在这里插入图片描述

步骤分解:

密钥填充:如果密钥不足预设长度(散列函数的分组长度),则填充’0’。如果长呢?那就用散列函数计算固定长度的散列值作为密钥值

  1. 将填充后的密钥与 Ipad 进行异或操作,最后达到散列函数分组长度。此时将此值称为IpadKey
  2. 将IpadKey附加在 message 开头
  3. 将第三步的结果输入 hash 函数,得出散列值
  4. 将填充后的密钥与 Opad 进行异或操作,最后达到散列函数分组长度。此时将此值称为OpadKey
  5. 将IpadKey附加在 message 末尾
  6. 将第六步的结果输入 hash 函数,得出散列值

工作原理

  1. Alice和Bob共享一个对称密钥。
  2. Alice使用共享密钥和哈希函数生成消息认证码,并将消息和消息认证码一起发送给Bob。
  3. Bob使用共享密钥和哈希函数重新计算消息认证码,并与Alice发送的消息认证码比较,确保消息未被篡改。

如何使用 MAC

以 Bob 和 Alice 之间借钱的例子开始说。 假设这俩人之间通过 MAC 确保安全性,那么双方处理流程应该大致是这个样子

在这里插入图片描述

  1. Alice 将借钱消息发给 Bob。
  2. Bob 收到借钱消息后并不急于执行,而是等着 Alice 发来消息认证码 Alice
  3. 通过共享密钥和散列函数计算出 mac
  4. Alice 将消息认证码发送给 Bob
  5. Bob 按照相同的规则计算一遍 Mac
  6. Bob将自己计算的 Mac 和 Alice 发来的 Mac 比对一遍。通过是否相同判断请求是否合法

MAC 的问题

在 MAC 算法里面既然提到了共享密钥,那么就无法逃离对称密钥体系的宿命:“密钥配送问题”。 而解决这个问题,目前来说只能依靠公钥密钥、Diffie-Hellman 密钥交换,密钥中心等解决方案.

使用 HMAC 可以解决消息合法性和完整性的问题,但却无法抵御重放攻击。 比如 Eve 截获到 Alice 和 Bob 之间的 Hmac 报文后,无限制的重复这段报文。 那么 Bob 就会无限制的进行转账。所以使用 HMAC 进行消息认证时,也会配合序号、时间戳等辅助信息,来判断报文是否需要处理。

同时 HMAC 也无法解决否认的问题,比如 Alice 完全可以事后否认找 Bob 借过钱,因为 Bob 完全有能力伪造出这段报文。即便 Bob 拿出了 MAC 值,也无法证明是 Alice 生成的。

那又该如何证明钱是由 Alice 借的呢?

这就需要数字签名技术了


不可否认性

不可否认性确保消息的发送者不能否认曾经发送过消息,这通常通过数字签名实现。

数字签名(Digital Signature)

定义:数字签名是一种基于非对称密码技术的认证机制,用于验证消息的发送者身份和消息的完整性。

工作原理

  1. Alice使用自己的私钥对消息的哈希值进行加密,生成数字签名,并将消息和数字签名一起发送给Bob。
  2. Bob使用Alice的公钥对数字签名进行解密,得到消息的哈希值,并计算接收到的消息的哈希值。
  3. Bob比较两个哈希值,若相同,则确认消息完整且由Alice发送。

优点

  • 提供身份认证和完整性验证。
  • 防止发送者否认发送过消息。

应用场景

  • 安全电子邮件、数字合同、软件分发等需要验证身份和完整性的场景。

总结

确保信息的机密性完整性不可否认性是密钥体系的重要目标。对称密码和非对称密码主要解决机密性问题。哈希函数、消息认证码(MAC)和数字签名是实现消息完整性和不可否认性的主要技术手段。

应用建议

  • 对于大数据量的加密,使用对称密码如AES。
  • 对于身份验证和不可否认性,结合使用非对称密码和数字签名。
  • 对于消息完整性,使用哈希函数和消息认证码。

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.rhkb.cn/news/376192.html

如若内容造成侵权/违法违规/事实不符,请联系长河编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

Objective-C 自定义渐变色Slider

文章目录 一、前情概要二、具体实现 一、前情概要 系统提供UISlider,但在开发过程中经常需要自定义,本次需求内容是实现一个拥有渐变色的滑动条,且渐变色随着手指touch的位置不同改变区域,类似如下 可以使用CAGradientLayer实现渐…

SpringBoot相关

SpringBoot 1. what springboot也是spring公司开发的一款框架。为了简化spring项目的初始化搭建的。 spring项目搭建的缺点: 配置麻烦依赖繁多tomcat启动慢 2 .springboot的特点(why) 自动配置 springboot的自动配置是一个运行时(更准确地说,是应用程…

基于JAVA+SpringBoot+Vue+uniApp小程序的心理健康测试平台

✌全网粉丝20W,csdn特邀作者、博客专家、CSDN新星计划导师、java领域优质创作者,博客之星、掘金/华为云/阿里云/InfoQ等平台优质作者、专注于Java技术领域和毕业项目实战✌ 🍅文末获取项目下载方式🍅 一、项目背景介绍: 该系统由三个核心角色…

数据库MySQL下载安装

MySQL下载安装地址如下: MySQL :: Download MySQL Community Server 1、下载界面 2、点击下载 3、解压记住目录 4、配置my.ini文件 未完..

走进linux

1、为什么要使用linux 稳定性和可靠性: Linux内核以其稳定性而闻名,能够持续运行数月甚至数年而不需要重新启动。这对于服务器来说至关重要,因为它们需要保持长时间的稳定运行,以提供持续的服务 安全性: Linux系统…

【python算法学习1】用递归和循环分别写下 fibonacci 斐波拉契数列,比较差异

问题: fibonacci 斐波拉契数列,用递归和循环的方法分别写,比较递归和循环的思路和写法的差别 最直接的思路,是写递归方法 循环方法的稍微有点绕,我觉得问题主要是出在,总结循环的通项公式更麻烦,难在数学…

《Linux系统编程篇》vim的使用 ——基础篇

引言 上节课我们讲了,如何将虚拟机的用户目录映射到自己windows的z盘,虽然这样之后我们可以用自己的编译器比如说Visual Studio Code,或者其他方式去操作里面的文件,但是这是可搭建的情况下,在一些特殊情况下&#xf…

【深度学习基础】MAC pycharm 专业版安装与激活

文章目录 一、pycharm专业版安装二、激活 一、pycharm专业版安装 PyCharm是一款专为Python开发者设计的集成开发环境(IDE),旨在帮助用户在使用Python语言开发时提高效率。以下是对PyCharm软件的详细介绍,包括其作用和主要功能&…

力扣-排序算法

排序算法,一般都可以使用std::sort()来快速排序。 这里介绍一些相关的算法,巩固记忆。 快速排序 跟二分查找有一丢丢像。 首先选择一个基准元素,一般就直接选择第一个。然后两个指针&#xff0c…

使用python获取城市经纬度以及城市间的距离、火车时间、所需成本等

这里写自定义目录标题 1 获取城市地理坐标2 获取交通数据3 数据存储4 代码整合 本案例研究选择了中国的五个中心城市(上海市、深圳市、北京市、广州市、杭州市)和25个边境城市(如巴彦淖尔市、白山市等)作为研究对象。通过调用高德…

Go泛型详解

引子 如果我们要写一个函数分别比较2个整数和浮点数的大小&#xff0c;我们就要写2个函数。如下&#xff1a; func Min(x, y float64) float64 {if x < y {return x}return y }func MinInt(x, y int) int {if x < y {return x}return y }2个函数&#xff0c;除了数据类…

vue实现a-model弹窗拖拽移动

通过自定义拖拽指令实现 实现效果 拖动顶部&#xff0c;可对整个弹窗实施拖拽&#xff08;如果需要拖动底部、中间内容实现拖拽&#xff0c;把下面的ant-modal-header对应改掉就行&#xff09; 代码实现 编写自定义指令 新建一个ts / js文件&#xff0c;用ts举例 import V…

前端的页面代码

根据老师教的前端页面的知识&#xff0c;加上我也是借鉴了老师上课所说的代码&#xff0c;马马虎虎的写出了页面。如下代码&#xff1a; <!DOCTYPE html> <html lang"en"> <head><meta charset"UTF-8"><title>Title</ti…

Databricks 收购 Tabular 的意义:数据开放框架的胜利

Databricks 宣布收购 Tabular&#xff0c;这是一个由 Apache Iceberg 的原始创建者开发的数据平台&#xff0c;在数据分析行业引发了涟漪。此次收购凸显了开放框架在数据领域日益增长的重要性&#xff0c;预示着数据管理、分析和 AI/ML 计划领域的创新、协作和可访问性的新时代…

QT实现自定义带有提示信息的透明环形进度条

1. 概述 做界面开发的童鞋可能都会遇到这样的需求&#xff0c;就是有一些界面点击了之后比较耗时的操作&#xff0c;需要界面给出一个环形进度条的进度反馈信息. 如何来实现这样的需求呢&#xff0c;话不多说&#xff0c;上效果 透明进度条 2. 代码实现 waitfeedbackprogressba…

如何在 CentOS 上配置本地 YUM 源

引言 CentOS 作为一个流行的企业级 Linux 发行版&#xff0c;依赖 YUM&#xff08;Yellowdog Updater, Modified&#xff09;来管理软件包。YUM 源&#xff08;Repository&#xff09;是软件包存储和分发的中心&#xff0c;它们通常位于互联网上。然而&#xff0c;在某些情况下…

科技与水利的完美融合:从数据采集到智能决策,全面解析智慧水利解决方案如何助力水利行业实现智能化管理

本文关键词&#xff1a;智慧水利、智慧水利工程、智慧水利发展前景、智慧水利技术、智慧水利信息化系统、智慧水利解决方案、数字水利和智慧水利、数字水利工程、数字水利建设、数字水利概念、人水和协、智慧水库、智慧水库管理平台、智慧水库建设方案、智慧水库解决方案、智慧…

c++ 多边形 xyz 数据 获取 中心点方法,线的中心点取中心值搞定 已解决

有需求需要对。多边形 获取中心点方法&#xff0c;绝大多数都是 puthon和java版本。立体几何学中的知识。 封装函数 point ##########::getCenterOfGravity(std::vector<point> polygon) {if (polygon.size() < 2)return point();auto Area [](point p0, point p1, p…

nodejs模板引擎(一)

在 Node.js 中使用模板引擎可以让您更轻松地生成动态 HTML 页面&#xff0c;通过将静态模板与动态数据结合&#xff0c;您可以创建可维护且易于扩展的 Web 应用程序。以下是一个使用 Express 框架和 EJS 模板引擎的基本示例&#xff1a; 安装必要的依赖&#xff1a; 首先&#…

mybatilsplaus 常用注解

官网地址 baomidou注解配置