高效且可验证的多授权机构属性基加密方案

移动云计算对于移动应用程序来说是一种革命性的计算模式,其原理是把数据存储及计算能力从移动终端设备转移到资源丰富及计算能力强的云服务器.但是这种转移也引起了一些安全问题,例如,数据的安全存储、细粒度访问控制及用户的匿名性.虽然已有的多授权机构属性基加密云存储数据的访问控制方案,可以实现云存储数据的保密性及细粒度访问控制;但其在加密和解密阶段要花费很大的计算开销,不适合直接应用于电力资源有限的移动设备.另外,虽然可以通过外包解密的方式减少解密计算的开销,但其通常是把解密外包给不完全可信的第三方,其并不能完全保证解密的正确性.针对以上挑战,提出了一种高效的可验证的多授权机构属性基加密方案,该方案不仅可以降低加密解密的计算开销,还可以验证外包解密的正确性并且保护用户隐私.最后,安全分析和仿真实验结果表明了方案的安全性和高效性.

基于安全多方求和的多候选人电子选举方案

多候选人电子选举方案在许多实际环境下具有重要的应用价值,但现有绝大多数方案由于技术限制只能进行“两选一”投票·设计了一种新型的选票结构,在一个多精度数中隐藏“m选k”形式的选票,对m个候选人至多可以投k个赞成票;将多精度计算及安全多方求和协议应用于投票和计票,选举过程中不需要可信任第3方,任何投票人都可以计票·与一般方案相比,该方案具有更强的安全性,包括选票的完全保密性和无收据性、计票的公平性和无争议性、系统的健壮性等;无需使用传统的加密技术·对n个投票人,计算的位复杂性为O(nm(log2n)),其效率优于现有方案且容易实现·

保护私有信息的空间最近点对协议

安全多方计算是当前信息安全领域的一个研究热点,保护私有信息的最近点对是一个特殊的安全多方计算问题,在商业、军事等领域都有重要的应用前景。基于半诚实模型和认证信道,设计了向量差最小值协议,利用同态加密方案构建了一个求解保护私有信息的最近点对协议,并对此协议的正确性进行了理论证明,对其安全性和复杂度进行了理论分析,结果表明该协议性能优于现有协议。

保护私有信息几何对象的相对位置计算

为了探讨在保护参与方隐私前提下,空间几何对象之间的相对位置计算问题,该文在半诚实模型下,基于点积协议,提出了向量夹角协议和向量差比值协议,在此基础上,给出了判定线、线相对位置的新方法,构建了空间线、面夹角计算协议及线、线距离计算协议.给出了协议的正确性证明,并对其安全性和复杂度进行了理论分析.分析结果表明,所提方法调用点积运算和秘密比较运算的次数少于现有方法,有效降低了协议计算复杂度,可用于解决其他更多的安全多方计算几何问题.

高效的可撤销群签名方案

将子集覆盖框架与Camenisch-Stadler方案相结合,实现群成员的加入和撤销,且无需改变其他成员私钥,实现高效的签名验证效率。同时,在成员注册时增加一个知识签名,实现防联合攻击。分析表明,方案满足匿名性和抗联合攻击、伪造攻击和权威陷害攻击,并具有非关联性。效率方面,仅略增加群成员证书长度,达到常数级的签名和验证开销。

一个实用的电子评审方案

电子评审是一种特殊的电子选举,由于投票人很少,直接使用现有电子选举方案很难实现安全评审.本文将改进的矩阵传送安全多方求和协议与保密比较协议相结合,采用少数服从多数的选举规则,秘密比较计票结果是否大于一个预定门限值,不泄露计票值就能得出评审结果.该方案具有投票的隐私性、无收据性、计票的保密性和无争议性等性质,满足安全评审的需求;计算代价和通信代价均低于现有方案,容易设计实用的系统.

基于Web的数据仓库

基于Web的数据仓库是Web技术和数据仓库技术结合的产物。本文给出了其系统结构及其优点 ,概述了在其实现中所使用的与Web相关的特有技术 ,并指出系统实现中需要解决的其它问题以及可能的解决方案 .

基于分布式密钥共享的UWSN安全分簇方案

针对无照料的无线传感网(UWSN,unattended wireless sensor network)收集效率和安全问题,提出一种安全的UWSN分簇方案,实现了一种三角形网格图的网络拓扑分簇算法,并可完成簇头对移动节点的认证。该方案利用三角形的性质提高了网络的连通度,折中数据收集效率与能耗;将分布式密钥共享方案与分簇算法无缝结合,在网络中高效地搜索移动节点公钥信息,从而在本地不存有对应公钥信息的情况下验证签名信息。实验结果表明,该算法在节点密度越大的情况下分簇越趋近于正三角形网格图,且分簇后的网络对于低于20%节点变节有95%以上概率抵御攻击。

基于编辑距离的远程数据库安全搜索协议

远程数据库安全搜索作为安全多方计算的一项应用变得越来越重要,它被广泛地应用到电子商务领域中。给出了基于编辑距离的远程数据库安全搜索协议,回顾了编辑距离的定义及计算方法,利用安全多方计算的相关知识构建了一系列基础安全协议以实现双方安全计算编辑距离,并对这些协议的计算复杂度进行了分析。最后给出了基于编辑距离的远程数据库安全搜索协议和协议的代价,该协议可以用在基于DNA序列匹配的远程数据库安全搜索中。

一种基于可验证秘密分享的密钥管理方案

介绍了一种应用于PKI系统中安全的密钥管理方案。利用秘密分享的方法来备份和恢复私钥,有效维护私钥的安全性,防止由一方单方面独享私钥。该方案采用可验证的秘密分享协议有效地解决了分享者欺骗的问题。

合成序列变换对极限 k(k≥2)循环连分式的加速收敛

文章对极限ｋ循环连分式的渐近序列引入合成序列变换，在广义的ＡｉｔｋｅｎΔ２—过程的情况下，讨论了它的加速收敛，也给出了它的收敛性的有关结果。

安全多方计算的关键技术分析

安全多方计算(SMC)是研究分布式系统安全性的重要内容,对解决网络环境下的信息安全具有重要价值。作者概述了SMC的基本理论及应用研究进展,分析了SMC的基础协议及其相关的底层密码算法。对秘密分享、同态加密、零知识证明、茫然传输、秘密比较等SMC的关键技术进行了深入研究,提出值得进一步探讨的SMC热点问题。

“计算机网络”课程的教学改革与实践

计算机网络及其应用技术正处在一个飞速发展时期,理论与实验教学均应适应这种变化,以全面提高学生的综合素质。介绍了计算机网络课程的教学内容、教学方法与教学手段的改革实践;紧密结合理论教学,探讨了计算机网络实验课程建设,提出了一套可行的实验方案及实验室管理的建议。

数据挖掘技术的深入研究

讨论了数据挖掘技术的研究进展 ,并对四种方法进行了深入的研究 :关联规则、离群数据、基于案例的推理、支持向量机 。

安全电子选举研究

提出安全电子选举的三级目标和一般模型,为系统地研究电子选举提供了基础.通过对现有方案的关键技术分析,提出保护隐私的电子评审、含权选举、“m选k”等特殊投票问题,并给出采用安全多方计算技术解决这些问题的新方法.

经典教育测量理论试题质量评价指标述评

考试试题质量评价是教育测量学的一项重要内容,是改革教学和考试制度的重要工具。经典教育测量理论的试题质量评价指标主要包括信度、效度、区分度和难度等。研究表明,这些评价指标虽是试题质量评价的基础,但却难以较为准确地评判试题的质量。科学的评价试题质量的方法离不开专家的逻辑判断,应当是主、客观评价方法的有机结合,即不仅要知其数量多少,更要了解其发展变化过程。

合成序列变换对极限周期连分式的加速收敛(英文)

合成序列变换是由C .Brezinski在 1985年首先引入的 ,它在序列加速收敛方面是非常有用的。极限周期连分式是通过加速收敛因子来实现的。本文的主要目的是研究合成序列变换对极限周期连分式的加速收敛 ,得到了一些收敛和加速收敛的结果。与其同时 ,我们还对合成序列变换引入AitkenΔ2 -过程 。

G-B变换对极限循环连分式K(a_n/1)的加速收敛

本文对极限循环连分式Ｋ（ａｎ／１）的逼近序列引入合成序列变换，选择适当的辅助序列得到Ｇ－Ｂ变换；就Ｇ－Ｂ变换和常数因子ｘ１对极限循环连分式的加速收敛进行了比较，并给出了数值实例．

三角网络上二元向量值分叉连分式插值的算法

本文构造了三角网格上的二元向量值有理插值的一个递推算法。

OBE教育模式下的操作系统课程教学改革

由于操作系统课程本身理论性较强,同时教学过程中缺乏对学生学习结果的有效评价方式,实现操作系统课程教学目标存在一定的难度。文章提出将OBE教育理念引入该课程,变以教学内容驱动为学习结果驱动,即"学习结果—教学内容设计—评价体系"的新教学模式,进一步提高教学质量和人才培养质量。