【摘 要】
：
签密能高效地同时完成数据加密与认证,可用于设计紧凑的安全通信协议.签密中的仲裁机制用于保护签密的不可抵赖性,但同时用于仲裁的信息可能危及协议安全.本文指出签密仲裁中
论文部分内容阅读
签密能高效地同时完成数据加密与认证,可用于设计紧凑的安全通信协议.签密中的仲裁机制用于保护签密的不可抵赖性,但同时用于仲裁的信息可能危及协议安全.本文指出签密仲裁中存在仲裁者解密攻击和仲裁机制无法保护明文完整性两种安全隐患,归纳其原因并指出解决方法.提出一个可安全仲裁的安全混合签密方案SASC,并在随机预言机模型下证明SASC方案具有IND-CCA2和UF-CMA安全性;SASC基于明文仲裁,不仅能维护明完整性而且能抵抗仲裁者解密攻击.SASC方案不增加计算量和通信量,且对明文的长度没有限制.
其他文献
概念格的属性约简理论和命题逻辑系统中命题集的约简理论似乎是独立发展的两个研究分支,本文在二值命题逻辑中引入由命题集Γ所诱导的形式背景的概念,并基于此建立了概念格;
本文对企业内外部绩效的博弈过程作了分析;从而为企业中职能部门提高利润提供对策。总结出企业各层面的博弈次数越多,完善程度越高,系统各方之间的关系便越接近“纳什均衡”
本文提出了一种新的逻辑方法分析安全协议的安全性.该方法给出了一种安全协议的动态分析模型,从而克服了类BAN逻辑“理想化协议”步骤的缺陷,提出了消息唯一起源的概念和判定
本文给出了一种新的图像矢量量化码书的优化设计方法——粒子对算法.在传统粒子群优化(ParticleSwarm Optimization,PSO)算法的基础上,用两个粒子构成了群体规模较小的粒子对,在码书空间中搜索最佳码书.在每次迭代运算中,粒子对按先后顺序执行PSO算法中的速度更新、位置更新操作和标准LBG算法,并用误差较大的训练矢量代替越界的码字.此算法避免粒子陷入局部最优码书,较准确地记录和估
框架理论是研究信号采样特别是非均匀采样问题的一个重要工具，基于框架理论的Gabor展开是在时频混合空间描述信号的非正交展开，而Weyl-Heisenbe瑁框架理论是Gabor展开的理论基
为了提供较大的秘密信息嵌入量和保持良好的载密图像质量，依据人眼对变换剧烈及较暗区域均不敏感的视觉特点，提出了一种基于小波对比度和最低比特位替换（LSB）的图像密写方法．该方
本文回顾了内部控制的发展，然后分析了我国企业内部控制出现的问题，并在此基础上提出了构建我国内部控制框架的几点建议。
多边形近似是一种重要的曲线描述方法.研究用遗传算法求解平面数字曲线的多边形近似碰到的两个主要问题是不可行解难以处理和基本遗传算法局部搜索能力差.针对这两个问题,本文提出了一种组合拆分与合并技术的混合遗传算法(SMGA).它将两种经典算法—拆分技术与合并技术引入到对染色体的修复过程.采用这种方法,一个不可行解不仅能得到快速的修复,而且还能被推进到解空间中一个局部较优的位置.它的另外一个优点是:不同于
通过二维地、海面发射率的研究,研究了高、低阶微扰法的有效性,分析了不同极化方式、表面模型和介电常数的影响,得到了均方根高度的有效范围,给出了高斯模型的相关长度的匹配范围.结果表明,模型差异不影响低阶微扰法求解时均方根高度的有效值,但对高阶微扰法的结果影响很大;高斯模型下,高阶微扰法求解时相关长度的有效值远小于低阶时的结果.理论与矩量法计算及测量值的比较,证明了高阶微扰法的有效性.