一种高效的同态时控承诺方案

Boneh和Naor在2000年美密会上提出了时控承诺机制,它能抵抗并行暴力攻击,且保留了强制打开承诺值的可能性。之后,时控承诺机制在密码学许多领域得到了大量应用,例如公平交换协议、公平多方安全计算及公平多方抛币协议。然而,在Boneh-Naor方案中,每次承诺均需要大量的模幂运算和网络带宽,效率很低。本文基于Pedersen承诺机制、GBBS假设和主时间线元素组技术,构造了一种高效的同态时控承诺方案。新方案中主时间线元素组仅在初始化阶段进行一次运算与证明,极大地节省了每次承诺的计算时间和网络带宽。其次,相比于其它方案,新方案具有另一重要特性:同态性。

一种高效的匿名口令认证密钥交换协议

针对云计算等网络新应用中用户隐私保护问题,提出了基于椭圆曲线CDH假设的匿名口令认证密钥交换APAKE协议,通过它用户既能与服务器建立共享会话密钥,又不会暴露其真实身份信息.通过系统模型、安全模型定义及严格的形式化证明,验证了此APAKE协议满足正确性、PAKE安全性及用户匿名性.通过与现有协议对比分析表明:所提APAKE协议既能抵抗身份冒充攻击及离线口令猜测攻击,也提供双向认证;协议效率得到很大提高,客户端及服务器端计算复杂度均有大幅降低.

一种高效的SM2数字签名批量验证算法

数字签名在身份认证、抗抵赖性等方面具有重要作用。例如电子货币系统,商家或消费者需要使用数字签名对电子货币进行签署或验证,以确保电子货币信息的安全性与正确性。当同时对大量的电子现金进行数字签名验证时,会大幅度降低整个系统的运行效率,因此使用批量验证算法显得尤为重要。对于DSA、RSA和ECDSA等数字签名已经有了很多成熟的批量验证算法,但是对于SM2数字签名算法目前还没有对应的批量验证算法。首次提出一种高效的SM2批量验证算法,将最为耗时的点乘运算由n次降为1次(n为签名数量),大大缩短了验证时间。证明了SM2批量验证算法的正确性和安全性,并进行了实验验证。从实验结果可以看出,相对于单个验证算法,批量验证算法的效率显著提升,当签名数量达到约100万(220)时,单个验证算法大约需要1 h,而批量验证算法仅需2 s。

一种基于Web服务的身份认证方案

在分析Web服务中身份认证的特点与当前常见方案的实现方法及其存在不足的基础上,提出了一种简单实用的Web身份认证方案,它满足Web服务中身份认证的基本安全需求,且便于实现.

一种安全实用的电子投票协议

利用PKI、盲签名、秘密共享等技术,该文提出了一种安全实用的电子投票协议,它满足电子投票协议的核心要求-民主性、准确性、秘密性、可证实性、简单性,并很好地解决FOO、Sensus等协议的一些主要问题。

基于多项式表示的集合问题安全计算协议

针对集合问题安全计算方案在实际应用中的低效率及存在安全漏洞等问题,利用多项式表示技术将集合问题转化为多项式求值问题,结合离散对数问题提出了集合成员关系以及集合交集问题的安全两方计算协议。首先,从最近一个高效的集合成员关系计算协议的安全缺陷出发,分析存在的安全漏洞是在一定条件下可以通过穷举攻击获得参与方输入的元素信息,导致参与方的隐私信息得不到保障。为克服该安全漏洞,将集合表示为多项式,并对多项式进行随机化,以确保参与方交互过程中不会发生任何泄漏;然后,结合离散对数问题,提出了安全的集合成员关系计算协议。该协议能够快速判断输入的元素是否属于一个集合,并且除了集合的势,没有泄露参与双方的任何其他信息。接着,将完善后的集合成员关系计算协议进一步扩展,提出了能够解决集合交集问题的安全两方计算协议。利用该协议,互不信任的参与方能有效计算集合的交集,而不泄露自身的隐私信息。最后,在半诚实模型下,结合概率多项式时间模拟器,给出了两个协议的安全性证明,证明了模拟器视图与原协议执行视图在计算上无法区分;详细分析了本文协议的性能,结果表明提出的集合成员关系计算协议及集合交集安全计算协议比其他相关协议效率更高,具有较小的通信复杂度及计算复杂度。

“721”人才培养模式下软件工程翻转课堂教学模式初探

针对现有软件工程教学过程中存在着课堂气氛不活跃、"一刀切"等问题,提出利用翻转课堂来进行教学模式改革。从与传统课堂的比较、实施方案、面临的机遇和挑战等几个方面说明了此方法的可行性。

城市应急联动系统中三台合一的研究与应用

城市应急联动系统是集通信、计算机、网络、GIS、GPS、图形图像、视频监控、数据库与信息处理等多种技术为一体的通信、信息及指挥系统平台,是当前研究与应用的一个新热点。110/122/119三台合一是城市应急联动系统的重要组成部分,对三台合一的系统原理、整体构架、系统功能设计进行了详细的分析。

信息安全人才编程能力的培养

本文就信息安全学科实践环节中综合能力的培养进行了探索，首先分析了信息安全专业教学中实践能力培养的重要性与面临的问题，说明了编程能力提高在培养信息安全应用型人才的重要性，然后提出通过掌握网络安全开发包提高学生编程综合能力的培养途径。

车用功率模块热疲劳应力的高精度在线提取方法与实证

随着车用功率模块的功率密度和电压等级不断提高,热可靠性问题日益突显。其中,温度应力是功率模块老化的主要因素之一。为了评估车用功率模块的热疲劳,需要获取完整的载荷历程,并采用应力循环计数方法进行损伤统计,但该方法难以在电动汽车驾驶过程中实时评估损伤信息,预测性维护存在滞后性。文中基于标准离线雨流计数法进行改进,针对不同材料以及所处不同寿命阶段,设计可变的滤波窗宽对实时结温历程进行筛选和除噪;通过基于“三点双变程”法改进的实时雨流计数算法对有效结温极值点进行高效实时处理,即可实时得到温度应力全循环与半循环数据;通过离散标准化程序对原始热应力计数结果进行聚类存储,满足边缘计算的需要,实现低成本应力循环统计;最后,基于乘用车测试该在线算法在电动汽车实际驾驶路谱下的可行性。实验结果表明,与标准离线计数法相比,累积损伤度误差小于1%。进一步地,讨论温度采样周期对应力计数和损伤计算的影响,表明温度采样周期为500 ms可以兼顾算力与精度,支撑电动汽车的实时可靠性评估。

网络安全风险评估量化模型的研究

基于量化的风险评估方法以及现有的风险评估量化模型基础上,提出一种更加完善和详细的风险评估量化模型。

超声分散时间对GO-CF增强SMPC形状记忆性能的影响

为了研究超声分散时间对形状记忆聚合物复合材料(SMPC)微观组织和形状记忆性能的影响,采用真空浸渗热压工艺制备6组不同超声分散时间的GO-CF混杂增强SMPC,通过扫描电子显微镜表征SMPC的微观组织形貌,开展形状记忆性能的测试.结果表明,适当的超声分散时间可以将GO剥离成片状结构并均匀分散在SMPC中,形成机械联锁和化学键合.随着超声分散时间的增加,SMPC的形状固定率和形状回复率呈现先增大后减小的趋势,除30 min外,其他SMPC的平均回复速率呈现先减小后增大的趋势,当超声分散60 min时,SMPC具有最佳的形状记忆性能,形状固定率和形状回复率分别达到97.85%和97.30%,最大回复力为10.47 N,平均形状回复速率为1.04°/s,机械联锁和化学键合这种复合结构的增加有利于增强SMPC的形状记忆性能,但需要更多的能量来实现SMPC的形状回复.

基体配比对VIHPS制备GO-CF/EP复合材料微观组织与形状记忆性能的影响

碳纤维混杂增强复合材料由于具有重量轻、可设计性强等诸多优点,广泛用于汽车、海洋、航空航天等行业.根据固化剂与环氧树脂的配比化学原理,计算出石墨烯-碳纤维混杂增强树脂基(GO-CF/EP)复合材料的最佳配比为1∶5,并采用真空浸渗热压成型工艺(VIHPS)制备1∶2~1∶7共六个配比的试样,结合形状记忆性能测试及微观形貌的观察,得到固化剂与环氧树脂实际最佳配比.实验结果表明,GO-CF/EP复合材料性能主要取决于体系中交联度的大小,交联度越大,复合材料的形状记忆性能越好,微观组织形貌也较理想.当基体配比为1∶5时,GO-CF/EP复合材料体系中交联度最大,微观形貌呈现均匀致密的状态,形状固定率最大,为95.90%;形状回复率最大,为95.40%;形状回复时间最短,为80.30 s;形状回复力最大,为9.48 N.当基体配比为1∶2或1∶7时,固化剂过量或不足,交联度较小,微观组织形貌中有大量的基体聚集区,其形状记忆性能下降,形状固定率及回复率也相应减小,分别为82.99%,81.66%,81.91%,78.75%;形状回复力分别只有5.20 N和5.50 N.

基于SIP协议的银行网络对讲监控系统设计与实现

基于会话初始协议(Session Initial Protocol,SIP)设计网络通话系统以及挖掘SIP协议在一些专业领域的应用,是当前的一个研究热点。提出了SIP协议的一个新应用领域——银行网络对讲监控系统,设计了基于SIP协议的银行网络对讲监控系统解决方案,给出了系统设计架构图以及系统基本功能设计,并详细阐述了系统的硬件和软件实现方案。

企业数字化实践

通过对企业组织与业务内在底层逻辑进行抽象,构造业务矩阵与组织矩阵,建立企业数字化平台架构模型,并在此基础上无限扩展企业各项子业务和组织活动的量化模型,将业务与组织有机互联,实现业务和组织活动的高度自动化、智能化,改进企业的生产函数,降本增效。

电动汽车变速器电液控制系统总成设计及结构优化

双离合变速器(dualclutchtransmission,DCT)具有换挡速度快、传动效率高和质量小等优点,搭载DCT的电动汽车的动力性与经济性可显著提高。在DCT中,电液控制系统总成的设计尤为关键。以纯电动汽车的两挡干式双离合变速器(简称为2DCT)为研究对象,对其电液控制系统总成进行设计。首先,基于2DCT中干式双离合器的结构和性能参数,对2DCT电液控制系统的关键元件进行选型和计算。然后,基于2DCT电液控制系统的原理,设计了一体式液压阀体,并通过静力学分析来验证其结构的稳定性。最后,对2DCT电液控制系统的一体式液压阀体的结构进行拓扑优化,以减小液压阀体的质量,从而实现轻量化。结果表明,所设计的电液控制系统总成的工作特性和结构强度均满足要求,可充分提高电动汽车的平顺性和响应速度。研究结果可为电动汽车变速器电液控制系统总成的开发提供理论依据。

埋地金属管道非接触式磁记忆检测系统研究

对磁记忆检测技术原理及技术难点进行了介绍,通过阵列探头设计和信号处理手段解决了磁信号微弱的问题.采用阵列探头能够排除外界磁信号干扰,同时确保信号之间的一致性.经验证,这种设计能够获得埋地管道的地表磁场分布图,确定异常磁信号来源.所研制检测仪器能够有效进行埋地管道弱磁信号检测.

润滑油对传动系统效率影响的研究

为提高整车传动系统的效率,基于电驱传动系统加不同型号的润滑油,台架试验通过在不同的温度下,传动系统效率测试,效率对比分析,得到不同的润滑油对传动系统效率的影响。结果表明:润滑油的特性对传动系统效率有一定的影响,油液黏度并不是越低传动系统效率越高。

控制器看门狗问题分析及改进

本文选用了控制器看门狗的软件问题,以故障树的分析思路,对问题进行分析。通过研究表明,通过这种方法可找出看门狗故障原因。其他类型控制器如出现类似问题,可参考本文的思路开展分析。此外,对软件进行改进,有效提升软件成熟度。

基于PKI的安全电子投票方案

电子投票是电子政务的一项重要内容,它以密码学为基础,运用现代计算机网络技术和通信技术来实现投票功能.与传统的手工投票方式相比,它提供了更高的效率和更大的灵活性,不仅可以减少通常投票活动在组织、计票和安全保密等方面所需花费的大量人力和物力,而且为投票者提供了极大的方便性.