密码应用安全性评估要点之数字签名技术

密码应用安全性评估要点之数字签名技术

数字签名技术是现代密码算法中非对称密码算法和消息摘要算法相结合的十分优秀的解决方案,应用面广泛,涉及到的知识点很多,本文将从概念、技术实现、合规性分析等方面逐一进行讲解。

1.数字签名的含义和目标

1.1 什么是数字签名

数字签名(digital signature)是公钥密码算法的一类典型应用,常见应用场景为:发送方使用其私钥对消息进行处理得到签名值,接收方使用发送方的公钥对消息和签名值进行验证,简称“私钥加签,公钥验签”(相对应的使用公钥密码算法进行加密的流程为:“公钥加密,私钥解密”)。在此过程中可能使用到的主要密码算法有:非对称密码算法(又称公钥密码算法)、哈希算法(又称消息摘要算法、杂凑算法等)。

1.2 为什么要使用数字签名

数字签名可以视为传统意义上的签名在网络虚拟环境中的映射,用来确保通信网络中用户身份的真实性、所发送消息的完整性,以及消息发送行为的不可否认性。本文重点讨论数字签名技术如何实现对真实性和不可否认性的保护。真实性(Authenticity)需要解决的问题是:如何证明你是你(对这个问题的讨论已经上升到了哲学命题的高度)。常见的基于密码学技术的实现方式有:动态口令机制、基于对称密码算法或密码杂凑算法的消息鉴别码机制、基于公钥密码算法的数字签名机制等。有兴趣的读者可以去GB/T 15843《信息技术 安全技术 实体鉴别》中详细了解。不可否认性(Non-Repudiation)需要解决的问题是:避免用户对自身发起的行为的抵赖,又称抗抵赖。常见的基于密码学技术的实现方式为基于公钥密码算法的数字签名机制。

2.数字证书及PKI体系

上文中提到,数字签名的过程是使用用户私钥对消息进行处理进而得到签名值的过程,而提到公私钥对就不得不了解作为基础技术支撑的数字证书及其背后的PKI体系了。

2.1 数字证书格式

数字证书以ASN.1编码规范来进行描述。符合X.509 v3 版本的数字证书结构如下:证书版本号序列号签名算法颁发者证书有效期此日期前无效此日期后无效主题主题公钥信息公钥算法主题公钥颁发者唯一身份信息(可选项)主题唯一身份信息(可选项)扩展信息(可选项)…证书签名算法数字签名以下就是一个典型的SSL站点证书。

主流的数字证书格式有der、pem、pfx、p7b等,文件后缀有cer、crt、p12等,区别主要在于编码格式是二进制还是ASCII码,不同操作系统的支持情况也不一样。

关于数字证书的基础知识我们就介绍到这里,读者暂时只需要知道如何从数字证书中提取出公钥即可。以上图为例,此站点SSL证书中的公钥字段里面的以04e8开头的值就是这张证书的公钥,是公开给所有需要访问该站点的用户或终端的,通过使用这张证书,客户端可以实现对服务端的身份鉴别,同时可以为后续建立的SSL加密链路提供基础保证。

2.2 PKI体系

了解了数字证书的结构和作用以后,可能有读者会问那么数字证书是如何生成和注销的?这就需要依赖于一套完整的PKI体系了。PKI全称为Public Key Infrastructure公钥基础设施,该体系解决了证书生命周期相关的认证和管理问题,而这些功能主要依托于CA、RA等模块来实现。CA(Certification Authority)负责证书的颁发和吊销,接收来自 RA 的请求。RA(Registration Authority)对用户身份进行验证,校验数据合法性,审核通过以后将请求转发给 CA。证书资料库用来存储已签发的数字证书和公钥以及相关证书目录。证书吊销列表CRL/OSCP用来管理数字证书的注销等事宜。由于数字证书是由CA签发的,因此CA的权威性直接影响到数字证书的可信程度,一般来说由世界公认的顶级CA签发的证书都是被认为相对可信的,这也是为什么同样是HTTPS站点,浏览器提示有的站点的连接是安全的,有的是不安全的。原因就在于大部分浏览器和操作系统都内置了顶级CA的证书,通过对站点证书进行证书链验证以后,如果颁发该站点证书的CA机构在“受信任的根证书颁发机构”内,就会提示“连接是安全的”,如果不在,就会提示风险。

3.数字签名的原理及常见算法

下面介绍两种典型的数字签名算法实现原理,一种是国际通用算法中比较常见的RSA算法,另一种是我国商用密码算法体系中的SM2算法。

3.1 RSA算法数字签名流程

RSA是基于大素数分解难题的非对称密码算法,目前是世界通用的公钥密码算法之一。

签名过程

随机选择两个不相等的素数p和q,并计算n=p*q计算n的欧拉函数φ(n)=(p-1)(q-1)随机选择一个整数e(在1和r中间且与r互质)计算e对于φ(n)的模反元素d,满足e*d = 1 mod φ(n)将n和e封装成公钥,n和d封装成私钥计算消息m的消息摘要,记为 h(m)使用私钥(n,d)对h(m)加密,生成签名s = (h(m))^d mod n

验签过程

计算消息m的消息摘要,记为h(m)使用A的公钥(n,e) 和收到的s来计算H(m) = s^e mod n比较H(m)与h(m),相同则说明签名验证通过

3.2 SM2算法数字签名流程

SM2是我国密码商用密码算法体系中基于ECC椭圆曲线的公钥密码算法,在GB/T 32918.2-2016《信息安全技术 SM2椭圆曲线公钥密码算法 第2部分:数字签名算法》中详细介绍了SM2算法签名及验签过程的实现。

签名过程

G为选定椭圆曲线上的基点,选取dA为私钥,pA为公钥,pA=dA*G签名者用户A具有长度为entlenA比特的可辨别标识IDA,若没有特殊指定则一般默认为0x31323334353637383132333435363738ENTLA是由整数entlenA转换而成的两个字节待签名的消息为MZA=H256(ENTLA || IDA || a || b || xG || yG|| xA || yA),a、b为Fq中的元素,用来定义椭圆曲线,对于SM2算法而言一般来说是固定的,xG、yG和xA、yA分别为G点和pA点的横、纵坐标,ZA经过杂凑函数运算后长度为256位的杂凑值e=H(ZA||M),H为输出长度为固定位数的杂凑函数选取随机数k,计算(x1,y1)=k G计算r=(e+x1) mod n计算s=(k r dA)/(1+dA) mod n(r,s)即为签名值

验签过程

首先验证r和s是否在(1,n-1)集合中,若不在则验证失败随后计算t=(r+s) mod n ,如果t=0则验证失败然后通过t与s计算曲线上的点(x1,y1)=s G+t PA再计算R=(x1+e) mod n ,然后验证R与r是否相等,如果相等则表明验签通过。

可以看到,无论是RSA算法还是SM2算法,在对数据进行签名之前都会先进行哈希运算,实际上被签的数据并不是明文的消息值,而是经过各种处理后的消息摘要值,这也是数字签名技术无法用来保证数据机密性的原因。

3.3 攻击方法

RSA算法和SM2算法作为现代公钥密码算法的代表自身强度是经过时间考验的,然而这并不意味着绝对的安全,在配置失误的时候还是可能存在被攻击的风险的。由于在非对称密码算法中公钥是公开的,因此对私钥的保护要慎之又慎,私钥被破解也就意味着攻击者可以进行身份伪装、数据解密等操作。基于大素数分解难题的公钥密码算法中的n=p*q,若选取过小,可能导致过于简单的大数分解,进而破解出用户私钥,此类问题也是CTF中的Cryto类的重点考察对象。

而对基于ECC算法的公钥密码算法而言,随机数k如果固定,在获取两个不同用户的签名值的前提下可推导出私钥。这个漏洞最出名的安全事件是2010年Sony的PS3事件。

除了RSA和SM2算法以外,还有DSA/ECDSA等算法可用作数字签名,而这些公钥密码算法除了可做数字签名以外还可以用来进行数据加解密、密钥协商等。出于摩尔定律和安全性的考量,目前密钥长度在2048位以下的RSA算法以及同等强度的密码算法已经被认为不再安全。

在基于椭圆曲线上离散对数难题的密码算法实现中,算法的强度很大程度取决于选取的椭圆曲线。对于某些因曲线参数选取不当导致的弱曲线,则存在特殊的算法来显著降低计算复杂度,从而高效地求解离散对数问题,即可能存在后门漏洞。因此基于椭圆曲线密码算法实现过程中,建议使用我国商用密码体系的SM2算法以及GB/T 32918.5-2017《信息安全技术 SM2椭圆曲线公钥密码算法 第5部分:参数定义》标准定义的椭圆曲线参数。

4.数字签名格式解析及验证

4.1 常见数字签名格式

PKCS#1

又称裸签(Raw Sign),即签名值中只有签名信息,不包含消息值、用户证书等信息的数字签名格式。

PKCS#7

即签名中可以附带其他信息,如:签名证书信息、签名原文信息等。值得一提的是PKCS#7不仅仅可作为数字签名的格式规范,也可以用于封装证书、数字信封等。P7格式的数字签名又可以细分为以下两种。attached模式,又称P7A,即签名值中包含被签名的原文,但明文必须经过ASN.1编码。这样处理的话在通信过程中就无需重复传递原文,但会增加签名值的长度。detached模式,又称P7D,格式中不包含被签名原文信息。因此在对端进行验签操作的时候,还需要额外传递消息值才可进行验证。值得一提的是不管是P7A还是P7D格式的签名,被签名的原文可能都经过预处理,当验签不通过,而签名值、公钥都没问题的话,就需要考虑签名原文的格式是否正确了,需要具体情况具体分析。

4.2 数字签名的验证方法

a.密码产品实际运维过程中的身份鉴别实例

某密码厂商的KMS(密钥管理系统)产品在设备运维过程中使用”账户名”+“口令”以及Ukey+Pin码进行登录,这是一个非常典型的基于挑战响应机制的SM2算法签名验签来保证运维用户身份真实性的案例。整个身份鉴别过程的具体步骤如下:1、首次打开设备运维页面时服务端向客户端传递一个随机数,也就是身份鉴别过程中所谓的challenge“挑战”。使用代理工具进行截包,可以看到服务端返回了一个base64格式编码的random随机数字段。

2、客户端将该随机数传递给本地端口提交签名请求,智能密码钥匙进行运算得出签名值并返回。

3、客户端通过浏览器将签名值及其他登录的必要参数传给服务端,由服务端进行验签,通过后完成对客户端的身份鉴别及授权。

下面我们从交互的数据包中提取必要的元素进行数字签名的验证:通过对签名字段进行分析,发现是一个PKCS#7Attached格式的签名,签名数据中了包含了验签所需要的三要素:签名值、公钥、原文。使用ASN.1分析工具可以看到签名值中包含了服务器发回的随机数字段。

从客户端用户的数字证书中提取SM2算法公钥:

从签名字段中找到messageDigest并进行提取(消息值经过预处理的中间原文),以及最下方的签名值r+s格式:

将签名值、公钥及原文代入算法验证工具后签名成功通过验证。

b.使用数字签名技术保证电子签章的不可否认性

某公文流转系统中需调用ukey对上传的PDF版报告进行电子签章,此过程中使用了RSA算法保证签名的不可否认性。具体流程如下:1、客户端上传报告后,服务端向客户端返回对应的消息摘要值:

2、客户端向服务端发送客户端证书及文件id等信息:

3、客户端向服务端提交由RSA格式数字签名完成电子签章行为:

下面尝试使用openssl工具对此过程中进行的RSA数字签名操作进行验签。从第一步中把服务端返回的文件摘要值base64解码后保存为验签所需的的原文的文件。

从第2步的数据包中提取用户证书。

使用openssl工具进行RSA签名验证前需要先从cer格式的数字证书中导出pem格式的公钥文件。

将pem格式公钥文件进行base64解码并借用ASN.1分析工具可以看到,文件头中添加了RSA的算法标识符字段。

将第3步中客户端提交的签名值字段同样base64解码后另存为签名文件。

使用openssl工具进行RSA验签,指定数字证书文件、签名文件、原文、消息摘要算法,成功通过签名验证。

5.数字签名技术在密评及等保中的合规性判定

上文中提到,数字签名技术主要用来保护信息系统的真实性和不可否认性,而在我国的等保和密评合规体系的技术维度中也分别对相关的技术实现提出了保护要求,二者的测评要求和判定准则都是有区别的。前者主要依据的标准是GB/T 22239《信息安全技术 网络安全等级保护基本要求》;后者主要依据的标准是GB/T 39786《信息安全技术 信息系统密码应用基本要求》;就测评要求而言,密评考察的更加细致,技术层面的测评指标分为DAK三个维度进行量化打分。

5.1 真实性

等保三级系统中涉及到真实性的测评项主要有:8.1.4.1安全计算环境-身份鉴别d)应采用口令、密码技术、生物技术等两种或两种以上组合的鉴别技术对用户进行身份鉴别,且其中一种鉴别技术至少应使用密码技术来实现。

密评三级系统中涉及到真实性的测评项主要有:8.1 物理和环境安全a) 宜采用密码技术进行物理访问身份鉴别,保证重要区域进入人员身份的真实性8.2 网络和通信安全a) 应采用密码技术对通信实体进行身份鉴别,保证通信实体身份的真实性e) 可采用密码技术对从外部连接到内部网络的设备进行接入认证,确保接入的设备身份真实性8.3 设备和计算安全a) 应采用密码技术对登录设备的用户进行身份鉴别,保证用户身份的真实性f) 宜采用密码技术对重要可执行程序进行完整性保护,并对其来源进行真实性验证8.4 应用和数据安全a) 应采用密码技术对登录用户进行身份鉴别,保证应用系统用户身份的真实性

以上文4.2.a为例,密码产品的运维在等保测评中属于安全计算环境层面,在密评中属于设备和计算安全层面。本案例中,在密码产品的运维过程中使用了基于“挑战”-“响应”机制的SM2算法数字签名技术,辅助账户名+口令进行身份鉴别。

*从等保的角度来考察,案例中对密码产品的运维采用的是账户名口令以及智能密码钥匙的双因素认证,智能密码钥匙使用过程中进行的数字签名是密码技术的一种,因此是满足等级保护中安全计算环境-身份鉴别测评项相关要求的。

*从密评的角度来考察,还需要进一步分析身份鉴别过程中的算法及密钥合规性处理,用于进行密码运算智能密码钥匙和密钥管理系统都是取得了国家密码管理局商用密码产品认证证书的合规的密码产品,因此D、A、K三项都是符合的,也是满足设备和计算层面身份鉴别测评项相关要求的。

5.2 不可否认性

等保2.0中在四级及以上系统中提出了抗抵赖的要求:9.1.4.7安全计算环境-数据完整性c)在可能涉及法律责任认定的应用中,应采用密码技术提供数据原发证据和数据接收证据,实现数据原发行为的抗抵赖和数据接收行为的抗抵赖

密评三级系统中涉及到不可否认性的测评项主要有以下:8.4 应用和数据安全-不可否认性h)在可能涉及法律责任认定的应用中,宜采用密码技术提供数据原发证据和数据接收证据,实现数据原发行为的不可否认性和数据接收行为的不可否认性

以上文中的4.2.b为例,电子签章发生在应用层面公文流转的业务流程中,因此属于等保测评的安全计算环境层面,密评的应用和数据层面。

*从等保的角度来考察,使用了基于RSA算法的数字签名技术实现了电子签章的不可否认性。

*从密评的角度来考察,使用了非合规的RSA算法,D项可判符合,A项应判为不符合,由于参与RSA签名验签运算的智能密码钥匙和电子签章服务器均为合规的商用密码产品,因此K项应判为符合。应用和数据层面的不可否认性测评项最终综合得分为0.5分,部分符合。

6.数字签名的新技术和新应用

6.1 新兴技术

为了避免医患之间因为治疗产生的医疗纠纷事件,治疗方案可采用群签名或环签名技术,既有医生的签名,同时也不透露签名医生信息,在一定程度上可避免医患之间的纠纷。又如在:机密信息的批露、领导人的选举、电子商务、重要新闻发布、无线传感器网络等场景中,环签名都可发挥重要作用。在群签名方案中,群成员可以匿名代表整个群对消息签名,同时具备不可伪造性、可追踪性、不关联性和防陷害性等特征。在一个群签名方案中,群体中的成员都可以生成群签名,外界可以验证其合法性,但无法确定到底是哪一个成员,即匿名性。若外界对群签名存在争议,此时群管理员只需“打开”争议的签名,揭示真正的签名者,即追踪性。

6.2 区块链&Web3

比特币之父中本聪选用了基于secp256k1椭圆曲线的ECDSA算法来进行数字签名,这就是数字签名在区块链中的核心应用。区块链通过使用基于共识机制来检测交易的有效性,使用分布式数据库来保存数据记录,人们可以在一个共享账本中储存数据、交换价值并记录交易活动,而其中的每一笔交易的背后都有数字签名技术的支撑。区块链技术同时也是Web3的支柱,提供了安全的执行层,可以在其中创建、发行并交易加密资产,并且开发可编程的智能合约。

郑重声明:本文内容及图片均整理自互联网,不代表本站立场,版权归原作者所有,如有侵权请联系管理员(admin#wlmqw.com)删除。
(0)
用户投稿
上一篇 2022年6月18日
下一篇 2022年6月18日

相关推荐

  • 美元指数直线拉升近60点,非农数据好于预期

    美元指数直线拉升近60点,报106.4。8月5日数据显示,美国7月季调后非农就业人口增加52.8万人,预期增加25万人。

    2022年8月6日
  • 华为路由 Q6 售价 899 元起,家庭全屋 Wi-Fi 神器

    不久前,IT之家为小伙伴们介绍了一款家庭全屋 Wi-Fi 体验的神器,华为路由 Q6,相信很多朋友印象深刻。而就在今日,这款华为路由 Q6 正式迎来开售,1 母 + 1 子套装售价…

    2022年8月1日
  • 泛钛客科技:普惠融资租赁解决方案

    来源:“鑫智奖”第四届金融数据智能优秀解决方案评选 获奖单位:青岛泛钛客科技有限公司 荣获奖项:网络影响力TOP10优秀解决方案 一、解决方案简介 泛钛客科技普惠融资租赁解决方案基…

    2022年6月16日
  • 这3个后生,比马化腾、张一鸣还狠

      “我们从来都不是一家游戏公司。”   文丨华商韬略 耿康祁   2020年,传闻腾讯想要投资一家公司,“不管开什么条件,只要能入股就可以。”   但对方不仅直接让腾讯吃了个“闭…

    2022年6月21日
  • 5000左右空调推荐!5000左右立式空调!5000左右的空调柜机推荐

    5000左右这个价位买空调,首先要明确买挂壁式还是立式? 如果是买挂壁式的,那么在这个价位可以有非常多的选择,首先考虑国内一线品牌——格力,美的,海尔。 首先这三个品牌的空调在国内…

    2022年7月6日
  • 毛骨悚然!朱军案意外牵出弦子国外新身份,惊天阴谋防不胜防

    朱军的案子终于告一段落了,死咬不放的弦子下场如何? 最近朱军的事情又一次引起了公众的注意,他和弦子之间的三年官司终于以胜利告终,朱军也在央视的一档节目中崭露头角,这是在暗示他要重返…

    2022年6月15日
  • 元宇宙社交静悄悄,Web3社交悄悄起?

    元宇宙社交上一次闯入人们视线,还是今年2月贴靠元宇宙概念火起来的啫喱。除此之外,主打元宇宙的Soul尚在摸索,百度希壤面向企业用户缓步发展,字节跳动的派对岛迟迟未露面。 事实上,不…

    2022年6月14日
  • 天量高价值数据被窃取损失难以估量,低估的西北工大网络攻击

    国家计算机病毒应急处理中心发布西北工业大学遭美国NSA,也就是美国国家安全局,网络攻击事件调查报告。报告主要是关于2022年6月西北工业大学遭遇的网络攻击事件,背后主谋为美国国家安…

    2022年9月17日
  • 马龙为什么被称为六边形战士?

    马龙,1988年10月20日出生于辽宁省鞍山市,中国男子乒乓球队运动员,乒乓球奥运冠军,现任中国乒乓男队队长。 六边形战士是网络流行,源于日本媒体《东京乒乓球新闻》“二元次”六维雷…

    2022年7月24日
  • 同一高校录取概率相差59个百分点 AI填报高考志愿不靠谱

    随着高考成绩陆续揭晓,广大考生开始面临志愿填报的重要抉择。日前,网上出现了大量AI高考志愿填报助手,声称可一键生成志愿表、自动推荐大学和专业,并直接给出录取概率。AI的一键填报真的…

    2022年6月28日

联系我们

联系邮箱:admin#wlmqw.com
工作时间:周一至周五,10:30-18:30,节假日休息