《A Graduate Course in Applied Cryptography》Chapter 12 Chosen ciphertext secure pkc(4)finish

article/2025/9/23 0:06:04

原文教材 与 参考资料:

        Boneh Dan , Shoup Victor . A Graduate Course in Applied Cryptography[J].

        该书项目地址(可以免费获取):http://toc.cryptobook.us/

        博客为对该书的学习笔记,并非原创知识,帮助理解,整理思路。
 

12.6  CCA security via a generic transformation

本节主要描述的是一个自然的将CPA方案转换为CCA方案的方法,成为Fujisaki-Okamoto transformation, 这个转换技术允许有效的将一个公钥加密方案(即使安全性弱于CCA),转换为一个CCA安全的加密方案在随机谕言机模型下。当然,目前存在不依赖于随机谕言机的转换方案,但是我们需要注意的是存在不依赖于随机谕言机的转换方法,但是那些方法目前效率较低。

Fujisaki-Okamoto技术亦可以将部分基于格的方案,基于编码的方案与NTRU方案转换为CCA安全的,在随机谕言机模型下。

The Fujisaki-Okamoto transformation 

该技术允许从单向概率公钥加密方案构造一个单向陷门函数协议(即使有像谕言机),我们可以将FFO嵌入到TDF with 1CCA cipher 的方案中,从而获得一个RO-CCA的公钥加密协议。

得到如下的方案:

        加密算法:E是一个概率性算法,亦可使用一个确定性的表达方式,不过要加上随机空间,如下所示:E(pk,x:r)。

        解密算法:D是一个确定性的解密算法,不过收到错误密文不在返回一个终止符号,而是返回一个默认消息。

FO转换应用于一个公钥加密算法(CPA)的流程如下:

           将原始公钥加密方案的加密算法修改一个单向陷门函数:

  

 接着就是证明新的方案满足两个属性,单向性与不可预测性:

 单向性:很难从密文计算得到明文,详细的游戏细节描述如下:

 不可预测性:对于同一个明文的加密获得同样密文的概率可以忽略,这将有效的降低密文的可延展性(CCA)。形式化的定义如下:

 值得注意的是,单向假设和不可预测假设都已经被语义安全所实现,非常容易将任意的公钥加密协议转换为一个满足上述假设的方案,在不影响原本的单向假设下。

       如果U(随机化明文的函数)可以被视作为随机谕言机模型,并且该加密方案是单向且不可预测的,那么陷门函数协议FFO,是单向的在给于原像谕言机下,由于Fujisaki-Okamoto transformation。(这将意味着可以直接转换为本书12.4、5节提到的基于RO-1CCA的CCA构造)。

那么,我们将得到攻击该方案敌手的优势如下所示:

首先,定义Game 0运行敌手A和FFO在随机谕言机版本的陷门攻击游戏中,进一步修改挑战者构造Game 1,2。定义Wj 为敌手在Game j中,敌手的所有随机谕言机请求中包含秘密值x的事件。假设敌手对自己所有的输出都需要进行随机谕言机请求,那么显然,如果敌手在Game 0中的优势如下:

        在Game 0中,挑战者必须响应敌手的随机谕言机请求和镜像请求。使用Map记录随机谕言机的的输入与输出,敌手可以进行任意次的随机谕言机请求和任意次的镜像请求。并且使用另外一个表格Pre来跟踪敌手随机谕言机请求,记为Pre[y] = x,用以记录y的原像。

 Game 0: 描述如下所示:

           

 Game 1:修改的部分如下:

       将第(2)步修改为:

定义在Game 1中发生的事件为Z1,也就是说敌手提交了一个原像谕言机请求如下:

 那么,由Difference lemma 可以得到:

        如果Z1发生,意味着敌手找到了一个y`,与挑战y不相等,与之对应的原像x没有被作为随机谕言机请求过并且y`是一个合法的可以用私钥sk解密的y`, 即为存在原像。对于这种情况,在Game 1中,只可能是下述两种情况之一:

        在x与其询问原像相同的情况下,得到不同的加密值。或者,x与其询问原像不同,r对于敌手又是独立的,并且计算加密得到询问y`。由单向陷门函数的加密不可预测性,得到一下不等式:

 Game 2: 与Game 1相同,除了修改原像谕言机描述如下:

                  

 这里相比于Game 1不在使用私钥sk,那么此时Game2 和 Game1 输出相同,得到如下等式:

                 Pr[W2]   = Pr[W1]

Game 3: 进一步, 删除步骤 (1) 得到Game3

       删除步骤1后,游戏2 和 游戏3的唯一区别为,是否有x的初始化赋值,那么只要敌手不询问到x, W3 和 W2的是相同的,所以有:

                

        如果在游戏3中询问到x,那么存在敌手B可以直接调用A构造一个新的OW敌手,赢得单向陷门函数攻击游戏,但是B想要从原像集合中找到该解也是比较困难的一件事,所以敌手只需要随机的从原像集合中选择一个条目作为攻击优势,因为在W3的条件下,敌手必然会请求到x,敌手总共会进行Qro次请求,所以W3发生的概率即为所有次谕言机请求概率求和,因为每次都是均匀随机选择,OWadv就是B以随机选取一个答案赢得游戏的过程,一共有Qro次询问次数,所以得到以下等式。得证。

 12.6.1 A generic instantiation

 给出一个通用的实际例子:

      

 

 加密解密算法如上图所示,根据之前的通用构造我们可以立即得到:

 实际上FO转换就是在随机谕言机模型下利用KEM密钥封装机制框架,使用一个公钥加密方案和1CCA的对称加密方案构造了一种CCA的公钥加密方案,并给出了通用构造证明,核心在于给KEM的公钥引入随机空间R保证其不可延展。

 

 

 


http://chatgpt.dhexx.cn/article/mLpXwJ13.shtml

相关文章

Aleo隐私智能合约编程__第四章__部署进链上Aleo Testnet3网络

文章目录 安装相关软件账户数据准备部署隐私应用 相关资料链接 官方部署文档 https://developer.aleo.org/testnet/getting_started/deploy_execute_demo/查看链上所有的程序 https://explorer.hamp.app/programs测试网领水 https://twitter.com/AleoFaucetAleo SDK在线工具 ht…

《A Graduate Course in Applied Cryptography》Chapter 12 Chosen ciphertext secure pkc(3)

原文教材 与 参考资料: Boneh Dan , Shoup Victor . A Graduate Course in Applied Cryptography[J]. 该书项目地址(可以免费获取):http://toc.cryptobook.us/ 博客为对该书的学习笔记,并非原创知识,帮助理…

shiro.crypto.CryptoException: Unable to correctly extract the Initialization Vector or ciphertext

错误 工程中使用了shiro,最近启动工程后通过接口访问就一直在报错,跟踪了一下源码,发现是cookie导致的。错误如下: org.apache.shiro.crypto.CryptoException: Unable to correctly extract the Initialization Vector or ciphertext. at o…

Bugku CRYPTO No Ciphertext RSA writeup by 树木

前言 菜鸡树木出的新密码题,质量不高,大佬们不要喷呜呜呜 题目信息 题目名称:No Ciphertext RSA 题目作者:树木有点绿 描  述: The ciphertext is unknown! 解题过程 通过观察发现题目给了dp,那么我们可以根据…

某cpws - ciphertext加密与数据解密

前言 本文仅用于学术交流。 学习探讨逆向知识,欢迎私信共享学习心得。 如有侵权,联系博主删除。 请勿商用,否则后果自负。 加密位置确定 网站 : aHR0cHMlM0EvL3dlbnNodS5jb3VydC5nb3YuY24vd2Vic2l0ZS93ZW5zaHUvMTgxMjE3Qk1US0hOVDJXMC9pbmRleC5odG1sJTNGcGFnZUlkJTNENTU2…

《A Traceable and Revocable Ciphertext-Policy Attribute-based Encryption Scheme Based》属性加密机制

《基于隐私保护的可追溯性和可撤销的密文策略属性加密》 论文链接:A Traceable and Revocable Ciphertext-Policy Attribute-based Encryption Scheme Based 1.可追踪和可撤销指的是什么? 可撤销性 用户撤销:撤销特定用户的所有属性&…

属性基加密仿真及代码实现(CP-ABE)论文:Ciphertext-Policy Attribute-Based Encryption

1、仿真论文:Ciphertext-Policy Attribute-Based Encryption 2、使用库:JPBC lombok 3、目录结构: 3.1 essay:论文 3.2 lib:jpbc库 3.3 params:椭圆曲线参数 3.4 src:源码 attribute&…

论文翻译—Ciphertext-Policy Attribute-Based Encryption

Abstract 在一些分布式系统中,只有当用户拥有一组特定的凭证或属性时,用户才能访问数据。目前,实施这种策略的唯一方法是使用一个受信任的服务器来存储数据并协调访问控制。但是,如果存储数据的任何服务器被泄露,那么数…

华为实习密文cipherText破解

很多小伙伴找我破解密文,但是最近比较忙,所以决定公布破解密文的程序。 连接如下:华为实习密文cipherText破解 分割线以下为之前的内容 前段时间面试了华为实习生,还在等待offer中。 之前一直可以通过一个网址查看进展&#x…

某某行政处罚文书网 (请求参数: ciphertext)

前言 本文仅用于学术交流。 学习探讨逆向知识,欢迎私信共享学习心得。 如有侵权,联系博主删除。 请勿商用,否则后果自负。 浅聊一下 该网站文书列表页请求时,会携带一个post参数ciphertext,这个参数在一定时间范围内是不变的,但是是有实效性的, 有效期大概在两个小时…

十七届全国大学生智能车竞赛华南赛区开幕式议程

十七届全国大学生智能车竞赛 华南赛区开幕式议程 开幕式时间:2022年7月25日,上午8:30开幕式地址:哈尔滨工业大学(深圳)活动中心 开幕式议程: 一、介绍参加会议的嘉宾二、奏国歌三、嘉宾致辞 …

全国大学生智能车竞赛 |掀桌子的时候

01 掀桌子 又到了掀桌子的时候了 一、掀桌子 每年一度的全国大学生智能车竞赛竞赛到了这个时候,  都开始进入掀桌子的周期了。 参加过一届比赛的同学开始纷纷给组委会提出比赛内容的建议。  这不, 刚刚看到同学在后台的一个留言,  着实把我…

第十五届全国大学生智能车竞赛各分赛区赛道数量以及比赛系统数量

作者:卓晴博士 全国大学生智能车竞赛秘书处 2020-07-26 Sunday □ 各分赛区赛道数量 赛区比赛时间东北8月15-17日华北8月11-13日华东8月23-26日华南8月15-20日西部8月12-14日安徽11月前后山东8月12-15日浙江8月9-11日 □ 各分赛区所需要比赛系统数量 今年举办集中线下比赛的赛区…

时雨月五| AI机器学习实战の电磁导航智能车中神经网络应用的问题与思考

“不愤不启,不悱不发。举一隅不以三隅反,则不复也”。 – 《论语述而》 再次将论语中的这句“不愤不启,不悱不发”引用在这里,说明学生的学习的活动部分来自老师,大部分来自于自己主动的“愤”“悱”,否则…

第十五届全国大学生智能车竞赛室外光电创意组别进入线下比赛的队伍名单

作者:卓晴博士,清华大学自动化系 更新时间:2020-08-05 Wednesday 第十五届全国大学生智能车竞赛组委会在7月4日公布了室外光电ROS预赛方案 ,截止到7月20日,公布到213支队伍的の报名信息,经过核实去重之后,最…

国赛来咯,全国大学生智能汽车竞赛百度赛道正式开启

「第17届全国大学生智能汽车竞赛—完全模型组竞速赛」1月15日全面启航!大赛组委会秘书长卓晴教授届时将亲临百度飞桨直播间,和同学们一起聊备赛,话今年。 01 竞赛简介 「全国大学生智能汽车竞赛」是教育部倡导的大学生科技A类竞赛&#xff…

电解电容为什么会爆炸?

关注星标公众号,不错过精彩内容 作者 | 卓晴 来源 | TsinghuaJoking 一、电解电容 电解电容是通过电解质作用在电极上形成的氧化层作为绝缘层的电容,通常具有较大的容量。电解质是液体、胶冻状富含离子的物质,大多数电解电容都是有极性的&…

从150kHz 到 150MHz漫谈智能车竞赛中的无线导航技术

简 介: 这个文章来自于太原理工大学萧老师给智能车竞赛无线导航方案的建议。 关键词: 智能车竞赛,导航,无线电,萧老师 卓晴老师你好! 节能信标组利用信标发出的信号对信标定位。用摄像头定位比较容易实现。…

Bootstrapvalidator表单验证+ 模态框 Ajax请求 Demo

BooStrapValidator网络引用地址:http://www.bootcdn.cn/bootstrap-validator/ BooStrapValidator文件下载 gitHub地址https://github.com/nghuuphuoc/bootstrapvalidator/ 这里模拟了一个后台数据返回,即请求url 为 validator.json,该文件内容为 false,…

一位刚刚成功上岸的智能车队员对于参赛经历总结与对比赛的建议

简 介: 尊敬的卓晴老师您好,我是江苏理工学院2017级本科毕业生,也是北京科技大学2021级研究生,本科期间做了整整四年智能车,分享一些比赛经历和对十七届全国大学生智能汽车竞赛的建议。 关键词: 智能车竞赛…