论文部分内容阅读
形式化构建了在多用户环境和随机数复用多用户环境下的匿名性安全模型,并证明了其安全性;同时提出了2种针对匿名性的可复制测试.基于这些结果,构造了一个通用的密文长度缩短的匿名广播加密算法.
多接收者环境下的匿名性和密文长度缩短的匿名广播加密算法
【摘 要】
：
形式化构建了在多用户环境和随机数复用多用户环境下的匿名性安全模型,并证明了其安全性;同时提出了2种针对匿名性的可复制测试.基于这些结果,构造了一个通用的密文长度缩短
【机 构】
：
中国科学院软件所信息安全国家重点实验室,中国科学院研究生院
【出 处】
：
中国科学院研究生院学报
【发表日期】
：
2010年1期
【基金项目】
：
supported by the National Grand Fundamental Research 973 Program of China （2007CB807902） and the National High-Teeh Research and Development Plan of China （2006 AAOIZA23 ）
其他文献
从真空系统的状态控制特点出发,对用于局部真空电子束焊机的可编程序逻辑控制器(PLC)的设计思想进行了讨论。叙述了如何确立系统的控制模式及通过系统控制状态图说明所具有的
随着计算机技术的发展和互联网的扩大，计算机己成为人们生活和工作中所依赖的重要工具。但与此同时，计算机病毒对计算机及网络的攻击与日俱增，而且破坏性日益严重。
给出了实用化压缩算法（分块自适应算法及截取高位算法）数据域量化与饱和误差的解析表达式,建立了实用化压缩算法数据域信噪比与回波信号标准差之间的关系.最后,将理论推导结果
由于缺少SAR散射波干扰真实数据，建立了SAR散射波于扰的物理模型，分析了地面散射点的分布特征，给出了仿真结果．结果表明，对于极度粗糙地表和中等粗糙地表，散射波干扰充斥于SAR的整
对于非严格重复线性时变连续系统,初始迭代条件和参考轨迹在一定带宽范围内都是迭代变化的.提出一种非严格的迭代学习方法来控制跟踪整流.通过该方法所获得的控制器,能保证闭
“日盲”型光电管是一种新型的光敏管,它对紫外线有高的灵敏度而对可见光不灵敏,现已得到发展。为满足空间技术应用之需,要求没计一种“日盲”光电管密封与安装在人造地球卫
<正> 相隔七年的黑白显象管全国质量评比,通过检测和数据处理,获得了满意的结果。一、逐年提高的质量水平 1.较高的质量水平参加这次评比的21个生产厂,两种屏幕尺寸的管子共2
针对纹理图像压缩提出了一种改进的SPIHT算法.算法对一阶小波变换产生的LL、HL、LH、HH4个子带系数分别进行小波再分解,之后对上述4个子带利用SPIHT算法进行联合编码;子带之间的量化比特分配嵌入在编码过程之中,因此可实现4个子带编码比特的自动精确分配.编码过程充分利用了小波系数的高频分量信息,可有效保持图像中的纹理细节.最后通过对纹理图像的压缩实验,证实了改进算法的有效性.
从众多自然灾害表明，人类对自然环境的影响导致了自然灾害的发生，针对此问题，文中着重探讨堤防工程建设而导致的环境地质问题之间的关联性，提出在汛后所采取的大规模堤防建设，由于
有限域Fq上一个周期序列的k错线性复杂度被定义为通过改变每个周期至多k个比特所得到的最小线性复杂度.给出有限域Fq上pn周期序列的k错线性复杂度的期望,其中p是一个奇素数,q