真实世界的密码学(四)

原文:annas-archive.org/md5/655c944001312f47533514408a1a919a

译者:飞龙

协议:CC BY-NC-SA 4.0

第十六章:加密何时何地失败

本章涵盖

  • 使用加密时可能遇到的一般问题

  • 遵循烘烤良好的加密的要点

  • 加密从业者的危险和责任

问候,旅行者;你走了很长的路。虽然这是最后一章,但重要的是旅程,而不是终点。你现在已经装备好了进入真正的加密世界所需的装备和技能。剩下的就是应用你所学到的知识。

在我们分道扬镳之前,我想给你一些提示和工具,这些对接下来的事情会有用。你将面临的任务经常遵循相同的模式:它始于一个挑战,将你引向一个现有的加密原语或协议的追求。从那里,你会寻找一个标准和一个良好的实现,然后你会尽可能地利用它。这是如果一切按计划进行的话。 . . .

在我们分别之前

试图弥合理论与实践之间差距的人将不得不打倒许多龙。这是你的剑 —— 拿去吧。

外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传

找到正确的加密原语或协议是一项无聊的工作

你面对的是未加密的流量,或者需要相互认证的多个服务器,或者需要存储而不会成为单点故障的一些秘密。你会怎么做?

你可以使用 TLS 或噪声(在第九章提到)来加密你的流量。你可以建立一个公钥基础设施(在第九章提到)来通过某个证书颁发机构的签名来验证服务器,你还可以使用阈值方案(在第八章中涵盖)来分发一个秘密,以避免一个秘密的泄露导致整个系统的崩溃。这些将是很好的答案。

如果你面临的问题是常见的,那么你很有可能会发现一个已经存在的加密原语或协议直接解决你的使用情况。本书给出了标准原语和常见协议的良好概念,所以在这一点上,当你面临加密问题时,你应该很清楚你可以使用什么。

加密是一个非常有趣的领域,随着新的发现和原语的提出,它遍布各个地方。虽然你可能会被诱惑去探索奇特的加密来解决你的问题,但你的责任是保持保守。原因是复杂性是安全的敌人。无论何时做某事,尽可能简单是更容易的。尝试过于炫耀已经引入了太多的漏洞。这个概念被 Bernstein 在 2015 年称为无聊的加密,并且是 Google 的 TLS 库 BoringSSL 命名背后的灵感来源。

加密提议需要经受多年的仔细审查,才能成为可信任的字段使用候选人,尤其是当提议基于新颖的数学问题时

—Rivest 等人(“对 NIST 提案的回应”,1992)

如果找不到解决您问题的加密原语或协议怎么办? 这就是您必须踏入 理论 密码学世界的地方,显然这不是本书的主题。 我只能给出建议。

我将给你的第一个建议是免费书籍 A Graduate Course in Applied Cryptography,由 Dan Boneh 和 Victor Shoup 撰写,可在 cryptobook.us 获取。 这本书提供了出色的支持,涵盖了我在这本书中涵盖的所有内容,但更加深入。 Dan Boneh 还有一个令人惊叹的在线课程,“Cryptography I”,也可在 www.coursera.org/learn/crypto 免费获得。 这是一个更温和的理论密码学入门。 如果你想阅读介于这本书和理论密码学世界之间的东西,我强烈推荐 Serious Cryptography: A Practical Introduction to Modern Encryption(No Starch Press,2017),作者 Jean-Philippe Aumasson。

现在,让我们想象一下,您确实有一个现有的解决方案解决了您的问题。 加密原语或协议仍然是一个非常理论的东西。 如果它有一个您可以立即使用的实用标准,那不是很棒吗?

外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传

16.2 我如何使用加密原语或协议? 有礼貌的标准和形式验证

您意识到存在符合您需求的解决方案,那么它是否有标准呢? 没有标准,原语往往是在不考虑其真实世界使用的情况下提出的。 密码学家通常不考虑使用其原语或协议的不同陷阱以及实施它们的细节。 有礼貌的密码学 是 Riad S. Wahby 曾称之为关心其实现并且不留给实施者多少错误空间的标准。

可怜的用户被给予足够的绳子来上吊自己——这是标准不应该做的事情

—Rivest 等人(“对 NIST 提案的回应”,1992)

一个有礼貌的标准是一项旨在通过提供安全且易于使用的接口来解决所有边缘情况和潜在安全问题的规范,并提供了关于如何实现以及如何使用原语或协议的良好指导。 此外,良好的标准还具有相应的测试向量:匹配输入和输出的列表,您可以将其馈送到您的实现中以测试其正确性。

不幸的是,并非所有标准都是“友好的”,它们所造成的密码学陷阱是我在本书中谈论的大多数漏洞的原因。有时标准过于模糊,缺乏测试向量,或者试图一次做太多事情。例如,密码学灵活性是指协议在支持的密码算法方面的灵活性。支持不同的密码算法可以使一个标准具有优势,因为有时一个算法被破解和废弃,而其他算法没有。在这种情况下,一个不灵活的协议会阻止客户端和服务方轻松迁移。另一方面,过多的灵活性也会严重影响标准的复杂性,有时甚至会导致漏洞,正如 TLS 上的许多降级攻击所证明的那样。

不幸的是,更多的时候,密码学家不愿承认,当你的问题遇到主流原语或协议没有解决的边缘情况,或者当你的问题与标准化解决方案不匹配时,你会遇到麻烦。因此,看到开发人员创建自己的迷你协议或迷你标准是极其常见的。这就是麻烦开始的时候。

当对原语的威胁模型(它所保护的内容)或其可组合性(如何在协议中使用)做出错误假设时,就会出现问题。这些特定于上下文的问题被放大,因为加密原语通常是在一个独立的环境中构建的,设计者并没有必然考虑一旦原语在多种方式或在另一个原语或协议中使用时可能出现的所有问题。我举了很多例子:X25519 在边缘情况协议中破解(第十一章),签名被假定为唯一(第七章),以及在谁与谁通信方面的模糊性(第十章)。这并不一定是你的错!开发人员已经比密码学家聪明,揭示了没有人知道存在的陷阱。这就是发生的事情。

如果你发现自己处于这种情况下,密码学家的首选工具是纸笔证明。对于我们这些从业者来说,这并不是很有帮助,因为我们要么没有时间去做这项工作(确实需要很多时间),要么没有专业知识。不过,我们并不无助。我们可以利用计算机来简化分析迷你协议的任务。这被称为形式验证,可以很好地利用你的时间。

形式化验证允许您在某种中间语言中编写协议并对其进行一些属性测试。例如,Tamarin 协议证明器(见图 16.1)是一款形式验证工具,已经(并且正在)被用来发现许多不同协议中的微妙攻击。要了解更多信息,请参阅论文“Prime, Order Please! Revisiting Small Subgroup and Invalid Curve Attacks on Protocols using Diffie-Hellman”(2019)和“Seems Legit: Automated Analysis of Subtle Attacks on Protocols that Use Signatures”(2019)。

外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传

图 16.1 Tamarin 协议证明器是一款免费的形式验证工具,您可以使用它来对加密协议进行建模并找到其中的攻击。

另一面硬币是,使用形式化验证工具通常很困难。第一步是理解如何将协议转换为工具使用的语言和概念,这通常并不直观。在用形式语言描述了一个协议之后,您仍然需要弄清楚您想要证明什么以及如何在形式语言中表达它。

实际上,见到一个证明实际上证明了错误的事情并不少见,所以人们甚至可以问,谁来验证形式化验证?在这个领域的一些有希望的研究致力于让开发者更容易地形式化验证他们的协议。例如,工具 Verifpal (verifpal.com) 通过简化使用来换取声音(能够找到所有攻击)。

KRACK 攻击

在编写协议的形式描述与实际实现的协议之间,可能会产生关键性差异,从而导致现实世界的攻击和漏洞。这就是 2017 年发生的情况,当时 KRACK 攻击 (krackattacks.com) 破解了 Wi-Fi 协议 WPA2,尽管它先前已经经过形式验证。

你也可以使用形式化验证来验证密码学原语的安全性证明,使用像 Coq、CryptoVerif 和 ProVerif 这样的形式化验证工具,甚至可以在不同的语言中生成“经过形式验证”的实现(参见像 HACL*、Vale 和 fiat-crypto 这样的项目,这些项目实现了具有验证属性(如正确性、内存安全等)的主流密码学原语)。话虽如此,形式化验证并非万无一失的技术;论文协议与其形式描述之间或形式描述与实现之间的差距总是存在的,并且看起来无害,直到被发现是致命的。

研究其他协议失败的方式是避免犯同样的错误的绝佳方法。cryptopals.com或cryptohack.org挑战是了解在使用和组合加密原语和协议中可能出错的内容的好方法。底线——你需要彻底了解你正在使用的东西!如果你正在构建一个迷你协议,那么你需要小心,要么正式验证该协议,要么向专家寻求帮助。好了,我们有了一个标准,或者看起来像是标准,现在谁负责实现它呢?

外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传

16.3 哪里有好的库?

你离解决问题更近了一步。你知道你想使用的原语或协议,你也有了一个标准。同时,你也离规范更远了一步,这意味着你可能会产生错误。但首先,代码在哪里?

你四处看看,发现有许多可供您使用的库或框架。这是一个好问题。但是,你应该选择哪个库?哪一个最安全?这是一个难以回答的问题。一些库备受尊敬,我在本书中列出了一些:谷歌的 Tink、libsodium、cryptography.io 等等。

有时,找到一个好的库使用是困难的。也许你使用的编程语言对加密支持不多,或者你想使用的原语或协议没有那么多的实现。在这些情况下,谨慎一些并向加密社区寻求建议是很好的,看看库背后的作者,也许甚至向专家请求代码审查。例如,Reddit 上的 r/crypto 社区非常乐意帮助;直接给作者发邮件有时会奏效;在会议的开放麦克风环节询问观众也可能有所作用。

如果你处于绝望的境地,甚至可能不得不自己实现加密原语或协议。此时可能会出现许多问题,检查加密实现中常见问题是个好主意。幸运的是,如果你遵循一个好的标准,那么犯错就不那么容易了。但是,实现加密是一种艺术,如果可以避免的话,你不应该涉足其中。

一种有趣的测试加密实现的方法是使用工具。虽然没有单一的工具适用于所有加密算法,但谷歌的 Wycheproof 值得一提。Wycheproof 是一套测试向量,您可以使用它来查找常见加密算法(如 ECDSA、AES-GCM 等)中的棘手错误。该框架已被用于发现不同加密实现中令人印象深刻的大量错误。接下来,假设您没有自己实现加密,并找到了一个加密库。

外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传

16.4 加密的错误使用:开发者是敌人

你找到了一些可以使用的代码,你又前进了一步,然而你发现还有更多的机会引入错误。这就是应用密码学中大多数错误发生的地方。我们在本书中一再看到了错误使用密码学的例子:在 ECDSA(第七章)和 AES-GCM(第四章)等算法中重用 nonce 是不好的,当滥用哈希函数(第二章)时会出现碰撞,由于缺乏源身份验证(第九章),参与方可能会被冒充,等等。

结果显示,仅有 17%的错误出现在加密库中(这往往会产生严重后果),而其余 83%是由个别应用程序错误使用加密库造成的

—David Lazar, Haogang Chen, Xi Wang, and Nickolai Zeldovich(“加密软件为什么会失败?案例研究和未解决的问题”,2014 年)

一般来说,原语或协议越抽象,使用起来就越安全。例如,AWS 提供了一个密钥管理服务(KMS),可以将您的密钥托管在 HSM 中,并按需执行加密计算。这样,加密就在应用程序级别上抽象化了。另一个例子是编程语言在其标准库中提供加密功能,这些功能通常比第三方库更可信。例如,Golang 的标准库非常出色。

加密库对可用性的关注通常可以概括为“将开发者视为敌人”。这是许多加密库采取的方法。例如,Google 的 Tink 不允许您在 AES-GCM(见第四章)中选择 nonce/IV 值,以避免意外的 nonce 重用。为了避免复杂性,libsodium 库只提供了一组固定的原语,而没有给您任何自由。一些签名库在签名中包装消息,强制您在发布消息之前验证签名,等等。在这个意义上,加密协议和库有责任尽可能地使其接口对误用具有抵抗力。

我以前说过,我会再次说一遍——确保您理解您正在使用的所有细节。正如您在本书中所看到的,错误使用加密原语或协议可能以灾难性的方式失败。阅读标准,阅读安全注意事项,阅读您加密库的手册和文档。这就是全部吗?嗯,并不完全是这样……您不是唯一的用户。

外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传

16.5 你在做错事:可用安全

使用加密可以在很多时候以透明的方式解决应用程序的问题,但并非总是如此!有时,加密的使用会泄露给应用程序的用户。

通常,教育只能起到有限的帮助作用。因此,当发生不良事件时,指责用户绝非明智之举。相关的研究领域被称为可用安全性,在这个领域里,人们致力于使安全和与密码学相关的功能对用户尽可能透明化,尽量消除用户滥用的机会。一个很好的例子是浏览器逐渐改变了在 SSL/TLS 证书无效时发出简单警告的方式,而是使用户更难接受风险。

我们观察到的行为与警告疲劳理论相一致。在 Google Chrome 中,用户对最常见的 SSL 错误的点击速度更快、频率更高。 [. . .] 我们还发现,对于 Google Chrome 的 SSL 警告,点击通过率高达 70.2%,这表明警告的用户体验对用户行为有巨大影响

——Devdatta Akhawe 和 Adrienne Porter Felt(《警告国的爱丽丝:浏览器安全警告有效性的大规模现场研究》,2013)

另一个很好的例子是,安全敏感的服务已经从密码转向支持第二因素认证(在第十一章介绍)。因为强制用户使用强大的每服务密码太困难了,所以找到了另一个解决方案来消除密码泄露的风险。端到端加密也是一个很好的例子,因为用户始终很难理解他们的对话是端到端加密的意义,以及安全性有多大程度来自于他们主动验证指纹(在第十章介绍)。每当将密码学推给用户时,都必须付出巨大的努力来减少用户错误的风险。

故事时间

几年前,有人请我审查一个广泛使用的消息应用的端到端加密方案。该方案包括了常见的最先进协议,即 Signal 协议(在第十章介绍),但却没有提供用户验证其他用户的公钥(或会话密钥)的功能。这意味着,虽然在被动攻击者存在时,您的通信是端到端加密的,但恶意员工却可以轻易更新用户的公钥(或某些用户的会话密钥),而您却无法检测到中间人攻击。

外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传

16.6 密码学不是孤立存在的

密码学通常被用作更复杂系统的一部分,而这些系统也可能存在漏洞。实际上,大多数漏洞存在于与密码学本身无关的部分。攻击者通常寻找链条中最脆弱的环节,最容易攻击的目标,而密码学往往在提高门槛方面表现良好。涵盖系统可能更大更复杂,往往会产生更多可访问的攻击向量。阿迪·沙密尔曾经说过:“密码学通常是被绕过,而不是被突破。”

虽然努力确保系统中的密码学是保守的、实现良好且经过充分测试是好事,但也有益于确保对系统的其余部分也应用了同样程度的审查。否则,你可能白费了所有努力。

外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传

16.7 作为密码学从业者,不要自己设计加密算法

就是这样,这本书到此结束,你现在可以在荒野中自由驰骋。但我必须警告你,阅读这本书并不赋予你超能力;它只应该让你感到脆弱。让你意识到密码学很容易被误用,最简单的错误可能导致灾难性后果。请谨慎前行!

现在你已经掌握了丰富的密码学工具。你应该能够识别周围使用的密码学类型,甚至可能识别出可疑之处。你应该能够做出一些设计决策,知道如何在应用程序中使用密码学,并了解何时你或他人开始做一些可能需要更多关注的危险行为。永远不要犹豫寻求专家的意见。

“不要自己设计加密算法”可能是软件工程中最被滥用的密码学说法。然而,这些人在某种程度上是正确的。虽然你应该有能力实现甚至创建自己的加密原语和协议,但不应在生产环境中使用它。制作密码学需要多年才能做到正确:多年来学习该领域的方方面面,不仅从设计的角度,还从密码分析的角度。即使是终身研究密码学的专家也会构建破损的密码系统。Bruce Schneier 曾经著名地说过:“任何人,从最无知的业余爱好者到最优秀的密码学家,都可以创建一个他自己无法破解的算法。”此时,继续学习密码学就取决于你。这些最后的页面并不是旅程的终点。

我希望你意识到你处于一个特权地位。密码学起初是一个在闭门之后进行的领域,只限于政府成员或学术界保密,慢慢地演变成了今天的样子:一门在全世界公开研究的科学。但对于一些人来说,我们仍然处于(冷)战争时期。

2015 年,Rogaway 对密码学和物理学两个研究领域进行了有趣的比较。他指出,物理学在二战结束后不久就变成了一个高度政治化的领域。研究人员开始感到深刻的责任,因为物理学开始明显且直接地与许多人的死亡以及可能更多人的死亡相关联。不久之后,切尔诺贝利核事故将加剧这种感觉。

另一方面,密码学是一个经常被讨论隐私问题的领域,使密码学研究成为无政治性。然而,您和我做出的决定可能会对我们的社会产生长远影响。下次设计或实施使用密码学的系统时,请考虑您将使用的威胁模型。您是将自己视为可信方,还是以一种即使您也无法访问用户数据或影响其安全性的方式设计事物?您如何通过密码学赋予用户权力?您加密了什么?前 NSA 局长迈克尔·海登曾说:“我们根据元数据杀人” (mng .bz/PX19)。

外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传

2012 年,在圣巴巴拉海岸附近,数百名密码学家聚集在一个黑暗的讲堂里,聆听乔纳森·齐特兰的演讲,“加密的终结” (www.youtube.com/watch?v=3ijjHZHNIbU)。这是世界上最受尊敬的密码学会议 Crypto。乔纳森向房间里播放了来自电视剧《权力的游戏》的片段。在视频中,一个阉人瓦里斯向国王之手提利昂提出了一个谜语。这是谜语:

三位伟大的人坐在一个房间里:一个国王,一个神父和一个富人。他们之间站着一个普通的雇佣兵。每位伟大的人都让雇佣兵杀死其他两个。谁活着,谁死了?提利昂迅速回答:“取决于雇佣兵”,阉人回答:“如果是剑客统治,为什么我们要假装国王拥有所有权力?”

乔纳森停止了视频并指向观众,对他们大喊道:“你们明白你们是雇佣兵,对吧?”

摘要

  • 真实世界的密码学在应用方面往往失败。我们已经知道在大多数用例中使用的好原语和好协议,这使得它们的误用成为大多数错误的根源。

  • 大多数典型用例已经通过加密原语和协议解决。大多数情况下,您只需找到一个受人尊敬的实现来解决您的问题。确保阅读手册并了解在什么情况下可以使用原语或协议。

  • 真实世界的协议是通过像乐高积木一样组合加密原语构建的。当没有受人尊敬的协议解决您的问题时,您将不得不自己组装这些部件。这是极其危险的,因为加密原语有时在特定情况下使用或与其他原语或协议组合时会出现问题。在这些情况下,形式验证是发现问题的绝佳工具,尽管可能难以使用。

  • 实施加密不仅仅是困难的;您还必须考虑难以误用的接口(好的加密代码留给用户的空间很小,不容易出错)。

  • 保持保守,并使用经过验证的加密技术是避免后续问题的好方法。源自复杂性的问题(例如,支持过多的加密算法)是社区中的一个重要话题,远离过度设计的系统被称为“无聊的加密”。尽可能无聊。

  • 加密原语和标准都可能由于过于复杂难以实现或者对实现者应该注意的事项描述不清而导致实现中的漏洞。有礼貌的加密是指一种难以糟糕实现的加密原语或标准的概念。要有礼貌。

  • 应用中使用的加密有时会泄漏给用户。可用安全性是确保用户了解如何处理加密并且不会误用它的一种方式。

  • 加密并不是孤立存在的。如果你遵循本书给出的所有建议,那么你的大多数错误可能会发生在系统的非加密部分。不要忽视这些!

  • 通过这本书所学到的知识,确保对自己的工作负责,并且认真思考工作带来的后果。

附录:练习答案

第二章

如果哈希函数用作承诺方案,你能判断它是否提供隐藏和绑定吗?

一个哈希函数 隐藏 在于其预像抗性属性;即,如果你的输入足够随机,以至于没有人能够猜测到它。为了解决这个问题,你可以生成一个随机数,并将其与你的输入进行哈希,稍后你可以公开你的输入和随机数来 打开 你的承诺。哈希函数 绑定 在于第二预像抗性属性。

顺便问一下,这个字符串有没有表示 256 位(32 字节)的方法?这样安全吗?

我们不关心碰撞抗性。我们只关心第二预像抗性。因此,我们可以截断摘要以减小其大小。

你能猜到 Dread Pirate Roberts(Silk Road 网站管理员的化名)是如何得到包含网站名称的哈希的吗?

Dread Pirate Roberts 创建了许多密钥,直到其中一个以那个酷炫的 base32 表示形式进行哈希。Facebook 也是这样做的,并且可以从 facebookcorewwwi.onion (facebook.com/notes/protect-the-graph/making-connections-to-facebook-more-secure/1526085754298237) 访问。这些被称为 虚荣地址

第三章

你能想出可变长度计数器可能如何允许攻击者伪造身份认证标签吗?

通过观察以下消息,其中 || 表示字符串连接,MAC(k, "1" || "1 is my favorite number"),攻击者可以伪造第十一条消息的有效认证标签,MAC(k, "11" | " is my favorite number")

注意:并非所有的 MAC 都是 PRF。你能明白为什么吗?

假设以下函数是有效的 MAC 和 PRF:MAC(key, input),那么以下函数是有效的 MAC 吗?NEW_MAC = MAC(key, input) || 0x01?它是有效的 PRF 吗?它是有效的 MAC,因为它防止伪造,但它不是有效的 PRF,因为你可以很容易地区分输出和完全随机的字符串(因为最后一个字节总是设置为 1)。

第六章

如果每个人都使用相同的共享秘密会很糟糕;你能明白为什么吗?

如果我能用这个共享的秘密给你加密消息,我也可以解密其他人的消息。

你知道为什么不能立即使用密钥交换的输出吗?

记住你在第五章关于密钥交换学到的知识。在 (FF)DH 中,计算是在一个大素数 p 的模下进行的。让我们以小素数为例,65,537. 以十六进制表示,我们的 p 写为 0x010001,而在二进制中,它写为 0000 0001 0000 0000 0000 0001。在二进制中,注意到第一个 1 之前的零,因为我们将我们的数字表示为字节(8 位的倍数)。

如果你了解模算术,你会知道对于这个质数p的模数永远不会更大,这意味着前 7 位将始终被设置为 0。此外,第八位大多数情况下会设置为 0 而不是 1。这不是均匀随机的。理想情况下,每一位都应该有相同的概率被设置为 1 或 0。

第七章

正如你在第三章中所看到的,由 MAC 产生的认证标签必须以恒定时间验证,以避免时间攻击。你认为我们需要对验证签名做同样的事情吗?

不需要。这是因为验证认证标签涉及到一个秘密密钥。验证签名仅涉及公钥,因此不需要以恒定时间验证。

第八章

想象一下,将不同熵源混合在一起的方法只是简单地将它们进行异或。你能看到这可能会导致不可贡献吗?

一个带有后门的熵源可以将其输出设置为所有其他熵源的异或,有效地将所有熵取消为 0。

BLS 等签名方案(见图 8.5 和第七章中提到)会产生唯一的签名,但对于 ECDSA 和 EdDSA 却不成立。你明白为什么吗?

在 ECDSA 中,签名者可以选择不同的随机数产生相同密钥对和消息的不同签名。而 EdDSA 是一种签名算法,根据要签名的消息确定地推导出随机数,但这并不意味着签名者不能选择任何随机数。

第九章

如果服务器的私钥在某个时间点被泄露,那么中间人攻击者随后将能够解密所有先前记录的对话。你明白这是如何发生的吗?

攻击者随后将能够倒带历史并在握手时模拟服务器。实际上,攻击者现在拥有了服务器的私钥。执行密钥交换和推导握手后对称密钥的所有其他信息都是公开的。

实际证书tbsCertificate中不包含值signatureAlgorithmsignatureValue。你知道为什么吗?

认证机构(CA)需要签署证书,这导致了一个悖论:签名不能成为签名本身的一部分。因此,CA 必须将签名附加到证书上。其他标准和协议可能使用不同的技术。例如,你可以将签名作为tbsCertificate的一部分,并在签署或验证证书时假装它由全 0 组成。

第十章

你知道为什么电子邮件的内容在加密之前被压缩而不是之后吗?

根据密码的定义,密文无法与随机字符串区分开来。因此,压缩算法无法找到有效压缩加密数据的模式。因此,压缩总是在加密之前应用。

你能想到一种明确的签署消息的方法吗?

一句话:验证上下文。一种方法是在签名中包含发送者和接收者的姓名和他们的公钥,然后对其进行加密。

第十一章

有时应用程序试图通过让客户端在将密码发送到服务器之前进行哈希(也许使用密码哈希)来解决服务器在注册时了解用户密码的问题。你能确定这是否有效吗?

仅仅使用客户端哈希无法防止像臭名昭著的传递哈希攻击那样的攻击(en.wikipedia.org/wiki/Pass_the_hash);如果服务器直接存储 Alice 的哈希密码,那么任何窃取它的人也可以将其用作 Alice 的密码进行身份验证。一些应用程序同时进行客户端哈希和服务器端哈希,这种情况下或许可以防止主动攻击者知道原始密码(尽管主动攻击者可能通过更新客户端应用程序的代码来禁用客户端哈希)。

想象一种协议,你必须输入正确的 4 位 PIN 码才能安全连接到设备。仅仅猜测正确的 PIN 码的机会是多少?

这是一万分之一的机会猜对某件事。如果你在乐透中有这样的几率,你会很高兴的。

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

如若内容造成侵权/违法违规/事实不符,请联系我们进行投诉反馈qq邮箱809451989@qq.com,一经查实,立即删除!

相关文章

UE5、CesiumForUnreal实现建筑白模生成及白模美化功能

1.实现目标 在专栏上篇文章基于GeoJson文件生成城市级白模(本文建筑白模数量12w+)的基础上修改,计算法线和纹理坐标,并基于特定材质进行美化,美化后的白模GIF动图如下所示: 文章目录 1.实现目标2.实现过程2.1 基于Cesium材质美化2.1.1实现原理2.1.2 C++代码2.1.3 蓝图应…

网络基础先导

前言:最好在牢固前面几大件(编程语言、数据结构、操作系统),并且您有一个服务器的基础上(我使用的是腾讯云中配置最低的服务器)再来学习本系列的网络知识。 1.网络发展简要 下面就是简单提及一些概念而已&…

JDK17在Windows安装以及环境变量配置(超详细的教程)

目录 一、JDK17的安装包下载 二、安装JDK17 第一步:运行JDK的EXE文件 第二步:选择下一步 第三步:选择安装目录 第四步:安装完成 三、配置JDK17的环境变量 第一步:打开系统属性界面 第二步:打开高级…

深度学习系列64:数字人openHeygen详解

1. 主流程分析 从inference.py函数进入,主要流程包括: 1) 使用cv2获取视频中所有帧的列表,如下: 2)定义Croper。核心代码为69行:full_frames_RGB, crop, quad croper.crop(full_frames_RGB)。…

vue3引入element-plus

element-plus 是element-ui为适配vue3而开发element-ui的包。 vue3通过vite创建项目后, npm create vuelatest根据指令输入project信息。 1.完全引入 进入项目根目录执行 npm install element-plus在App.vue文件中引入安装element-plus import ./assets/main.…

服务注册与发现Eureka、Zookeeper、Consul 三个注册中心的异同点(CAP理论)

Eureka Eureka是由Netflix开源的一个服务注册和发现组件,它主要用于构建高可用、分布式系统的基础设施中。Eureka的服务器端被称为Eureka Server,客户端则是那些需要注册的服务。Eureka具有以下特点: 高可用性:Eureka支持多节点…

【代码】Python3|用Python PIL压缩图片至指定大小,并且不自动旋转

代码主体是GPT帮我写的,我觉得这个功能非常实用。 解决自动旋转问题参考:一行代码解决PIL/OpenCV读取图片出现自动旋转的问题,增加一行代码image ImageOps.exif_transpose(image) 即可恢复正常角度。 from PIL import Image, ImageOpsdef …

史上最全的四分之一、半车再到全车7自由度常规悬架建模与仿真之一

一、悬架建模的简化过程 汽车是一个复杂的振动系统,针对不同的需求进行不同的简化。在对悬架振动分析中,把汽车车身看做一个刚体,把驾驶员座椅和驾驶员拿掉;车身以下至车轮之间的橡胶垫,连接杆,弹簧等具有…

【已解决】电脑设置notepad++默认打开txt

1、以管理员的方式打开notepad 步骤:打开设置 -> 首选项 -> 文件关联 2、 设置Notepad默认打开 按照以下步骤将Notepad设置为默认打开.txt文件: 右键单击任何一个.txt文件。选择“属性”。在“常规”选项卡中,找到“打开方式”&#…

5.Eureka原理分析

消费者如何获取服务提供者具体信息? 1.服务提供者启动时向Eureka注册自己的信息。 2.Eureka保存这些信息。 3.消费者根据服务名称向Eureka拉取提供者信息。 如果有多个服务的提供者,消费者该如何选择? 1.服务消费者利用负载均衡算法&…

css-Echarts图表初始显示异常非完全显示

1.echarts图表初始加载异常 2.问题原因 初次加载时,由于外层使用%比 echarts dom元素没有完全加载完成,canvas绘画继承本身宽高,造成Echarts图表初始显示异常非完全显示。 3.使用echarts图表可参考以下代码(实现一定的自适应&am…

ccfcsp201312-2 ISBN号码

注意&#xff1a;50分 -- u10&#xff0c;最后一位为X 代码&#xff1a; #include <bits/stdc.h> using namespace std; string s; int a[12]; int main() {cin >> s;a[1] s[0] - 0;a[2] s[2] - 0;a[3] s[3] - 0;a[4] s[4] - 0;a[5] s[6] - 0;a[6] s[7] - …

英特尔直面AMD强势出击,新Xeon CPU 3D堆叠 288核

英特尔的新Xeon CPU直面AMD&#xff1a;3D堆叠 288核&#xff01; 英特尔加速其“四年五个节点”战略&#xff0c;计划在 2025 年推出搭载 3D 堆叠技术的 Clearwater Forest Xeon 数据中心 CPU。采用新的封装技术&#xff0c;该芯片将采用 tile-based CPU 设计&#xff0c;旨在…

Jackson 2.x 系列【29】Spring Boot 集成之 Redis 序列化/反序列化

有道无术&#xff0c;术尚可求&#xff0c;有术无道&#xff0c;止于术。 本系列Jackson 版本 2.17.0 本系列Spring Boot 版本 3.2.4 源码地址&#xff1a;https://gitee.com/pearl-organization/study-jaskson-demo 文章目录 1. 前言2. RedisTemplate3. RedisSerializer3.1 J…

Window中Jenkins部署asp/net core web主要配置

代码如下 D: cd D:\tempjenkins\src\ --git工作目录 dotnet restore -s "https://nuget.cdn.azure.cn/v3/index.json" --nuget dotnet build dotnet publish -c release -o %publishPath% --发布路径

LeetCode - 面试题 08.06. 汉诺塔问题

目录 题目链接 解题思路 解题代码 题目链接 LeetCode - 面试题 08.06. 汉诺塔问题 解题思路 假设 n 1,只有一个盘子&#xff0c;很简单&#xff0c;直接把它从 A 中拿出来&#xff0c;移到 C 上&#xff1b; 如果 n 2 呢&#xff1f;这时候我们就要借助 B 了&#xff0c;因…

【BUG】Hexo|GET _MG_0001.JPG 404 (Not Found),hexo博客搭建过程图片路径正确却找不到图片

我的问题 我查了好多资料&#xff0c;结果原因是图片名称开头是_则该文件会被忽略。。。我注意到网上并没有提到这个问题&#xff0c;遂补了一下这篇博客并且汇总了我找到的所有解决办法。 具体检查方式&#xff1a; hexo生成一下静态资源&#xff1a; hexo g会发现这张图片…

Linux安装Docker完整教程及配置阿里云镜像源

官网文档地址 安装方法 1、查看服务器内核版本 Docker要求CentOS系统的内核版本高于3.10 uname -r #通过 uname -r 命令查看你当前的内核版本2、首先卸载已安装的Docker&#xff08;如果有&#xff09; 2.1 确保yum包更新到最新 yum update2.2 清除原有的docker&#xff0c…

【Linux开发 第七篇】权限

权限 Linux组权限修改权限 Linux组 在linux中的每个用户必须属于一个组&#xff0c;不能独立于组外 文件/目录 所有者 一般为文件的创建者&#xff0c;谁创建了该文件&#xff0c;就自然的成为了该文件的所有者 这一列即为文件的所有者 修改文件的所有者&#xff1a; chown…

从C到JAVA之学习JAVA的第一周笔记

文章目录 java语言概述JDK与JRE编写执行过程第一份java代码解读编写编译运行其他 注释三种注释方法 java API文档关键字标识符数据类型基本数据类型自动类型提升规则引用数据类型 string概述String与基本数据类型的变量间的运算 运算符键盘录入运行控制语句数组定义与静态初始化…