【摘 要】
：
针对最近一些学者提出的前向安全的代理签名方案和改进的前向安全的代理签名方案,给出了这两种代理签名方案的安全性分析,并指出它们是不安全的,均不具备前向安全性质。当代理人的私钥泄露后,前向安全的代理签名方案不能抵抗伪造攻击;而改进的前向安全的代理签名方案对攻击者来说仅利用公开的信息就可以实施伪造攻击。
【机 构】
：
华中科技大学计算机学院信息安全系武汉工业学院计算机系
【基金项目】
：
国家自然科学基金资助项目(60403027),, 国家“863”高科技研究发展基金资助项目(301-1-3)
论文部分内容阅读
针对最近一些学者提出的前向安全的代理签名方案和改进的前向安全的代理签名方案,给出了这两种代理签名方案的安全性分析,并指出它们是不安全的,均不具备前向安全性质。当代理人的私钥泄露后,前向安全的代理签名方案不能抵抗伪造攻击;而改进的前向安全的代理签名方案对攻击者来说仅利用公开的信息就可以实施伪造攻击。
其他文献
针对纹理统计法和结构法各自存在的问题,提出了一种基于纹理基元空间分布特征的图像检索算法。首先借鉴方块编码的思想来定义图像的纹理基元,然后在对纹理基元的统计分布研究的基础上,针对每一种纹理基元构造纹理基元空间分布图,提出采用纹理基元空间分布特征矢量对图像内容进行描述。实验结果表明,该算法既有效利用了图像的纹理信息,又考虑了纹理的空间分布信息,具有较好的检索效果。
为较好保持模型的拓扑结构和属性特征,采用基于半边折叠简化思想对模型进行了带属性简化算法的研究。算法考虑了几何误差度量算子的三个因子:折叠边的欧氏距离、折叠边二面角和顶点到星型邻域平面的距离;引入模型属性特征权重值,将几何误差和属性误差加权作为总体误差进行简化,并对简化质量进行了合法性检查。实验证明,算法在保持模型几何和属性特征方面有效。
1实验材料 低温离心机、了计数仪、血糖测定试剂盒（重庆医学检验试剂研究所）；胰岛素放免试剂盒（天津九鼎医学生物工程有限公司）；驱风止痛膏由乳香、没药、五加皮、独活、秦艽、防己
介绍了接口自动机的基本语法,针对目前最主要的一种描述和执行基于工作流模式的Web服务组合的规范——Web服务商业流程执行语言(business process execution language for Web services,BPEL4WS),定义了接口自动机和BPEL4WS之间的概念映射,并给出了BPEL4WS的基于接口自动机的形式化模型,最后通过一个案例给出了BPEL4WS到接口自动机的
给出了相干命题逻辑自然推理系统NR的自动证明算法。首先将待证命题公式A的子公式组成一个初始集合P,对其中的元素采用系统NR的推理规则得到新的命题公式加入P,当得到秩为0的A时命题得证;然后对A的证明树进行整理即得到演绎序列。对系统NR的大部分定理证明取得了良好的效果,算法生成的演绎序列清晰可读,接近手工推理。
探索了虚实融合的两种方法,即基于三角面片的虚拟物体重构法和基于虚拟模型的虚实融合方法。前者具有不需要对场景进行预处理等优点;后者虽然要进行预处理,且需预知真实场景的详细信息,但它实现简单,实时性好。详细研究与比较了这两种方法的具体实现方法及运行效率,通过在实验平台下的测试得到两种方法的详细性能指标,为增强现实挑选何种虚实融合方法奠定了基础。
对图像中常见的高斯噪声和椒盐噪声的特性进行了分析,对含有这两种噪声的数字图像的边缘检测方法进行了研究,尤其对基于顺序形态学的噪声图像边缘检测方法进行了深入的分析研究,基于顺序形态学理论提出了针对分别含有高斯噪声和椒盐噪声的图像边缘检测方法。通过仿真验证表明,对于含有以上两种噪声的图像,提出的方法不仅能够去除噪声而且能够提取出准确清晰的边缘。
针对回弹规律比较复杂的冲压件中高精度的要求,提出了一种基于改进傅里叶变换的回弹闭环控制系统模型。首先,从产品模型出发利用有限元分析、成形工艺参数优化等方法进行初始模具设计;然后对模具及冲压产品进行测量,评价回弹误差;最后通过两个迭代循环来基本消除回弹误差,完成最后模具修正补偿。实验证明,利用该模型可以有效地完成对模具形状修正,实现了复杂冲压件的回弹补偿。
提出了无证书的广义指定多个验证者的签名体制,将指定单个验证者签名方案扩展到了指定多个验证者的签名方案。该方案满足所有无证书体制下指定验证者签名所要满足的安全要求,它的不可伪造性依赖于BDH假设,并且在随机预言模型下证明了该方案能够抵抗适应性选择消息和身份攻击。
为了保证嵌入式实时计算系统的可靠性,提出了一种基于多智能体的嵌入式自主重构技术。首先描述了可重构MAS的组织结构,在此基础上,通过对故障节点上的任务进行聚类划分,采用基于任务聚类的合同网协商机制实现任务的再分配,提高系统的并行处理能力;同时,系统为上层用户提供透明的通信机制,屏蔽节点重构对于任务通信的影响,保证对协作式多任务可重构支持。