可信云存储环境下支持动态访问控制的密钥管理

来源 :2011年全国理论计算机科学学术年会 | 被引量 : 0次 | 上传用户:hewu0802
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
可信云存储采用用户本地前端数据加密来保证用户数据在网络传输和云端存储的安全性.可信云存储环境下,数据拥有者授权用户访问数据的落脚点是数据密钥的授权共享,同时为了实现对不同用户执行选择性的数据授权访问,则不同的数据需要采用不同的密钥加密,从而随着系统数据量的增长而使用户承受巨大的密钥安全传输和存储等负担.
其他文献
会议
Nanocomposite Cr-W-B-N coatings with various tungsten contents were synthesized on silicon wafer substrates.The used technique is a DC reactive magnetron co-sputtering deposition equipped with a Cr-B
会议
会议
Bulk-loading of spatial data is the process of constructing a spatial index from scratch.Due to the large size and complexity of spatial data,parallel bulk-loading of spatial data has the shortage tha
会议
基于符号执行框架分析程序堆内存使用量的符号化上界.首先扩展了经典符号执行技术中的内存模型,针对堆内存分配与释放操作进行建模,维护堆内存的使用量信息,然后针对“平板循环”、带分支循环等常见循环结构给出了特殊处理策略,并采用程序切片技术缩减程序分析的规模.
会议
How to organize crossing social network resources on a higher level of integration and address them to users’ desktops is an important and difficult problem.Especially,there is lack of efficient appro
会议
MARTE是统一建模语言UML的一个实时和嵌入式方面的扩展.本文给出了pi演算的一个带时序的变体来对MARTE顺序图的主要元素进行建模.相对于传统的pi演算来说,时序pi演算中增加了时间算子,可以对时间的流逝和计时器事件进行描述.
会议
Many complex networks exhibit a scale-free,power-law distribution of vertex degrees.This common feature is a consequence of two generic mechanisms relating to the formation of real networks: (i) netwo
会议
首先,提出了基于可能性测度的可能的Kripke 结构的概念,建立了以可能的Kripke 结构为模型的模型检测系统.其次,讨论了可能的Kripke 结构的可能性测度理论,给出了可能的Kripke 结构满足不同的线性时序逻辑(LTL)公式的可能性测度表示.
会议
针对复杂软件系统的需求信息难以表达和沟通的问题,提出了一种用动画方式描述需求行为模型的可视化方法.该方法基于行为描述语言(BDL,Behavior Description Language)所表述的系统行为序列,在保证该BDL 语句语法正确的基础上建立行为模型,通过设置动画元素(如主客体)等的相关内容,以及原子行为和其动画原语的关联实现需求行为模型的可视化.
会议