隐私保护的可验证多元多项式外包计算方案

随着云计算的发展和大数据时代的到来,如何对隐私数据进行外包计算且有效验证计算结果具有重要的现实意义。基于多线性映射和同态加密方案,提出了可验证的多元多项式外包计算方案,用户可准确验证外包计算结果的正确性。方案在标准模型中可证安全,且多项式函数和用户输入对于服务器都是保密的。分析表明,用户计算量远小于服务器的计算代价以及直接计算多项式函数。     

高分辨率卫星影像在电网勘测工程中的应用

研究高分辨率卫星图像的处理方法,探讨其在电网勘测工程中的应用前景。     

一个含多个可信第三方的不可否认协议*

提出了一个含多个脱线TTP的公平的不可否认协议。与以前的不可否认协议相比,其特点是把一个TTP的任务分散到t个TTP,减少了对一个TTP的依赖,还可以检测出不诚实的TTP,并且实现了TTP的透明性。     

α-对称环

设α是环R的自同态,推广对称环的概念,引入α-对称环,给出α-对称环的一些性质.     

非结合的循环Г—环

本文讨论了非结合的循环Г－环的性质，给出了一类特殊循环Г－环的结构定理，推广了结合环中关于循环环的一些命题。     

安钢SAP预留系统的开发与应用

本文简述了安钢信息化建设概况,介绍了安钢信息化建设中开发SAP预留系统的设计流程,阐述了预留系统实现的功能.     

千兆网络协议分析实验平台的设计研究

提出一种简单易行的低成本千兆网络协议分析实验平台的设计方案,并给出了其在实际应用中的价值。系统已在高校实验室中得到了应用,取得了良好的效果。     

两个公钥加密方案的安全性分析

广播加密和基于属性加密是两种重要的公钥加密方案,可将加密内容同时传送给多个用户,在付费电视、数字版权管理和资源访问控制等领域有重要应用。对一个基于身份广播加密方案进行了分析,表明攻击者只要得到某个用户的私钥,就可以计算其他任何用户的私钥。研究了一个基于属性加密方案,该方案并不能真正地隐藏访问结构,攻击者仅由密文就能得到对应的访问结构。     

山药保健冰淇淋的研制

本文以山药为原料制取山药浆,配以其它辅料研制成具有保健功能的冰淇淋.通过正交试验,确定出山药保健冰淇淋的最佳配方,最佳配方为:添加30%山药浆、12%蔗糖、10%奶油、14%奶粉.试验还确定出添加0.25%的抗坏血酸可对山药保健冰淇淋有较为理想的护色效果.     

基于身份加密中可验证的私钥生成外包算法

提出了包含私钥生成外包算法的基于身份加密方案,PKG将私钥生成的任务外包给服务器,并能有效验证外包结果的正确性。在标准模型中证明了方案的密文不可区分性和外包结果的可验证性,并对所提方案进行了仿真实现。实验结果表明,外包算法中PKG的计算量远小于直接生成用户私钥,且小于服务器的计算量。