基于改进跳表的云端数据完整性验证协议 被引量：3

1

作者 王瑞锦 张凤荔 +3 位作者 王馨云 陈学勤 罗昊 秦圣智 《电子科技大学学报》 EI CAS CSCD 北大核心 2018年第1期88-94,共7页

在云存储应用中,用户数据的完整性是用户最关心的问题之一,用户提交到云存储服务提供商处进行在线存储的文件面临着丢失以及被篡改的风险,因此用户需要通过使用某种技术手段对从云端取回的数据进行完整性的验证,以确定正在访问的数据是... 在云存储应用中,用户数据的完整性是用户最关心的问题之一,用户提交到云存储服务提供商处进行在线存储的文件面临着丢失以及被篡改的风险,因此用户需要通过使用某种技术手段对从云端取回的数据进行完整性的验证,以确定正在访问的数据是完整和正确的。考虑到在云存储系统的应用环境中用户计算资源受限的特点和云存储的安全需求,基于改进的跳表和短签名技术,该文提出一种能够对云端数据的动态操作提供良好支持的完整性验证协议。在跳表中引入可达范围计数以便高效地支持数据块在任意位置的插入或者删除操作,有效减少了执行动态操作时产生的计算开销。通过性能分析与实验比较,证明该协议是高效的。 展开更多

关键词 云存储 动态操作 安全协议 跳表 完整性 动态操作

下载PDF 职称材料

跳表和认证跳表的性能分析及对比

2

作者 彭双和 陈志阁 陈得恩 《北京交通大学学报》 CAS CSCD 北大核心 2016年第2期58-62,共5页

为了解决现有研究对跳表性能分析的不清晰,对认证跳表认证性能分析存在偏差的问题,深入研究了跳表的性能,认证跳表数据完整性的认证性能.本文采用公式证明的方式对两种数据结构就性能分析上存在的问题和两种结构之间的性能差异进行了分... 为了解决现有研究对跳表性能分析的不清晰,对认证跳表认证性能分析存在偏差的问题,深入研究了跳表的性能,认证跳表数据完整性的认证性能.本文采用公式证明的方式对两种数据结构就性能分析上存在的问题和两种结构之间的性能差异进行了分析.分析结果表明:本文对跳表遍历性能和认证跳表认证性能的分析比以往的性能分析更加清晰准确,同时对两个结构的性能差异也给出了正确的分析结果,以便为相关研究提供重要的参考. 展开更多

关键词 跳表 认证跳表 性能分析

下载PDF 职称材料

一种基于节点异质性降低跳图维护代价的方法

3

作者 吴恒奎 高德云 张宏科 《北京交通大学学报》 CAS CSCD 北大核心 2010年第2期43-47,共5页

Skip Graphs提供了一种新的P2P查找算法,但是其系统查询和维护的消息流量巨大,限制了其应用.本文通过构造节点异质性模型,充分考虑节点异质性和节点负载的关系,提出新的Skip Graphs++算法,有效降低系统的维护代价10%～30%,并从理论和仿... Skip Graphs提供了一种新的P2P查找算法,但是其系统查询和维护的消息流量巨大,限制了其应用.本文通过构造节点异质性模型,充分考虑节点异质性和节点负载的关系,提出新的Skip Graphs++算法,有效降低系统的维护代价10%～30%,并从理论和仿真两方面进行证明. 展开更多

关键词 跳表 跳图 维护代价 异质性 P2P网络

下载PDF 职称材料

基于带权跳表的证书废除机制CRPSL

4

作者 付永平 赵银亮 +2 位作者 李保红 任秦安 钟生海 《计算机工程》 CAS CSCD 北大核心 2007年第24期186-188,共3页

在目前已经提出的证书废除机制中,由于未考虑证书查询概率之间的差异,限制了算法的性能。基于带权跳表的证书废除机制(CRPSL)根据证书查询频度动态调整证书废除字典的存储结构,使查询频度高的证书查询路径缩短,查询速度加快。测试结果表... 在目前已经提出的证书废除机制中,由于未考虑证书查询概率之间的差异,限制了算法的性能。基于带权跳表的证书废除机制(CRPSL)根据证书查询频度动态调整证书废除字典的存储结构,使查询频度高的证书查询路径缩短,查询速度加快。测试结果表明,CRPSL的插入、删除及查询性能均比CRL及2-3CRT高,较好地适合了证书查询的实际情况。 展开更多

关键词 证书废除 跳表 权值 公钥基础设施

下载PDF 职称材料

一种面向区块链溯源的高效查询方法 被引量：9

5

作者 刘炜 王栋 +3 位作者 佘维 潘恒 宋轩 田钊 《应用科学学报》 CAS CSCD 北大核心 2022年第4期623-638,共16页

针对现有区块链溯源系统查询效率较低以及引入外部数据库会面临数据篡改的风险问题,提出了一种面向区块链溯源的高效查询方法。首先结合布隆过滤器与Merkle树提出BMerkle树,进而形成一种新的区块结构,以便快速检索交易是否存在,同时查... 针对现有区块链溯源系统查询效率较低以及引入外部数据库会面临数据篡改的风险问题,提出了一种面向区块链溯源的高效查询方法。首先结合布隆过滤器与Merkle树提出BMerkle树,进而形成一种新的区块结构,以便快速检索交易是否存在,同时查找存在交易的具体内容。然后在区块链外部添加索引构建一种优化的跳表结构hot_skiplist,可实现区块的快速定位;基于区块访问次数动态调整索引层级,进一步提高访问次数频繁区块的查询效率。最后通过实验验证了该方法能在保证区块链数据不可篡改的情况下有效提高溯源查询效率。 展开更多

关键词 区块链 默克尔树 查询效率 布隆过滤器 跳表

下载PDF 职称材料

基于局部性原理跳表的内容路由器缓存快速查找机制 被引量：4

6

作者 潘恬 黄韬 张雪贝 《计算机学报》 EI CSCD 北大核心 2018年第9期2029-2043,共15页

当前的互联网流量模型正迅速从端到端通信发展为内容的传播共享.为了适应这种变化,学术界提出了内容中心网络(CCN)的未来网络架构.在内容中心网络中,终端主机根据内容的名字而不是内容所在主机的IP地址进行通信.内容路由器作为底层基础... 当前的互联网流量模型正迅速从端到端通信发展为内容的传播共享.为了适应这种变化,学术界提出了内容中心网络(CCN)的未来网络架构.在内容中心网络中,终端主机根据内容的名字而不是内容所在主机的IP地址进行通信.内容路由器作为底层基础设施,承载着内容请求和内容响应的高速交换的任务.不同于IP路由器的无状态转发模型,内容路由器的数据平面因具备网络缓存功能而更加复杂.尽管网络缓存可以有效减轻网络拥塞,但这样的设计也将额外的状态附加到网络中间节点上,这在一定程度上破坏了网络设计中的"端到端"原则.这些额外状态给路由器的数据平面造成了性能负担,也使内容路由器数据包转发成为当下热门的研究课题.内容路由器包含转发信息库(FIB)、待定兴趣表(PIT)和内容缓存(CS)三个模块.针对基于名字的最长前缀匹配、名字路由表的状态爆炸、待定兴趣表的频繁更新等问题,目前大量研究工作围绕FIB和PIT开展性能优化.然而,尽管CS也存在潜在的性能问题,却较少有工作对其进行讨论.FIB、PIT和CS在内容路由器中以流水线的形式存在,而流水线的处理速度由最慢的流水段决定.因此,为了提高内容路由器的整体性能,有必要首先确定其性能瓶颈,然后进行针对性的优化.在该文中,为了避免盲目的性能优化,我们首先建立了基于开放排队网络的数学模型.通过定量分析,文章发现CS是整个路由器的性能瓶颈.目前,已有工作采用跳表作为CS的数据结构.然而由于其O(logn)的查找复杂度,经典跳表在处理高速网络流量时依然存在性能问题.受到网络流量中广泛存在的时间局部性和空间局部性的启发,我们提出了局部性原理跳表来提升CS的性能.在新的设计中,考虑到新到达的内容请求可能与之前到达的内容请求共享相同的名字前缀,且所请求的内容块通常处于邻近� 展开更多

关键词 内容中心网络 内容路由器 排队网络 跳表 局部性 查找算法

下载PDF 职称材料

基于布隆过滤器的零知识集成员证明效率提升

7

作者 杨书鑫 李鹏 《软件工程》 2024年第7期47-51,60,共6页

针对区块链中数据的安全验证问题(数据的动态增加导致零知识集成员证明参数更新频繁、参数生成和验证时间变长),进行了创新性的完善。提出了一种新型的数据存储模型,结合优化的跳表索引,提高了数据验证的安全性和效率。实验结果表明,基... 针对区块链中数据的安全验证问题(数据的动态增加导致零知识集成员证明参数更新频繁、参数生成和验证时间变长),进行了创新性的完善。提出了一种新型的数据存储模型,结合优化的跳表索引,提高了数据验证的安全性和效率。实验结果表明,基于布隆过滤器的新型数据存储模型和外部索引,虽然增加了空间复杂度,但是借助预校验机制,提高了约45%的安全校验速度。此外,优化后的时间跳表总体上提高了约50%的区块检索速度,并且索引更新更加便捷。 展开更多

关键词 区块链 零知识集成员证明 数据存储模型 布隆过滤器 跳表

下载PDF 职称材料

基于Hash聚合动态数据持有性方案安全性分析 被引量：3

8

作者 邹静 李斌 +3 位作者 张利 骆扬 孙运传 李世贤 《清华大学学报（自然科学版）》 EI CAS CSCD 北大核心 2017年第11期1145-1149,1158,共6页

为了防止数据丢失、修改或破坏等,需要对存储在云端的远程数据进行持有性验证。云端动态数据可持有性是当前云数据安全领域的研究热点之一。该文针对已有典型基于Hash聚合动态数据持有性证明方案,分析其验证过程存在的安全问题及其产生... 为了防止数据丢失、修改或破坏等,需要对存储在云端的远程数据进行持有性验证。云端动态数据可持有性是当前云数据安全领域的研究热点之一。该文针对已有典型基于Hash聚合动态数据持有性证明方案,分析其验证过程存在的安全问题及其产生原因。结果表明:Hash聚合方法能有效减少由于数据动态操作而增加的数据存储量、计算量、传输量等验证成本,但是如果忽略对于数据块位置与数据块值对应关系的验证则会面临替换攻击,导致严重的安全问题。 展开更多

关键词 动态数据持有性证明 MERKLE树 Hash聚合 跳表

原文传递

一种基于跳表的DDM相交区域快速查询算法 被引量：2

9

作者 马越 张大勇 金一丞 《计算机仿真》 CSCD 2005年第7期46-50,共5页

HLA是为提高仿真系统的互操作性和可重用性而提出的新型分布仿真标准。HLA中数据分发管理服务的目的是通过邦员对数据公布和订购区域的表达来过滤一个邦员所接收到的数据,同时减少对网络带宽的消耗。DDM的核心是多维矩形区域动态相交查... HLA是为提高仿真系统的互操作性和可重用性而提出的新型分布仿真标准。HLA中数据分发管理服务的目的是通过邦员对数据公布和订购区域的表达来过滤一个邦员所接收到的数据,同时减少对网络带宽的消耗。DDM的核心是多维矩形区域动态相交查找的问题,其算法性能的好坏对DDM的效率是至关重要的。现有的一些动态区域查找算法还不能同时满足高效、精确且易于实现等要求,为此设计出一种基于跳表数据结构的用于快速相交区域查找的区间跳表,同时分析了区间跳表的构造原则以及基本操作的流程,并在此基础上提出了基于区间跳表的相交区域查找算法。该算法的匹配精度高,时间复杂度低,且具有编程实现简单的特点。 展开更多

关键词 高层体系结构 数据分发管理 矩形相交 跳表 区间

下载PDF 职称材料

基于关键字组合的网格层次社区资源发现 被引量：1

10

作者 李红 刘鲁 《哈尔滨工程大学学报》 EI CAS CSCD 北大核心 2009年第4期451-455,共5页

基于节点间的相关性创建网格社区,实现社区资源检索是近年来受到较多关注的网格资源发现方案之一.为了将扁平社区模型扩展为层次结构,并支持资源的多关键字组合检索,提出了基于频繁关键字组合的网格层次社区模型,采用跳表结构组织社区... 基于节点间的相关性创建网格社区,实现社区资源检索是近年来受到较多关注的网格资源发现方案之一.为了将扁平社区模型扩展为层次结构,并支持资源的多关键字组合检索,提出了基于频繁关键字组合的网格层次社区模型,采用跳表结构组织社区覆盖网络,设计了相应的资源检索方法,可以将查询消息快速路由给目标社区,并支持查询消息向下层社区的受控扩散.仿真实验表明,查询消息到达目标社区的跳数随网格规模的扩大而缓慢增长,使资源发现系统具有良好的伸缩性. 展开更多

关键词 网格系统 网格社区 资源发现 跳表

下载PDF 职称材料

基于时间线段树的城市可达区域搜索

11

作者 孙鹤立 张优优 +2 位作者 杨洲 何亮 贾晓琳 《计算机应用》 CSCD 北大核心 2020年第10期2936-2941,共6页

针对城市计算中的可达区域搜索问题,提出一种基于时间线段树的搜索方法。该方法中,设计了存储局部可达区域的时间线段树结构,并提出动态自适应的可达区域搜索算法,从而提高了城市可达区域搜索的效率与准确率。该方法主要包括4个步骤:根... 针对城市计算中的可达区域搜索问题,提出一种基于时间线段树的搜索方法。该方法中,设计了存储局部可达区域的时间线段树结构,并提出动态自适应的可达区域搜索算法,从而提高了城市可达区域搜索的效率与准确率。该方法主要包括4个步骤:根据道路速度分布模型和轨迹数据生成道路段的概率时间权重;利用层级跳跃表算法进行短时间可达区域的查询与存储;利用时间线段树对层级可达区域建立高效的索引结构;使用时间线段树索引在道路网络中进行迭代搜索,最终输出可达区域集合。在北京市道路网络和出租车轨迹数据集上进行了大量实验,结果表明,与最新的单点上下界限区域可达查询(SQMB)方法比较,该方法在时间效率和准确率上分别提高了18.6%和25%。 展开更多

关键词 城市计算 轨迹数据挖掘 跳跃表 线段树 可达区域搜索

下载PDF 职称材料

云计算系统中基于噪声模板跳表的日志过滤方法

12

作者 饶翔 王怀民 +4 位作者 蔡华 周琦 孙廷韬 史殿习 尹刚 《通信学报》 EI CSCD 北大核心 2011年第7期103-113,共11页

提出了一种基于时间序列相似度的日志特征提取方法,通过将噪声采样信息按照特定类型标识建模为时间序列,使用Haar小波变换提取序列特征,基于跳表构造噪声模板库。目标日志时间序列通过与噪声模板进行相似度比较来确定其是否为噪声日志... 提出了一种基于时间序列相似度的日志特征提取方法,通过将噪声采样信息按照特定类型标识建模为时间序列,使用Haar小波变换提取序列特征,基于跳表构造噪声模板库。目标日志时间序列通过与噪声模板进行相似度比较来确定其是否为噪声日志。基于真实云计算平台的实验表明,提出的方法能够有效提高故障特征的有效性。 展开更多

关键词 事件日志 时间序列相似度 噪声过滤 跳表 云计算系统

下载PDF 职称材料

基于双向跳表的命名数据网内容存储池

13

作者 刘开华 周美丽 李卓 《华中科技大学学报（自然科学版）》 EI CAS CSCD 北大核心 2020年第9期50-56,共7页

针对命名数据网中内容存储池须要快速检索差异化名称数据、高效存储数据信息和有效支持缓存替换策略的设计需求,提出了一种基于双向跳表的命名数据网内容存储池的存储结构学习树-双向跳表(LT-DSL).该存储结构由部署于片上的学习树和部... 针对命名数据网中内容存储池须要快速检索差异化名称数据、高效存储数据信息和有效支持缓存替换策略的设计需求,提出了一种基于双向跳表的命名数据网内容存储池的存储结构学习树-双向跳表(LT-DSL).该存储结构由部署于片上的学习树和部署于片下的双向跳表(DSL)两种数据结构组成.LT-DSL通过重新设计索引数据结构来学习索引内容在存储器中的分布情况,实现了数据的均匀映射,提升了存储效率,降低了存储开销;同时,通过采用全新的名称数据检索算法来快速检索名称数据,LT-DSL有效支持了缓存替换策略,加速了数据处理过程.实验结果表明:相比其他基于跳表的内容存储池方案,LT-DSL在有效支持缓存替换策略和满足网络丢包率低于1%的前提下,进一步提升了数据检索速度,降低了整体存储开销. 展开更多

关键词 命名数据网 转发平面 内容存储池 神经网络 跳表 名称数据检索

原文传递

云计算中基于认证数据结构的数据外包认证模型 被引量：10

14

作者 徐剑 周福才 +1 位作者 陈旭 朱志良 《通信学报》 EI CSCD 北大核心 2011年第7期153-160,共8页

利用认证数据结构(ADS,authenticated data structures)的安全特性,分析并设计了面向云计算的基于ADS的数据外包认证模型,给出了模型的形式化定义、数据查询认证协议与数据更新认证协议;对ADS在模型实际应用时遇到的关键问题进行分析,... 利用认证数据结构(ADS,authenticated data structures)的安全特性,分析并设计了面向云计算的基于ADS的数据外包认证模型,给出了模型的形式化定义、数据查询认证协议与数据更新认证协议;对ADS在模型实际应用时遇到的关键问题进行分析,设计了扩展数据一致性证据生成算法和扩展验证算法,从而实现了ADS在模型中的有效融入。最后从安全性和效率两方面对模型的性能进行分析比较,结果表明模型以较高效率实现了数据的正确性与一致性认证。 展开更多

关键词 云计算 认证数据结构 数据外包 认证跳表

下载PDF 职称材料

快速磁盘文件检索软件的设计 被引量：2

15

作者 李廷廷 焦瑞莉 《计算机应用与软件》 CSCD 2015年第5期38-41,共4页

目前广电行业使用的安全隔离与信息交换产品在进行自动上传文件任务时,会出现不能及时检测到未传输的文件或是新增加文件的现象。因为很难快速定位这些文件所在的磁盘位置,从而导致电视节目的漏播。基于此问题,提出了快速检索磁盘文件... 目前广电行业使用的安全隔离与信息交换产品在进行自动上传文件任务时,会出现不能及时检测到未传输的文件或是新增加文件的现象。因为很难快速定位这些文件所在的磁盘位置,从而导致电视节目的漏播。基于此问题,提出了快速检索磁盘文件的方法。当磁盘文件改变时,能够快速检索到该变化文件所在位置,并实时更新文件列表。快速磁盘文件检索软件采用自定义的内存管理,建立磁盘文件列表,利用跳表数据结构,实现磁盘文件的快速检索功能,文件列表快速恢复、断点恢复的功能。测试结果表明,该软件能有效提高文件检索效率,并迅速为文件目录同步提供文件列表。所涉及的磁盘文件快速检索方法已申请发明专利。 展开更多

关键词 快速检索 内存管理 跳表

下载PDF 职称材料

基于跳跃表编码的NoSQL 数据库查询研究

16

作者 何欣峰 钱小军 《现代信息科技》 2021年第5期113-117,共5页

文章针对NoSQL数据库中键值数据库通过部分值进行查询效率极低的问题,提出了一种基于跳跃表编码的NoSQL数据库查询操作的实现方法,并且实现了字段查询的并与交操作。该文的算法适用范围很广,可以实现对不同数据类型的多种查询与检索,与... 文章针对NoSQL数据库中键值数据库通过部分值进行查询效率极低的问题,提出了一种基于跳跃表编码的NoSQL数据库查询操作的实现方法,并且实现了字段查询的并与交操作。该文的算法适用范围很广,可以实现对不同数据类型的多种查询与检索,与此同时,文章设计的跳跃表其本身也是采用Key-Value键值对的方式进行存储的,满足键值数据库的定义。 展开更多

关键词 跳跃表编码 NOSQL 数据库查询

下载PDF 职称材料

查找重叠于某点所有区间的一种数据结构

17

作者 陈语林 刘建成 《湘潭矿业学院学报》 2002年第3期54-57,共4页

快速查找重叠于某点的所有区间集是计算机图形学、模式匹配及其他应用中急需解决的问题之一.通过介绍了一种用于查找所有重叠于某个特殊点的区间的数据结构区间空指令表,这种数据结构与AVL树具有相似的功能与特性,但执行起来比AVL树简... 快速查找重叠于某点的所有区间集是计算机图形学、模式匹配及其他应用中急需解决的问题之一.通过介绍了一种用于查找所有重叠于某个特殊点的区间的数据结构区间空指令表,这种数据结构与AVL树具有相似的功能与特性,但执行起来比AVL树简单得多,它能够实现快速查找重叠于某点的所有区间集.搜索包含n个区间的空指令表以寻找重叠于一个点的区间约需时间为O(logn+L),L代表匹配区间的数目,插入或删除一个区间所需时间为O(log2n).图1,参5. 展开更多

关键词 重叠点 查找 数据结构 区间空指令表 搜索

下载PDF 职称材料

基于有向哈希树的认证跳表算法

18

作者 徐剑 陈旭 +1 位作者 李福祥 周福才 《计算机科学》 CSCD 北大核心 2011年第9期32-35,63,共5页

作为一种重要的认证数据结构,认证跳表在数据认证机制中有着广泛的应用。由于哈希模式对认证跳表的代价有显著的影响,因此提出哈希模式和数据存储模式分离的思想,设计了一种新的认证哈希模式——有向哈希树,并在其基础上设计了新的认证... 作为一种重要的认证数据结构,认证跳表在数据认证机制中有着广泛的应用。由于哈希模式对认证跳表的代价有显著的影响,因此提出哈希模式和数据存储模式分离的思想,设计了一种新的认证哈希模式——有向哈希树,并在其基础上设计了新的认证跳表算法。应用分层数据处理、概率分析等数学方法对所提出算法的代价进行了理论分析,并与已有的认证跳表算法做了性能比较。结果表明,本算法在时间、通信和存储代价方面有了较大的改进。 展开更多

关键词 认证跳表 认证哈希模式 有向哈希树 认证数据结构

下载PDF 职称材料

面向P2P存储的分布式认证跳表

19

作者 徐剑 周福才 +1 位作者 李欣阳 朱志良 《东北大学学报（自然科学版）》 EI CAS CSCD 北大核心 2012年第1期73-76,共4页

针对已有认证数据结构方案不能很好地解决P2P环境下的数据认证问题,在Goodrich认证跳表基础上,提出了分布式认证跳表(distributed authenticated skip list,DASL)并给出其设计思想及其在P2P环境下的存储方案.在仅利用分布式系统中最基... 针对已有认证数据结构方案不能很好地解决P2P环境下的数据认证问题,在Goodrich认证跳表基础上,提出了分布式认证跳表(distributed authenticated skip list,DASL)并给出其设计思想及其在P2P环境下的存储方案.在仅利用分布式系统中最基本的分布对象定位算法locate的基础上,设计了对象查询路径获取算法、对象验证算法以及对象插入和删除算法,并应用概率论和数理统计的方法对DASL的代价进行了理论分析和比较,结果表明DASL方案优于全签方案.由于DASL的实现不依赖于分布式系统中locate操作的实现细节,从而具有简单性、可扩展性和可用性,因此易于应用到现有的P2P存储系统中,以满足其数据认证需求. 展开更多

关键词 P2P存储 认证数据结构 数据认证 分布式认证跳表 签名摊销

下载PDF 职称材料

基于变长认证跳表的分布式动态数据持有证明模型

20

作者 侯林 李明洁 +1 位作者 徐剑 周福才 《信息网络安全》 CSCD 北大核心 2019年第7期67-74,共8页

动态数据持有证明(Dynamic Provable Data Possession, DPDP)是云存储中数据完整性验证的重要方法。但是,DPDP在分布式环境中应用时存在代价开销较高、对客户端不透明等问题。为此,文章将变长认证跳表(Flexible Length-based Authentica... 动态数据持有证明(Dynamic Provable Data Possession, DPDP)是云存储中数据完整性验证的重要方法。但是,DPDP在分布式环境中应用时存在代价开销较高、对客户端不透明等问题。为此,文章将变长认证跳表(Flexible Length-based Authenticated Skip List, FlexList)可以很好地支持DPDP动态更新的优势与分布式环境结合,构建了基于Flex List的分布式动态数据持有证明模型(D-DPDP-Flex List)。该模型包括3种实体:中控服务器、存储服务器以及用户。存储服务器和中控服务器构成服务器端,其内部结构对用户是透明的,只通过中控服务器向用户提供服务。因此,用户无需针对服务器结构执行预处理操作,服务器端的可扩展性得到了有效增强。分布式变长认证跳表部署方法和多副本存储方式的采用降低了服务器的响应时间,提高了数据的可用性。文章给出了模型的形式化描述、实体间交互协议以及模型的安全性分析。相关测试验证了文章模型在分布式环境中的可用性。 展开更多

关键词 云存储 数据持有证明 变长认证跳表 完整性

下载PDF 职称材料