论文部分内容阅读
研究了安全多方计算中的保护私有信息的集合交集问题。在半诚实模型下,基于点积协议设计的两方集合交集协议,复杂度为O(ntp);设计的三方集合交集协议,复杂度为O(2ntp)。给出了协议的正确性理论证明,并对其安全性和复杂度进行了理论分析,性能优于现有协议。最后,给出了协议的推广应用以及不足。
保护私有信息的集合交集协议
【摘 要】
：
研究了安全多方计算中的保护私有信息的集合交集问题。在半诚实模型下,基于点积协议设计的两方集合交集协议,复杂度为O(ntp);设计的三方集合交集协议,复杂度为O(2ntp)。给出了协议的正确性理论证明,并对其安全性和复杂度进行了理论分析,性能优于现有协议。最后,给出了协议的推广应用以及不足。
【机 构】
：
安徽大学计算智能与信号处理教育部重点实验室,安徽大学计算机科学与技术学院
【出 处】
：
计算机应用
【发表日期】
：
2010年02期
【基金项目】
：
国家自然科学基金资助项目（60773114）,安徽省自然科学基金资助项目（070412051）,安徽高校省级重点自然科学研究项目（KJ2007A43）.
其他文献
本文基于联合国教科文组织《成人学习与教育全球报告》,以及结合相关的文献资料,对全球各地区的成人教育政策进行分析和比较,并进一步提炼出国际成人教育政策的发展趋势。
本文梳理我国社区教育政策发展历程,分析政策实施中遇到的问题,提出推进社区教育实验工作的政策建议,思考社区教育政策的未来走向。
为了方便证明程序的正确性,引入了Kripke结构,提出基于Kripke结构的程序正确性证明。重新定义了适合证明的Kripke结构,并描述了将程序流程图转换为Kripke结构状态图的方法。给出了证明程序正确性的相关定理和基于Kripke结构的程序正确性证明方法。证明方法为:首先,把程序流程图转换为状态图;然后,根据状态之间的转移关系列出每个状态下的状态谓词;最后,证明每个状态谓词为真。根据状态谓词进
高校图书馆是高校传播信息的主要场所，如何利用高校图书馆的教育信息，则是图书馆的重要任务之一，本文从各个方面，各个角度分析了教育信息的特点及开发利用。
为了改善图像标注的性能,提出了一种基于多模态关联图的图像语义标注方法。该方法用一个无向图表达了图像区域特征、标注词以及图像三者之间的关系,结合图像区域特征相似性和语义间的相关性提取图像语义信息,提高了图像标注的精度。利用逆向文档频率(IDF)修正图像节点与其标注词节点之间边的权值,克服了传统方法中因高频词引起的偏差,有效地提高了图像标注的性能。在Corel图像数据集上进行了实验,实验结果验证了该方