数据水平分布下的隐私保护关联规则挖掘

针对数据水平分布的关联规则隐私保护挖掘算法中隐私受损和挖掘效率较低的问题,提出一种由半诚实第三方参与的安全多方计算方法和快速分布式关联规则挖掘方法相结合的TSum FDM挖掘算法。为了防止水平分布下各个站点信息的泄漏,该算法引入半诚实的第三方参与计算过程,利用安全求和协议产生全局频繁项集。首先,每个站点接受的是上一个站点经过安全求和协议加密后传来的信息,并在计算过程中每个站点加入第三方随机生成的参数来隐藏实际被支持的频繁项集,最后将生成的结果传给第三方进行计算求得全局频繁项集,进而得到关联规则。实验结果表明,TSum FDM挖掘算法在保证水平分布各站点数据隐私不被泄露的前提下能够快速有效地挖掘关联规则。     

一种改进的两方安全议价协议

提出了一种基于Paillier同态公钥密码体制的两方安全议价协议。该协议在保障出价信息的私密性和结果正确的前提下,协议参与双方可以完成对商品交易价格的协商,仅在价格协商成功的情况下由第三方参与计算出最终的成交价格。通过对复杂度和安全性的分析可知,该协议具有较高的执行效率和安全特性,在电子商务应用中具有一定的实用价值。     

一种简单的安全计算协议模型

利用离散对数困难性假设和RSA公钥加密算法,给出了一种简单的安全计算协议模型,把验证算法引入该模型中,对其安全性和效率进行了讨论.理论分析表明,该安全计算协议模型是安全有效的.     

对一种带容错性的门限签名方案的安全性分析

张等提出了一种基于离散对数问题的利用多方计算的方法的带容错性的门限签名方案。本文对张等方案进行了分析。通过构造伪造签名,指出这个体制是不安全的。     

新的可证明安全的快速认证协议

利用Canetti-Krawczyk模型构造了一个快速认证协议,并对该协议的安全性进行了详细的分析和证明。分析表明,该协议实现了Canetti-Krawczyk模型下可证明安全的快速身份认证、密钥协商和密钥更新,且具有双向实体认证、完美的向前保密性等安全属性,满足了认证的安全需求。该认证协议仅需进行2轮交互即可完成,通信开销小,计算量较低,为用户间的相互认证提供了一种高效的解决方案。     

1-out-of-n不经意传输的变换及应用

提出了不经意传输的一个新应用——在群签名中的应用。首先给出了文献[1]的1-out-of-n不经意传输协议的一个变形,利用该变形协议提出了一种新的群签名成员资格撤销方法。该撤销方法是一个一般性的方法,可通用于任何群签名方案,而以前的撤销方法都是针对某一具体签名方案的,不具有通用性。在随机预言机模型以及计算Diffie-Hellman(CDH)假设下,可证明新协议是安全的。     

高效的口令基认证组密钥协商协议

对认证的口令基组密钥协商协议进行安全分析,指出传送数据中的冗余导致协议的不安全。基于Burmester and Desmedt的协议,给出一种改进的协议。该协议的计算复杂度较低,通信轮数较少;该协议不但满足前向安全性、双向认证性,还能有效地抵抗中间人攻击。最后,依赖于Diffie-Hellman(CDH)假设,在随机预言机和理想密码模型下证明了协议的安全性。     

基于蒙特卡洛重要抽样法的结构时变可靠性分析

针对蒙特卡洛法求解效率低的问题,提出一种基于蒙特卡洛重要抽样法的结构时变可靠性分析方法。首先,该方法通过对时间离散的方式,使随机过程转换为随机变量,将原时变可靠性问题转换为常规时不变体系可靠性问题;然后通过一次2阶矩法求解转化后的模型,得到随机变量在各时刻下相应的最可能失效点,接着随机变量在MPP点处采用"重要抽样法"进行采样;而后将获得的样本点代入功能函数中进行计算,累计结构失效的次数,求得结构的失效概率;通过3个数值算例的计算分析,证明本文方法的有效性。     

基于SRP算法的安全AODVjr协议

无限传感器网络由大量具有微处理能力的传感器节点组成,对物理环境参数进行各种监控。路由是无限传感网络中的一个重要问题,路由协议用于实现各种路由功能。AODVjr协议是应用最为广泛的无限传感器网络路由协议。作为AODV协议的简化,AODVjr协议省略了AODV协议中的各项优化措施,因此在节能性方面优于AODV协议。但是AODVjr协议没有在路由过程中采取安全措施,因此不能对路径信息和传送的数据提供安全保障。该文将SRP安全算法应用于AODVjr协议,提出了能够保障路径信息安全的SAODVjr协议,并给出了协议安全性的理论证明。     

基于遗传算法的零部件通用性问题的研究

零部件通用性策略是用来应对市场需求多样化、个性化的一种生产策略。然而,当企业面对品种众多的产品时要面临一个通用件选择问题。本文通过对供应链成本结构分析,建立了通用件选择问题的优化模型,并借用遗传算法求得模型的最优解。算例给出了如何在MATLAB 7．0环境下求解该模型,结果表明该模型和算法可以确定作为通用件的零部件,并计算出对应的总成本。     

认证邮件协议的安全性分析与改进

认证邮件协议需要满足保密性、公平性、可追究性等安全属性。针对一个典型的认证邮件协议在保密性、可追究性上存在的安全缺陷,对其进行了改进,提出了一个基于离线半可信第三方的认证邮件协议。同时,为更有效地分析协议的安全属性,对如何在组合协议分析框架下应用Kailar逻辑分析公平交换协议安全属性的方法进行了研究。利用该方法分析了改进后的协议,并证明了该协议具有满足保密性、可追究性等安全属性的特点。     

连分式算法插值顺序的有效安排

n节连分式算法是一个实用的一维搜索方法。构造连分式插位函数时,部分分母的计算在该算法中占有较大的比重,本文通过对插值点先后顺序的有效安排,使得部分分母的计算量下降近三分之一。最后,对该算法可能遇到的数值困难提供了一个实施方案。     

浅谈提高低年级学生计算能力的方法

计算是数学知识中的重要内容之一，数学计算能力是一项基本的数学能力，包含了计算的准确率和正确率两方面的计算能力是学习数学和其他学科的重要基础。在小学数学教材中计算所占的比重很大，尤其是低年级，学生计算能力的高低直接影响着学生学习的质量，因为数学中有些概念的引入需要通过计算来进行；数学中解决实际问题的解题思路、步骤、结果也要通过计算来落实。     

软计算与硬计算融合的中国石油需求预测

近年来,随着我国经济的高速增长,石油作为重要的战略资源,在经济发展中发挥着越来越重要的作用。运用软计算和硬计算相融合的方法对我国2004—2015年的石油需求进行了预测。首先介绍了软计算和硬计算融合的串联模式,然后构建了影响我国石油需求(石油消费量)的主要指标,即国内生产总值(GDP)、人口总量、能源消耗量和居民消费水平。通过分析这些指标的数据特征,得出它们随时间的推移呈现增长的趋势。根据这一结论,运用软计算和硬计算融合中的串联模式,用硬计算中的龚珀资(Gompertz)增长曲线预测法来预测影响石油需求的4个指标以及石油需求量2004—2015年的值。在这些数据的基础上,再用软计算中的BP人工神经网络,对我国2004-2015年的石油需求量进行了预测。最后通过对HC和SC预测的石油需求量进行加权平均,得到了最终的预测结果。     

可转换认证加密的安全邮件协议

通过对电子商务中不可否认公平交换协议的运行流程进行了研究,论证了基于第三方的不可否认公平交换协议至少需要运行4步骤,进而指出现有一个协议实质上是需要运行4步骤的,而不仅仅是运行3步骤。依据安全协议与密码系统分开设计的原则,对比分析已有可转换认证加密方案,提出了一个可转换认证加密方案的系统模型。并基于该系统模型,设计了基于半可信第三方的不可否认的安全邮件协议。通过形式化方法分析表明,该协议具备邮件发送方和接收方均不可否认的特点。     

TRIPS协议下我国知识产权司法保护的新机制探究

《与贸易有关的知识产权协议》（TR IPS协议）作为第一个在多边贸易框架内达成的知识产权保护协议,是当今世界范围内知识产权保护领域中保护范围广、保护标准高、保护力度大的一个国际公约。如何运用TR IPS的有关规定来促进我国的国际科技合作、维护经济安全与经济利益,是一个十分重要的课题。因此,在正视我国现有知识产权司法保护机制存在的问题的基础上,全面理解TR IPS协议精神,加快与该协议有关措施的本土化进程,建立新型有效的司法保护机制,以期达到保护我国经济安全与经济利益的目的。     

计算科学发现：目标与方法论反思

计算科学发现是人工智能和科学交汇融合的产物,其通过计算的方式对人类科学发现过程中的认知过程进行重构并实现了对人类自然认知能力的技术增强,从而使得经过恰当编程处理的计算机能够模拟人类的发现活动,并帮助人类获得关于客观世界的新知识。计算科学发现将计算作为一种方法和视角引入科学发现的研究中,揭示了以往推理方法中更为精细的结构,也为经典问题的研究提供新的思路。通过方法论的思考可以发现,计算科学发现的限度取决于多大程度上能够将具体的科学发现活动表征为具有可计算性的问题,为该问题设计高效的算法并提供充分且正确的科学数据,同时取决于是否能够对发现系统持有合理且必要的信任。     

大规模外贸物流系统规划计算方法研究

求解大规模外贸物流系统规划时,常常会遇到系统变量过多,从而导致计算速度慢,计算精度低有时甚至完全不能求解的问题。解决这类问题的重要途径之一,就是先用动态规划方法求出系统中各起运点到各运到点之间的所有最短线路和各线路的对应费率;然后将各最短线路的费率作为线性规划方法的计算参数,从而使系统的变量数大大减少,再用线性规划方法求得满足各种约束条件限制及品质要求的系统总体最优解。     

利用正交直积态的量子密钥分配协议

基于量子密钥分配协议是目前实现密钥分配最安全的方法,两个三态量子位组成的复合系统中存在一组正交直积态,它可以表现出非定域性。该文提出了一个建立在该系统的非定域性基础上的量子密钥分配协议,协议双方通过交换量子位和集体测量建立起共享的密钥。量子力学的基本原理保证了该协议是无条件安全的,没有第三方可以窃取密钥而不被发现。该协议不需要纠缠态,也不需要做任何量子操作。因此,它更容易在实践中实现,同时具有更高的可靠性与健壮性。     

Ad hoc网络安全多路径路由协议研究

针对移动自组网中单路径路由协议,数据转发时易被完全截获的缺陷,设计了一种安全多路径路由协议AODV_MS。该协议将一个完整的网络层数据包分成多个数据分片,通过对节点安全等级的设置,控制各条路径上转发分片的最大个数,防止恶意节点获取足够多的信息破译加密策略。仿真实验证明,与传统的多路径协议相比,该协议增加了少量的路由开销,有效地提高了系统的安全性能。