密码学消息鉴别

news2025/1/10 21:39:51

信息安全

完整性
1.数据完整性:数据未被篡改或损坏。数据是不可否认的,发送方和接收方不能抵赖处理了数据。
2.系统完整性:系统未被非授权使用。
真实性
确认实体是它声明的,适用于用户、进程等等的合法的信息(是否真的需要)。

对于数据来说,是不存在认证和合法性校验的,所以数据的完整性只包括是否被篡改和损坏,是否被处理过。而需要将认证和合法性单独抽离出来作为一个抽象的方面。

通信系统典型攻击

数据机密性方面:窃听,业务流分析
消息鉴别方面:消息篡改(内容,顺序,时间),冒充
数字签名方面:接受者或发送者否认收到或者发送过消息。

消息鉴别

证实收到的消息来自可信的源并且未被篡改的过程。

目的:
1.验证发送者是真正的,不是冒充的,源识别。
2.验证信息的完整性,在传送过程中未被篡改。

鉴别系统

鉴别系统模型:
在这里插入图片描述
即发送方使用编码器,接收方使用译码器,攻击者可以截获信道中的鉴别文本。密钥通过安全信道发送给双方。

安全的鉴别系统需要满足:
1.接收方可以验证消息的完整性,合法性和真实性。(数据完整性以及真实性)
2.消息不能被抵赖。(数据完整性)
3.除了合法的发送者,其他人不能发送消息。(系统完整性)

鉴别编码器和译码器可以抽象成鉴别函数。函数要产生一个鉴别标识,和鉴别协议,让接受者可以完整消息鉴别。

鉴别函数分类

产生鉴别符的函数基本分成三类:
1.消息加密函数:用完整消息密文作为对信息的鉴别
2.散列函数:以一个变长的报文作为输入,输出固定长度的散列码(也叫报文摘要),是公开的函数。
3.消息鉴别码MAC:公开函数+密钥产生一个固定长度的值作为鉴别标识。

消息加密函数

对称密码的加密提供保密和鉴别(只有双方持有这对密钥)
非对称密码的加密分3种情况:
A用B公钥加密,B用B私钥解密:提供保密性,无法提供鉴别
A用A私钥加密,B用A公钥解密:由于任何人都可以用A的公钥解密,因此不提供保密性。提供鉴别和签名。
A用A的私钥加密,再用B的公钥加密,B先用B的私钥解密,再用A的公钥解密:B的公钥提供保密性、A的私钥提供鉴别和签名。

密码学散列函数

输入任意长度报文,产出固定长度的消息摘要。同时提供了错误检测的能力。也称为数字指纹。

散列函数常见用法:
在这里插入图片描述
在这里插入图片描述
在这里插入图片描述
在这里插入图片描述

总的来说,明文被加密了就提供了保密性,散列函数提供了消息鉴别,如果利用私钥加密来提供数字签名。需要注意,消息鉴别只是提供数据完整性的保证,更多的保证要看具体的算法。而数字签名真的只是一个签名的功能,说明是公钥对应的私钥用户提供了签名。为什么对称密码没有签名功能,首先这个签名就至少有2个人可以签,因此签名一定是一个非对称下的概念。

RSA数字签名算法

公钥KU{e,n},私钥KR{d,p,q}
将消息划分成块,使得每块P<n
签名P时,计算 y = s i g ( P ) = p d ( m o d n ) y=sig(P)=p^d(modn) y=sig(P)=pd(modn)
验证签名时,计算 P ′ = y e ( m o d n ) = P P'=y^e(modn)=P P=ye(modn)=P
就和RSA加密算法差不多

弱点:
1.任何人可以对A的签名解密,已知明文攻击是容易的
2.如果有一组 ( x 1 , y 1 ) , ( x 2 , y 2 ) , 伪 造 ( x 1 x 2 , y ) (x_1,y_1),(x_2,y_2),伪造(x_1x_2,y) (x1,y1),(x2,y2)(x1x2,y)是容易的, y = y 1 y 2 y=y_1y_2 y=y1y2

解决办法:
引入散列函数并签名摘要。
验证时先用公钥解密散列函数起到签名验证,再计算明文的散列函数以鉴别。
用hash签名可以提高签名速度,不用泄露签名的信息(解密签名只能看见散列函数,不暴露明文),签名变换和加密变换分开,提供不同层次的抽象。

散列函数特性

需要保证散列函数不降低鉴别方案的安全性(因为散列函数相当于将信息降到了256维)。

如果攻击者有一个签名(x,y),其中y是x的散列值并签名后的值。如果攻击者找得到x’使得h(x)=h(x’),则(x’,y)也是一个合法的签名。
弱无碰撞:散列函数h是弱无碰撞的,是指给定消息x,计算上几乎找不到 x ′ ≠ x 且 h ( x ) = h ( x ′ ) x'\neq x且h(x)=h(x') x=xh(x)=h(x),也称抗第二原像攻击(抗弱碰撞攻击)

如果攻击者找到了一对明文x,x’,使得h(x)=h(x’),则攻击者让A对x签名,这个签名同样对x’合法。
强无碰撞:称散列函数是强无碰撞的,是指无法在计算上找到一对x和x’使得h(x)=h(x’),也称抗强碰撞攻击
强无碰撞是为了对抗生日攻击方法的防御方法。生日攻击表明对于n的取值空间,大约取 n \sqrt n n 个的随机变量就可以有一对随机变量碰撞在一起。
在这里插入图片描述

单向的:称散列函数是是单向的,是指计算h的逆 h − 1 h^{-1} h1在计算上不可行,也称抗原像攻击

hash函数通用结构

在这里插入图片描述
即迭代计算hash值

散列算法

MD5,SHA-1,RIPEMD-160,SHA-2,SHA-3,SM3

MD5
在这里插入图片描述
即明文分块迭代处理,密文反馈机制

在这里插入图片描述

消息鉴别码MAC

利用明文和密钥生成一个固定大小的数据块,称为MAC或者消息校验和。有点类似带密钥的hash算法。

作用:
1.接受者确保信息未被改变
2.确信信息来自发送者
3.如果消息中包含顺序码,接受者可以保证消息的正常顺序。
因此MAC和散列函数类似提供了一个鉴别的功能。

分组密码CMAC算法

CBC-MAC
在这里插入图片描述
可以看到和分组对称密码中的CBC算法类似,因为MAC也是一个对称密码

类似的CFB-MAC
在这里插入图片描述

基于hash的HMAC算法

HMAC和hash算法是解耦的,这样可以使用任意的hash算法。

算法:
在这里插入图片描述
即HMAC生成消息H(K xor opad, H(K xor ipad, text)),即提供一个密钥K进去,异或来对齐密钥长度,先对明文做一次hash,再对密文做一次hash。

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

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈,一经查实,立即删除!

相关文章

LVS-DR模式

文章目录一、LVS-DR集群介绍1、LVS-DR 工作原理2、 数据包流向分析3、LVS-DR 模式的特点4、LVS-DR中的ARP问题4.1 问题一4.2问题二二、构建LVS-DR集群的步骤实验环境准备&#xff1a;1、配置负载调度器&#xff08;192.168.2.66&#xff09;1.1 配置虚拟 IP 地址&#xff08;VI…

HTML+CSS+JS网页设计期末课程大作业—— 艺术官网17页(包含登陆注册)

⛵ 源码获取 文末联系 ✈ Web前端开发技术 描述 网页设计题材&#xff0c;DIVCSS 布局制作,HTMLCSS网页设计期末课程大作业 | 公司官网网站 | 企业官网 | 酒店官网 | 等网站的设计与制 | HTML期末大学生网页设计作业&#xff0c;Web大学生网页 HTML&#xff1a;结构 CSS&#…

力扣(LeetCode)22. 括号生成(C++)

回溯 括号合法的性质&#xff1a; 任意前缀的左括号数大于右括号数左括号和右括号的数量相等。 根据性质 &#xff0c; 写递归体 。 class Solution { public:vector<string> ans;vector<string> generateParenthesis(int n) {dfs(n,0,0,"");return …

Mosaic数据增强

paper&#xff1a;YOLOv4: Optimal Speed and Accuracy of Object Detection mosaic data augmentation最早是在YOLO v4的文章中提出的&#xff0c;但其实在ultralytics-YOLOv3中就已经实现了。具体就是将4张样本拼接成一张图&#xff0c;具有以下优点&#xff1a;&#xff08…

C++string—常用接口介绍+模拟实现+习题讲解

如果调试一个程序让你很苦恼&#xff0c;千万不要放弃&#xff0c;成功永远在拐角之后&#xff0c;除非你走到拐角&#xff0c;否则你永远不知道你离他多远&#xff0c;所以&#xff0c;请记住&#xff0c;坚持不懈&#xff0c;直到成功。 目录 前言 1.string类的常用接口 1.1s…

c++提高篇——模板(下)

c提高篇——模板&#xff08;下&#xff09;一、类模板二、类模板与函数模板区别三、类模板中成员函数创建时机四、类模板对象做函数参数一、类模板 类模板可以建立一个通用类&#xff0c;类中的成员数据类型可以不具体制定&#xff0c;用一个虚拟的类型来代表。 类模板的语法…

周赛补题

leetcode &#xff1a; 第一题https://leetcode.cn/problems/number-of-unequal-triplets-in-array/可以直接暴力 class Solution { public:int unequalTriplets(vector<int>& nums) {int sum 0;int n nums.size();for(int i 0; i < n; i ){for(int j i …

kmp算法记录

看了如何更好地理解和掌握 KMP 算法?之后&#xff0c;做的整理 相关知识 尽管普通模式匹配的时间复杂度是O(mn)&#xff0c;KMP 算法的时间复杂度是O(mn)&#xff0c;但在一般情况下&#xff0c;普通模式匹配的实际执行时间近似为O(m n)&#xff0c;因此至今仍被采用。KMP算法…

一文弄懂CNN中的BatchNorm

1. 引言 本文重点介绍BatchNorm的定义和相关特性&#xff0c;并介绍了其详细实现和具体应用。希望可以帮助大家加深对其理解。 嗯嗯&#xff0c;闲话少说&#xff0c;我们直接开始吧&#xff01; 2. 什么是BatchNorm&#xff1f; BatchNorm是2015年提出的网络层&#xff0c…

一文讲懂高并发分布式系统,听不懂你来打我

众所周知&#xff0c;在分布式系统的设计与建立中&#xff0c;其中一个要考虑的问题就是高并发。 那么&#xff0c;到底什么是高并发呢? 简单来说高并发就是指通过设计系统&#xff0c;使之实现可以同时处理多个请求的能力。 现在的高并发系统主要存在有两种实现方式&#…

Utilizing Transformer Representations Efficiently

ContentsIntroductionDifferent Pooling StrategiesPooler OutputLast Hidden State OutputHidden States OutputMore...ReferencesIntroduction 在用预训练模型微调时&#xff0c;我们比较习惯于直接用 Transformer 最后一层的输出经过 FC / Bi-LSTM… 后输出最终结果。但实际…

Perforce P4V 资源汇总

Perforce P4V 入门https://download.csdn.net/download/love_xiaozhao/20533522 P4 Command Referencehttps://download.csdn.net/download/love_xiaozhao/20534062 P4V文件状态命令速查表https://download.csdn.net/download/love_xiaozhao/20533404PerforcexHelix分支策略_…

【android Framework 探究】android 13 aosp编译全记录

写在开始 自从关注Framework这一块儿&#xff0c;就有了自己编译aosp刷机的想法&#xff0c;模拟器当然是可以的&#xff0c;但是体验感还不能和真机想比&#xff0c;于是买一个二手piexl的想法就有了&#xff0c;根据预算选定piexl 5&#xff0c;支持最新的android 13&#xf…

编码命名方式知多少

文章目录1.camel case &#xff08;驼峰式&#xff09;2.snake case &#xff08;蛇形式&#xff09;3.kebab case &#xff08;烤串式&#xff09;4.匈牙利命名法5.小结参考文献编码时&#xff0c;命名无处不在。比如我们需要对文件命令&#xff0c;对目录命名&#xff0c;对变…

m低信噪比下GPS信号的捕获算法研究,使用matlab算法进行仿真

目录 1.算法概述 2.仿真效果预览 3.MATLAB部分代码预览 4.完整MATLAB程序 1.算法概述 GPS系统的星座部分是由21颗工作卫星和3颗在轨备用卫星组成&#xff0c;其高度为20183km&#xff0c;这24颗卫星均匀分布在6个等间隔的、相对轨道面倾角为55的近圆轨道上。 ​ GPS卫星的…

处理csv、bmp等常用数据分析操作--python

请先看思维导图&#xff0c;看是否包含你所需要的东西&#xff0c;如果没有&#xff0c;就可以划走了&#xff0c;免得浪费时间&#xff0c;谢谢 条条大路通罗马&#xff0c;我只是介绍了我掌握的这一条&#xff0c;不喜勿喷&#xff0c;谢谢。 目录 一、创建文件夹&#xff0…

一行日志,让整个文件导出服务导出内容都为空..

输出一行日志&#xff0c;却让整个文件上传服务挂了...问题分析小结问题 直接上代码&#xff0c;看看有无眼尖的小伙伴发现问题&#xff1a; // 设置参数 MultiValueMap<String, Object> param new LinkedMultiValueMap<>(); FileSystemResource resource new …

log4cpp初入门

目录下载与安装log4cpp框架CategoryAppenderLayoutPriortyOutput功能日志级别⽇志格式化⽇志输出日志回滚日志配置文件下载与安装 https://sourceforge.net/projects/log4cpp/ tar xvf log4cpp-1.1.3.tar.gz cd log4cpp ./configure make make check make install ldconfig…

轻松玩转树莓派Pico之三、Windows+Ubuntu虚拟机模式下VSCode C语言开发环境搭建

目录 1、VSCode下载与安装 2、VSCode基础插件安装 3、SSH连接与配置 4、SSH免密登录 5、Pico编译 工欲善其事&#xff0c;必先利其器。之前的介绍的Pico流程都是通过命令行编译&#xff0c;没有进行更深入的介绍&#xff0c;本文将介绍Pico的VSCode-C语言开发环境搭建与配…

Rust WASM 与 JS 计算素数性能对比

前言 刚接触Rust wasm&#xff0c;请各看官高抬贵手。 简介 根据网上资料&#xff0c;使用 wasm-pack 搭配wasm-bindgen将Rust代码编译成 wasm。 搭好环境后&#xff0c;想对比一下rust-wasm与js的性能差距。 环境 OS: Deepin 20.7.1 apricotKernel: Linux 5.15.34CPU: Int…