计算机工程年月日 )!%'! &/ "!& /)$" 和基于属性的可搜索加密 '%'! &/ "!& /$" 这些可搜索加密方案都有相同的特点既保证了数据的安全性而且也在不涉及解密密文的情况下实现了文件检索功能为用户节省大量的本地计算空间通过对 )$" 的研究本文构建一个支持

Size: px

Start display at page:

Download "计算机工程年月日 )!%'! &/ "!& /)$" 和基于属性的可搜索加密 '%'! &/ "!& /$" 这些可搜索加密方案都有相同的特点既保证了数据的安全性而且也在不涉及解密密文的情况下实现了文件检索功能为用户节省大量的本地计算空间通过对 )$" 的研究本文构建一个支持"

志扶
5 years ago
Views:

1 第卷第期计算机工程年月! 安全技术文章编号文献标志码中图分类号支持代理重加密的基于身份可搜索加密方案朱敏惠陈燕俐胡媛媛南京邮电大学计算机学院南京摘要现有的基于身份可搜索加密算法多数无法实现搜索权限的共享为此提出一种在云环境下支持代理重加密的基于身份的可搜索加密 )$" 方案将基于身份的加密算法应用到可搜索加密中并以代理的形式实现搜索权限的高效共享同时给出 )$" 方案的形式化定义和安全游戏实验结果表明该方案安全高效在随机预言模型下满足一致性并能抵抗适应性选择身份和选择明文攻击关键词可搜索加密基于身份加密代理重加密云计算随机预言模型中文引用格式朱敏惠陈燕俐胡媛媛支持代理重加密的基于身份可搜索加密方案计算机工程 % 英文引用格式 :,/#,#! )!%' / '! / 3! %! % &!+"& &'+&'!2 && 522'( ';! %&&'!2 :, / #, #! /!,! / +"' /3 )!%'! &/ "!& / )$" / / / )!%' 3! %! &/ "!& / )$" / /!%'! / / '! // / /! 8 / // )$"/ /! 3/& / / /! 3 2.&!,'" / '! )!%'! )$3! %! / 5 % 概述云计算是社会信息化发展过程中的重要技术云存储是基于云计算建立起来的一种新型的存储技术云存储技术通过按需付费等方式向用户提供存储服务为用户节省大量的本地资源进入大数据时代后越来越多的用户选择将数据保存在云端但是这样的方式也存在缺点当用户想要获取含有特定关键字的文件时需要先将云中的所有数据下载下来然后在本地进行解密这样才能从中找到想要的文件这涉及到大量冗余数据的处理因此将会浪费巨大的网络带宽和存储空间此外大量的解密和搜索计算会给用户带来高额的开销为解决这个问题文献提出可搜索加密 / '! 的概念在可搜索加密中数据属主可以使用机制对关键字进行加密并将加密数据上传到云服务器中当用户想要搜索包含特定关键字的文件时就会以自身私钥来生成相应的门限并将该门限值上传到云服务器中云服务器通过一个验证算法来对用户的请求做出响应若用户门限中的关键字和关键字密文中的关键字一致说明验证成功云服务器会将对应的密文返回给用户用户只需要用自己的私钥对密文进行解密就能得到想要的文件可搜索加密技术提出后又有许多拓展研究被提出主要包括基于对称加密算法的可搜索加密!/ '! 基于非对称加密算法的公钥可搜索加密 '"!! &/ "!& /" 基于身份的可搜索加密基金项目国家自然科学基金江苏省自然科学基金 $" 中国博士后科学基金江苏省博士后科学基金江苏大学自然科学研究项目 "$"$ 作者简介朱敏惠女硕士研究生主研方向为信息安全陈燕俐教授博士胡媛媛硕士研究生收稿日期 %% 修回日期 %%

2 计算机工程年月日 )!%'! &/ "!& /)$" 和基于属性的可搜索加密 '%'! &/ "!& /$" 这些可搜索加密方案都有相同的特点既保证了数据的安全性而且也在不涉及解密密文的情况下实现了文件检索功能为用户节省大量的本地计算空间通过对 )$" 的研究本文构建一个支持代理重加密的基于身份的可搜索加密方案 )!%' 3! %! &/ "!& / )$" 并在判定双线性 * *$* 问题下证明该方案具有一致性抗适应性选择身份和选择明文攻击安全性相关工作基于身份可搜索加密文献提出基于身份的加密 )! $!)$ 算法 )$ 算法是公钥加密 ' "!!" 方法中的一种但是 )$ 的公钥生成方法和传统的 " 不同它无需借助公钥基础设施 '"! )") 而是可以直接利用用户的身份信息如身份证号码电子邮件地址等作为公钥这样的公钥生成方式很好地消除了 ") 中的繁杂管理 )$ 中用户的私钥则由授权中心 "! " 来负责生成 )$ 出现后研究人员开始尝试将 )$ 和结合构造 )$" 来消除文献中 " 繁杂的管理文献首次提出 )$" 的概念文献在经典 )$ 的基础上构建了一个 )$" 并且给出了方案的具体实现和简要的安全性证明文献提出一种支持访问控制的 )$" 方案文献提出一种高效的指定了验证者的 )$" 方案 %)$" 方案指定验证者意味着只有特定的服务器才能进行最后的关键字匹配验证文献指出 %)$" 方案并不是完全定义在基于身份的密码系统中的而且该方案并不能实现他们在文章中所提出的密文不可区分性为弥补这些缺陷文献提出一种改进的 %)$" 并在随机预言模型下对该方案的安全性进行了详细的证明文献提出一种在对等组中无安全信道的 )$" 方案该方案和支持多用户的 )$" 类似最大的区别在于对等组中没有组管理者这个角色在对等组中所有组内用户都能灵活地进行安全的数据搜索和共享代理重加密早期明文信息的共享要求授权人先将获得的密文进行解密得到明文然后再用被授权人的公钥对解密得到的明文进行再次加密并将加密后的密文发给被授权人这样被授权人就也能使用自己的私钥解密密文进而获得明文但是这样的共享方式要求授权人全程在线效率会非常低基于此文献提出了代理的概念其指出一个半可信赖的代理能够对授权人的密文进行转换它能将原本针对授权人的密文转换为能被授权人解密的密文并将转换后的密文交给被授权人经过这样的转换之后被授权人就可以用自己的私钥来解密得到的密文进而得到相应的明文信息授权人以代理的形式实现了明文信息的共享而代理在转换密文的过程中无法获取任何和明文相关的信息保证了明文信息的安全性代理的存在使明文信息的共享变得更加高效和方便文献指出代理可以分为类双向的代理和单向的代理双向是指授权人可将他的密文经代理转换后共享给被授权人被授权人也可将他的密文经代理转换后共享给授权人且在现有的加密算法和签名算法中都实现了单向和双向的代理并且给出了安全性证明但是该方案也存在缺陷并不能算作真正意义上的代理因为其代理是在代理和被授权人之间共享授权人私钥的基础上实现的而共享私钥是一个非常危险的行为会对授权人的信息安全造成极大的威胁文献提出几种有效的代理重加密 3! %! 方案消除了文献中存在的缺陷在文献中授权人只需要以自身的私钥和被授权人的公钥就能生成一个重加密密钥而无需将私钥在代理与被授权人之间共享文献提出个基于身份的代理重加密 )! $ 3! %! )$ 方案这个方案在随机预言模型下是可证安全的文献提出个 )$ 方案其中一个是将由 " 方法生成的密文转换为可以由 )$ 解密的密文并不能算作是典型 )$ 方案另一个则是典型的 )$ 方案文献提出一种在标准模型下可证安全的 )$ 在上述的代理重加密方案中代理能将授权人的所有密文全部转换给被授权人但这显然不是授权人想看到的因此为实现细粒度的访问控制基于类型的代理重加密和条件代理重加密先后被提出文献提出基于类型的 )$ 方案并在个人健康医疗系统中证明了该方案的实用性文献提出了可证安全的基于身份的条件代理重加密方案并在随机预言模型下证明了该方案在自适应攻陷模型下具有选择密文安全性本文工作本文将 )$ 融合到 )$" 中提出一种新的支持代理重加密的基于身份可搜索加密方案

第卷第期朱敏惠陈燕俐胡媛媛支持代理重加密的基于身份可搜索加密方案 )$" 本文主要工作包括在现有基于身份的加密算法基础上提出一种新的基于身份的可搜索加密方案在设计的基于身份的可搜索加密方案基础上实现搜索权限的共享搜索权限的共享是指被赋予搜索权限的用户可以将他的搜索权限通过代理共享给未被授予搜索权限的用户这样未被授予搜索权限的用户也能通过私钥生成搜索门限

3 第卷第期朱敏惠陈燕俐胡媛媛支持代理重加密的基于身份可搜索加密方案 )$" 本文主要工作包括在现有基于身份的加密算法基础上提出一种新的基于身份的可搜索加密方案在设计的基于身份的可搜索加密方案基础上实现搜索权限的共享搜索权限的共享是指被赋予搜索权限的用户可以将他的搜索权限通过代理共享给未被授予搜索权限的用户这样未被授予搜索权限的用户也能通过私钥生成搜索门限进行相关关键字密文的搜索具有代理服务器的功能能够将原本针对授权人的关键字密文转换为针对被授权人的密文授权中心主要为系统产生系统公钥和主密钥同时也参与到了用户私钥的生成过程中图中的系统模型就是对上述过程的一个简单描述预备知识双线性映射定义双线性映射和是个以素数为阶的循环群双线性映射同时满足以下性质双线性对存在其中非退化性存在使得可计算性对 #, #, 都能有效地计算困难性问题假设定义 *$* 问题设和均为素数阶群则上的 *$* * $ * 问题为给定五元组对于未知的判断是否成立将算法能在多项式时间 $ 内解决 *$* 问题的优势定义为, *$* % 上述概率考虑到参数的随机性和算法所使用的所有随机币定义 *$* 假设若对于任意多项式时间 $ 算法能够解决 *$* 困难问题的优势, *$* 均小于则称上的 $%*$* 假设成立. 方案基本构造系统模型本文提出的 )$" 系统中涉及个不同的实体数据属主用户云服务器和授权中心数据属主对关键字进行加密并将加密后的密文上传到云服务器中用户使用自身的私钥生成对应于指定关键字的搜索门限并将该门限上传到云服务器中云服务器为数据属主提供数据存储服务并对用户的搜索请求做出响应它会通过一个验证算法来验证用户上传的搜索门限中的关键字和存储在云中的关键字密文中的关键字是否匹配如果匹配就将对应的关键字密文返回给用户此外云服务器也图. 系统模型在图系统模型中用户是能通过生成门限进行密文检索的用户而在一般情况下用户 ; 无法进行关键字密文检索但在本方案中用户可以将自己的搜索权限通过代理授权给用户 ; 使得用户 ; 也能使用自身的私钥生成搜索门限进行关键字密文的检索用户用自己的私钥和用户 ; 的公钥生成一个重加密密钥并将这个重加密密钥给代理代理服务器使用这个重加密密钥将原本针对用户的关键字密文转换为针对用户 ; 的密文并将这个重加密密文也保存在云服务器中通过上述的这些操作用户 ; 就能和用户一样使用自己的私钥生成搜索门限进行关键字密文的搜索在该方案中假设模型中的数据属主和用户是非交互的本文所描述的加密算法只是对关键词进行加密并不涉及明文信息的加密方案的形式化定义本文 )$" 方案由以下个算法组成系统建立算法输入给定的安全参数该算法生成系统公共参数和主密钥并将公共参数公开将主密钥保持私有密钥生成算法 "! 以系统公共参数主密钥和用户的身份信息为输入输出该身份对应的私钥关键字加密算法以系统公共参数用户的身份信息和指定的关键字为输入输出密文门限生成算法以系统公共参数用户的私钥和待查的关键字为输入输出相应的门限验证算法以系统公共参数

4 计算机工程年月日初始密文和门限值为输入当门限中的关键字和密文关键字相匹配时若验证算法成功则输出否则输出重加密密钥生成算法 "! 以系统公共参数授权人的身份信息和被授权人的身份信息为输入输出重加密密钥重加密算法以系统公共参数初始密文和重加密密钥为输入输出重加密密文重加密验证算法以系统公共参数重加密密文和重加密门限值为输入当门限中的关键字和密文关键字相匹配时若验证算法成功则输出否则输出安全游戏密文的不可区分性密文的不可区分性是指敌手无法对自己选定的个挑战的关键字生成的密文进行区分为更好地描述密文不可区分性本文在概率多项式时间敌手和挑战者之间定义了如下的安全游戏初始化敌手输出他想挑战的对象系统建立挑战者运行算法来产生系统公共参数和主密钥并将公开给敌手阶段敌手可以自如地进行如下查询私钥查询! 敌手选择要查询的身份要求挑战者运行 "! 算法得到相对应的私钥并将这个私钥返回给门限查询! $ 敌手选择要查询的身份和关键字挑战者运行算法得到对应的门限并将这个门限传给重加密密钥查询! 敌手选择要查询的身份对挑战者运行 "! 算法得到重加密密钥并将这个重加密密钥传给挑战一旦敌手决定结束阶段他就会输出想要挑战的身份和关键字对挑战者收到敌手想挑战的对象后会抛一个随机币然后挑战者会使用身份对关键字进行加密并将得到的密文返回给敌手值得注意的是这里要求敌手在阶段中没有对关键字和进行过门限查询阶段和阶段中的各类查询类似猜想敌手输出对的猜测定义如果对于任意多项式时间敌手在上述游戏中的优势是可以忽略的那么 )$" 方案是能够抵抗适应性选择身份和选择明文攻击不可区分安全 )*%)*% 的敌手在游戏中的优势定义为, %)$" %2 一致性假设存在一个想打破一致性的敌手一致性安全游戏的定义如下定义给定 ($# )% % )% % 当等式成立时如果 $ 且 $ 敌手输出否则就输出一致性游戏的优势定义如下, %)$" ( (. 方案实现与验证方案的具体实现本文 )$" 方案由以下个算法具体实现系统建立算法由授权中心运行 " 首先构造一个双线性映射其中和是个以素数为阶的循环群然后 " 随机选取和其中是重加密参数并计算主密钥和 6 其中是上的生成元另外 " 选择个散列函数分别为和最后 " 会公开系统公共参数 6 并将主密钥保持私有密钥生成算法 "! 由授权中心运行 " 先选取 # 计算 # 和 # 并将私钥通过安全信道传给用户值得注意的是这里的 # 在重加密密钥的生成阶段也会用到但是 " 没有必要保存每个 # 因为 # 可以通过 #.. % 是一个散列函数来得到关键字加密算法由数据属主执行数据属主会先选取一个随机值然后分别计算 6 和最后数据属主会将初始的关键字密文上传到云服务器中门限生成算法由用户执行但其间也需要 " 的参与首先 " 对关键字进行操作生成 ) % 6 然后用户选择一个随机值, 并计算 )%, 和 %, 进而得到最后的搜索门限最后用户将这个门限上传至云服务器中验证算法由云服务器执行云服务器会验证当成立时式是否成立如果式成立说明验证算法验证成功云服务器会将与关键字相对应的加密文件返回给用户 % 重加密密钥生成算法 "! 由授权人用户执行但同样也需要 " 的参与授权人先将发送给 " " 生成 # 并将其由安全信道返回给授权

5 第卷第期朱敏惠陈燕俐胡媛媛支持代理重加密的基于身份可搜索加密方案人会作为重加密密钥的一部分存在其中 #. 是 " 选择用来生成用户的私钥的随后授权人会选择一个随机值并依次计算 % 和最终授权人将生成的重加密密钥传送给代理服务器由代理服务器为其进行后续一系列的密文转换工作重加密算法由代理服务器执行在进行密文的重加密运算前代理会先验证是否成立如果不成立则表明该密文是不允许进行重加密的代理服务器会立即终止如果成立代理服务器会进行重加密密文的计算和 % 最终代理服务器生成重加密密文并将该重加密密文也上传到云服务器中重加密验证算法由云服务器执行云服务器验证当成立时式是否成立如果式成立说明验证算法验证成功云服务器会将与关键字相对应的加密文件返回给用户 % 方案的正确性验证本文 )$" 方案的正确性可从如下个方面进行验证初始密文的正确性 % 6 %, # % 6 %, #, % 6 #, % 6 % 6 % # %, 6 % #, 由式和式可知当成立时式成立重加密密文的正确性 % 6 %, # % 6 %, # % 6 %, # % 6 %, % % % 6 % % # %, % # 6 % # %, 成立由式和式可知当成立时式安全性证明密文的不可区分性定理假设敌手能以不可忽略的优势打破 )$" 方案中提出的 )*%)*% 那么一定存在一个能以优势 % & & 解决判定性的双线性 * 困难问题的挑战者其中是自然对数的底数 & 和 & 分别为进行私钥查询和重加密密钥查询的最大次数通过定理证明在判定性的双线性 * 困难问题假设下本文提出的 )$" 方案满足 )*%)*% 由于挑战密文为重加密密文时的证明方法和挑战密文是初始密文时的证明过程类似因此在本文中只对挑战密文是初始密文的情况进行证明证明假设存在敌手能打破方案中提出的 )*%)*% 安全构造一个挑战者让通过和敌手进行交互来解决判定性的双线性 * 困难问题的最终目的是判断对于给定的输入是否成立接下来对如何进行工作进行简单的描述初始化敌手输出他想挑战的对象挑战者随机选取并生成个列表私钥列表 "! ()* 和重加密密钥列表 %! "! )* 这个列表初始均为空系统建立挑战者运行 ($# 算法来产生系统公共参数和主密钥首先随机选取并计算和 6 然后将系统公共参数设为 6 并将公开给敌手此外还将按如下方式控制对个散列函数的质询此时散列函数为随机预言机查询可以随时对进行查询为能够应答对的查询保存一个列表 *. % 列表初始时为空当用身份进行查询时会以如下的方式给出反馈首先查看是否在表 * 中如果存在则返回. 否则以满足 % % 的概率分布产生随机币 % 如果 % 设. 否则设. 最后将.% 保存到 * 并将. 返回给查询可以随时对进行查询为能够应答对的查询保存一个列表 * $ 列表初始为空当对关键字进行查询时会以如下的方式给出反馈首先查看是

6 计算机工程年月日否在表 * 中如果存在则返回否则随机选取 $ 并计算 $ 最终将 $ 保存到表 * 中并将返回给阶段敌手可以进行如下查询私钥查询! 敌手选择要查询的身份当时挑战者会拒绝此次查询否则会先在 * 中获取相应的三元组. % 如果 % 会终止此次查询如果在 " 中那么将把返回给否则随机选择 & 并计算 % % 和最后将返回给并将添加到 " 中这里用户的私钥是有良好的表现形式的为了更直观地看到这点令 # % 那么用户的私钥可以表示为 % % % % # # 门限查询! $ 当敌手选择对关键字进行门限查询时挑战者通过访问 * 和 * 获取. % 和 $ 然后选择一个随机值并计算 ) ) 由 " 生成并将返回给重加密密钥查询! 当敌手要查询时挑战者首先查看 " 表若 " 表中存在就直接将返回给如果用户的私钥已经在 " 中出现过了那么会拒绝此次查询否则对进行查询如果 % % 也会终止此次查询否则随机选择 & 并计算 % % 最后将重加密密钥添加到 " 中这里间的重加密密钥是有良好的表现形式的为更直观地看到这点令 # % 那么间的重加密密钥可以表示为 % % % % % # ( ( ) ) % 挑战一旦敌手决定结束阶段他就会输出欲挑战的身份和挑战关键字并将其给挑战者会先在 * 中获取相应的三元组. % 如果 % 会终止此次查询否则随机选取然后使用身份对关键字进行加密计算 % % 6 和并将得到的初始密文返回给敌手这里要求敌手没有在阶段中对关键字和进行过门限查询需要注意的是如果那么是的有效密文否则是和没有关系的敌手的选择阶段重复阶段中的各类查询猜想敌手输出对的猜测如果那么输出意味着否则输出意味着如果成立那么的猜测一定满足 %2 如果即在上均匀分布那么 2 因此当没有在查询过程中终止过在上均匀分布在上均匀分布那么就可以得到以下的概率关系 % 2 %2 % $ 下面对 $ 进行计算需要注意的是在响应随机预言机的查询时是不会终止的假设进行了 & 次的私钥查询和 & 次的重加密密钥查询不会在私钥查询阶段终止的概率为 % 不会在重加密密钥查询终止的概率为 % 不会在挑战阶段终止的概率为 %% 则在整个仿真阶段不会终止的概率至少为 $ %% % & % & 当式中的最优解 % % & & 时概率 $ 达到最值 % & & 因此能解决 *$* 困难问题的概率至少为 % & & 至此完成了对定理的证明一致性从第节方案的正确性分析中可以得出这样的结论如果验证算法不能成功执行也就是说没有一个敌手能赢得一致性游戏因此本文 )$" 的一致性是可以实现的性能分析将本文提出的 )$" 方案与 )$" 方案 )$ 方案从性能和计算开销个方面进行比较结果如表和表所示其中 * 为计算性 *% 问题 $* 为双线性 * 问题为进行一次双线性运算的时间为在上进行一次指数运算的时间 * 为在 )$ 中对初始密文进行解密的时间 * 为在 )$ 中对重加密密文进行解密的时间

7 第卷第期朱敏惠陈燕俐胡媛媛支持代理重加密的基于身份可搜索加密方案表种方案的性能比较方案支持可搜索支持代理困难性假设 )$" 是否 $*7* )$ 否是 *$* )$" 是是 *$* 表种方案的计算开销比较方案算法 )$" )$ )$" 5* "! 5* 从表中的性能比较可以看出本文 )$" 具有以下个优势搜索授权的共享和 )$" 方案相比 )$" 方案实现了搜索权限的共享能抗合谋攻击即使代理和被授权人合谋也无法得到授权人的私钥这很好地保证了密文的安全性表给出的是方案计算开销的比较为方便计算统计重点关注这些方案中最耗时的个操作双线性运算和指数运算从表可以看出本文 )$" 在表中列出来的各个方面的开销上都优于 )$" 当和 )$ 方案比较时个方案在加密和解密 5 验证时所需的计算开销基本相同但在重加密密钥的生成上 )$" 方案优于 )$ 通过对表和表的分析可以得出以下结论本文 )$" 方案以代理的形式实现了搜索权限的共享而且代理的实现也比单纯 )$ 更加高效此外 )$" 方案也比传统的公钥可搜索加密方案更加高效主要是因为 )$" 方案建立在基于身份的密码系统上其能够消除传统公钥密码体制中的繁杂管理结束语针对现有基于身份的可搜索加密无法实现搜索权限共享的问题本文提出支持代理重加密的基于身份的可搜索加密方案给出其形式化定义和具体实现过程并在基于判定双线性 * 假设的基础上证明该方案具有一致性而且能抵抗适应性选择身份和选择明文攻击实验结果表明本文 )$" 方案在性能和计算开销方面都具有优势此外其可搜索加密是在基于身份的密码系统上完成的消除了传统的公钥加密系统中的繁杂管理实现了高效的搜索权限管理但本文方案的安全性是建立在随机预言模型下的如何在标准模型下设计一个安全高效的方案将是下一步的研究方向参考文献 (*.+ *) / /! 55 )!!!+ / *,)!% ))!%'!! / 55+2/ /!!/ / $!% * $ :( * (("# '2!! &/ 2!& / % $* $ ( * / '!!! )$ 3 55 // )!!$! % ).+ #)*%'! &/ 2!& / / ' 55 / / ) + &2 ' + / *,)% $( * 6") )!%'! /+ ) % ()*"())))#"!& / '! &/!%'! 55" (() )() 6 /!$! % +, ) # / ' )*%'! &/ 5 % 王少辉韩志杰肖甫等指定测试者的基于身份可搜索加密方案通信学报 % +., # / )*% ' / '! %% /! % $: $,, *' 3!!/! 55 ) /!!/ / $!% )*(*)#3!!/! 55 // &2 *'!!! *, )! % )6, " ) 3! %! / &/ ' )!! % 下转第页

8 计算机工程年月日参考文献 % #,:,*( *! / ' 李经纬贾春福刘哲理等可搜索加密技术研究综!! &/ 2 述软件学报 % 沈志荣薛巍舒继武可搜索加密机制研究与进! / & 55 展软件学报 % ) 金海高霞徐鹏一种动态可搜索公钥加密方法 %% * $ :( * (("#!/!$!% 何晓婷苗付友方亮基于秘密共享的 % 组认证方案计算机工程 % ' 2!! &/ 2!& / 55 王丽华双向认证系统的研究与实现 * 南京南京 ) //!!//$!% 伍琦一种改进的非对称可搜索加密方案计算机工程 % 理工大学徐磊许春根蔚晓玲云存储上高效安全的数据检索方案密码学报 % 张方国从双线性对到多线性映射密码学报 % " (, (* 方黎明带关键字搜索公钥加密的研究 * 南京 *! / '!! 55 南京航空航天大学 ), 9+ +,!!&#2, 2!& / / 55 % ) # # ) ), +! + / *,) / '!! &/ % 55 ) ' ( *. + * ) + / *, )% / /! 55 " (,! )!! / '!! 55!+ / *, ) ) 6!/!! *! $! 编辑司淼淼上接第页 ) )!%' 3! % / / )!! 55// ) )!&!/! &2 #2, %!$!%, ) 9!%%,( 3! %!!!%!%' 3! %! / '! 55/)% // 55// %'!/! *$+2/ * $ $!%!%, " : + )!%' 3! % 叶伟伟欧庆于魏巍等可证安全的基于身份条件! &/ 55 代理重加密方案计算机工程 / / ) ) %!$!% $( * $(#.%)* 9!%' 3! %!!%'! &/ 55 $5( %% / 55 ) /! /&5 5'5!%' %3!%%!%%%% +**). 3! %! /%/3 2 55!/ / $!% 编辑司淼淼

第卷第期倪绿林许春根基于身份的动态可搜索加密方案搜索加密方案服务器首先对发出操作请求的用户进行权限认证只有认证成功的用户才能对数据进行操作否则不改变服务器上的任何数据同时给出该方案的正确性与安全性证明并将其与其他相关方案作比较预备知识本文用表示双线性参数是的生成元

第卷第期倪绿林许春根基于身份的动态可搜索加密方案搜索加密方案服务器首先对发出操作请求的用户进行权限认证只有认证成功的用户才能对数据进行操作否则不改变服务器上的任何数据同时给出该方案的正确性与安全性证明并将其与其他相关方案作比较预备知识本文用表示双线性参数是的生成元第卷第期计算机工程年月! 安全技术文章编号文献标志码中图分类号 6 基于身份的动态可搜索加密方案倪绿林许春根南京理工大学理学院南京摘要可搜索加密技术节省用户的本地存储资源简便用户对所要查询加密文件的搜索操作但是多数可搜索加密方案都只是静态搜索为此提出一种基于双线性对的可以删除指定身份文件的动态可搜索加密方案引进认证技术在服务器删除文件之前对删除用户的合法性进行认证