论文部分内容阅读
复合协议的安全性是当前国际上的热点问题，应用复合协议的观点证明了Daza等人提出的分布式密钥分发方案是安全的，该方案在抵抗被动敌手攻击方案的基础上添加了可验证秘密分享和零知识证明，以抵抗主动敌手的攻击，从而具有更高的安全性。
分布式密钥分发方案的安全性证明
【摘 要】
：
复合协议的安全性是当前国际上的热点问题，应用复合协议的观点证明了Daza等人提出的分布式密钥分发方案是安全的，该方案在抵抗被动敌手攻击方案的基础上添加了可验证秘密分享和
【机 构】
：
信息安全国家重点实验室（中国科学院研究生院）
【出 处】
：
软件学报
【发表日期】
：
2005年4期
【基金项目】
：
国家自然科学基金,,国家高技术研究发展计划(863)~~
其他文献
通过分析发现了视频帧间中频能量关系对于光度失真和空间同步失真的近似不变性．基于这种近似不变性，提出了一种可以根据人类的视觉系统特性，自适应地调整嵌入强度的鲁棒视频水印
拒绝服务攻击由于其高发性、大危害、难防范而成为因特网上的一大难题．研究人员为此提出了各种各样的对策，其中概率包标记具有较大的潜力．然而，现有的标记方案都存在各种各样的缺
提出了一种用于在无线网络中传输视频的结合信源特性及网络拥塞控制的鲁棒性算法．通过场景建模以及特性分析，将分级编码产生的所有码流层划分成不同的类型，并根据它们对网络拥塞
输入队列因具有良好的可扩展性而广泛应用于高速交换机和路由器中,但输入队列需要精心设计调度算法以获取较好的性能.Round-Robin算法因其简单性和并行性而得到广泛的研究,但
目前存在的自动曲面简化算法在低分辨率的状态下往往忽略模型的重要几何特征,如尖角或者曲率大的区域,从而导致视觉上的退化.在Garland简化算法的基础上,引入尖特征度的概念,并将其加入到误差测度中,从而改变了边折叠顺序.简化模型不仅保留了模型的重要几何特征,而且合理分配三角网格,在曲率大的区域稠密,在平坦区域稀疏,简化效果更好.
针对秘密共享方案提出了一种为新个体分配秘密份额的算法.该算法具有无需信任中心、无需改动原有秘密份额、仅需t个成员合作(t为门限)、6t次广播等优点.最后还证明了该算法具
提出了一种新颖的形式化方法,可以用于分析电子商务协议的安全性质,例如可追究性和公平性.与以前的工作相比较,主要贡献在于:(1)对协议主体的拥有集合给出了形式化定义,且主
针对细节高度复杂模型的特点,提出一种视点相关的渐进传输方法.根据人的视觉特征,算法将模型表示为多分辨率的四边形参数面片和表面法向细节纹理.该算法利用法向映射提高传输和绘制的效率,然后随着视点的变化动态细化和传输当前视点下轮廓部分的参数面片信息,从而最大限度地减少了模型传输时面片的数量.参数面片的结构规则,面片之间关联性低,因此能够按任意顺序高效地传输,从而实现真正的视点相关传输,并可以采用有效的编
标准约束优化问题的等式或不等式约束之间是逻辑“与”关系，目前已经有很多高效、收敛的优化算法．但是，在实际应用中有很多更一般的约束优化问题，其等式或不等式约束之间不仅包含