论文部分内容阅读
给出了前向安全多重签名的形式化安全性模型,并提出了一个可证安全的前向安全多重签名方案.在该方案中,即使所有参与多重签名成员的当前密钥泄漏,所有以前时间段的签名也是有效的.证明了方案是标准模型下安全的.
标准模型下的前向安全多重签名：安全性模型和构造
【摘 要】
：
给出了前向安全多重签名的形式化安全性模型,并提出了一个可证安全的前向安全多重签名方案.在该方案中,即使所有参与多重签名成员的当前密钥泄漏,所有以前时间段的签名也是有
【机 构】
：
青岛大学信息工程学院,山东大学网络信息安全研究所,密码技术与信息安全教育部重点实验室,DepartmentofComputerScience
【出 处】
：
软件学报
【发表日期】
：
2010年11期
【基金项目】
：
国家自然科学基金No.60703089,,山东省自然科学基金Nos.ZR2009GQ008,ZR2010FQ019,,山东省教育厅科技计划No.J08LJ02,,山东省优秀中青年科学家科研奖励基金No.2008BS01011
其他文献
模式匹配是模式集成、数据仓库、电子商务以及语义查询等领域中的一个基础问题,近来已经成为研究的热点,并取得了丰硕的成果.这些成果主要利用元素(典型的为关系模式中的属性)自身的信息来挖掘元素语义,目前,这方面的研究已经相当成熟.结构信息作为模式中一种重要的信息,能够为提高模式匹配的精确性提供有用的支持,但是目前关于如何利用结构信息提高模式匹配的精确性的研究还很少.将模式元素之间的相似度分为语义相似度(
70年代阜阳出土了两张叠在一起的纸卷经咒,两张经咒质地为桑皮纸,微黄,其中一张为圆形,直径27厘米,手书,内容为汉译的陀罗尼经咒,是由外圈沿顺时针方向旋转向里书写,共计有24
目的：对人胚胎干细胞H9的（磷酸化）蛋白质组进行鉴定和深入分析,探讨维持人胚胎干细胞干性的核心调控网络。方法：利用新近发表的TAFT磷酸化肽段富集策略和高精度质谱鉴定技术,采用
衡量一种路由算法优劣的两个重要指标是路由表的大小和路径的长度，但这两个方面通常是互相矛盾的．紧凑路由（compact routing）研究旨在设计路由算法在这两个指标上获得优化的平衡（
随着P2P技术在电子商务等领域的广泛应用，对分布在P2P网络中的数据进行聚集操作的需求越来越迫切．但是，由于P2P网络的大规模及分散性，这种聚集操作的实现颇具挑战性．而且在很多应