摘要：轻量级认证加密算法ACORN v3作为CAESAR竞赛最终胜出的代表算法之一,其新颖的设计和轻量化高效实现的特点受到国内外密码学界的广泛关注.本文根据差分故障攻击模型,对ACORN v3用于认证时的抗差分故障攻击能力进行了分析:针对MAC长度有限造成唯一定位故障概率不高的问题,给出了提高唯一定位故障概率的交互验证策略和改进的高概率优先策略;证明了认证比特差分代数表达式具有特定的规律,据此将每次故障注入的猜测复杂度由49 bit降至0.713 bit;利用差分代数方法,给出了由认证比特差分建立相关内部状态低次方程的算法和基于方程求解的状态恢复攻击,攻击所需的计算复杂度为2^(0.713·n+0.415·N 3)·c,其中,n为故障注入次数,N3为需要线性化的方程个数,c是求解342比特变元线性方程组的复杂度,数据复杂度和存储复杂度可以忽略不计.

摘要：置换多项式是有限域及其应用研究的重要理论和工具,它在数学和通信领域均有广泛的应用.完全置换是一种特殊的置换多项式,它的构造和应用是密码学、编码理论、组合设计等领域中的热点问题.本文介绍了置换和完全置换的研究进展,研究了有限域上具有特定形式的多项式的置换性质,给出了有限域上置换和完全置换的一般构造方法.先后运用迹函数、线性置换和Dickson置换构造了有限域Fqn上六类形如γx+Trqqn(h(x))的置换,通过限制系数γ的取值得到三类新的完全置换.基于已知的置换判定法则,确定了二项式γx+xs+1是置换的充分条件,进而得到有限域Fqn上几类新的xh(xs)型完全置换.结果表明:有限域Fqn上形如γx+Trqqn(h(x))或γx+xs+1的置换与它的子域Fq上的某些置换具有对应关系,由此可利用Fq上已知的完全置换来构造Fqn上新的完全置换.

摘要：置换多项式在代数学、组合学、数论、编码理论、密码学等领域中均有广泛而又重要的应用.近年来,置换多项式的研究取得一系列进展,研究者先后提出Akbary-Ghioca-Wang法则、分段构造法、交换构造法等方法来构造和证明置换.有限域上的置换多项式因其简单的代数形式和优良的密码性质,在密码算法设计中备受关注.在特征为2的偶次扩域上寻求同时具有低差分均匀度、高非线性度、高代数次数等密码性质的代数形式简单的置换成为学者们研究的热点.本文介绍了置换多项式的相关应用和研究背景,给出了一些基本概念和预备知识.研究了有限域F_p^n上形如x^((p^n-1)/d+1)+ax的二项式的置换属性,给出了该二项式是置换的充要条件.在此基础上,构造出四类二项式置换,并利用Dickson多项式和线性多项式理论予以证明.列举了上述二项式置换在特征为2和3的有限域上的相关实例,并由此得到一些完全置换单项式.根据迹函数的性质,通过引入新的参数构造出两类具有特定指数的多项式置换,上述多项式置换推广了一个已知的结果.

摘要：在软件的开发和维护过程中,与代码对应的注释经常存在缺失、不足或者与代码实际内容不匹配等问题,但手工编写代码注释对开发人员来说费时费力,且注释质量难以保证,因此亟需研究人员提出有效的代码注释自动生成方法.代码注释自动生成问题是当前程序理解研究领域的一个研究热点,对该问题进行了系统综述.主要将已有的自动生成方法细分为3类:基于模板的方法、基于信息检索的方法和基于深度学习的方法.依次对每一类方法的已有研究成果进行了系统的梳理、总结和点评.随后分析了已有的实证研究中经常使用的语料库和主要的注释质量评估方法,以利于针对该问题的后续研究可以进行合理的实验设计.最后进行总结,并对未来值得关注的研究方向进行了展望.

摘要：随着网络的发展和普及,人们对于安全性、匿名性、反审查等信息安全的需求快速增强,越来越多的人开始关注和研究Tor匿名通信网络。目前针对Tor网络内容监控的研究工作大部分存在功能少、性能弱等劣势,如缺乏为暗网设计的专用爬虫,网络连接速度较慢,本文设计开发了一套综合性的Tor网络内容动态感知及情报采集系统,包含数据采集爬虫以及网页内容分类两个部分。其中爬虫部分使用了分布式架构,包括了任务管理模块、爬虫调度模块、网页下载模块、页面解析模块、数据存储模块,同时创新性地优化了Tor连接链路以提高爬取速度和稳定性;网页内容分类部分使用了自然语言处理技术,建立训练模型并对抓取到的信息进行精准高效分类,解决分类的准确度和复杂性问题,最后根据结果分析暗网的内容结构和敏感信息。我们也相应地为保障系统运行设计了容错模块和预警模块,从而对系统各个组件的当前状态进行实时监控,并将系统的状态数据进行整合、收集和展示。最后我们将该系统放到了实际Tor网络环境中进行了测试,从系统网页爬取效果、内容分类效果及系统性能等三方面进行了评估和分析,并与国内外7中现有的框架的功能进行了对比,证明本文提出的方案在暗网域名、网页、数据爬取的量级和速度性能方面均为最佳。

摘要：随着社交媒体的发展,突发事件在网络中迅速传播,进而影响事态变化,为公共秩序及社会局势带来严重影响。突发事件的演化研究已成为内容安全领域的重要组成部分。文章通过分析突发事件的基本性质,发现突发事件的演化过程可由具有时序进化结构的潜在话题反映出来。文章设计实现了突发事件话题演化分析系统,结合社交媒体的内容特点,使用动态主题模型,从话题内容和热度两方面,分析公众观点变化,还原事件发展过程。该系统在"韩国部署萨德反导弹系统"话题分析中取得预期效果,在事态感知领域具有应用价值。

摘要：LTE/LTE-A网络的设计为移动应用提供了较低的切换时延,但LTE标准中的切换过程仍存在一定的复杂性和安全缺陷。为了解决LTE标准和传统切换认证协议的缺陷,设计了一个基于盲签名的切换认证协议。在注册接入阶段通过盲签名建立用于切换过程的认证密钥,在切换过程中通过假名的可变换性和在特定条件下变为真名的可逆性来实现匿名性、不可跟踪性和条件隐私保护。理论分析和仿真结果表明,相较于LTE标准和其他切换认证协议,提出的协议在满足更多安全属性的同时,有更好的性能。

摘要：针对应用于无线传感器网络的密码hash函数认证协议中存在的安全问题,提出了新的改进双向认证协议。该协议使用含有共享密钥的密码hash值作为认证信息,在执行过程中补充了节点撤销机制,解决了无线传感器网络中身份认证、会话密钥建立、旧节点退出网络、新节点加入网络等安全问题。与同类协议进行了安全性、效率性、功能性的比较,比较结果表明,该协议可以更好地满足无线传感器网络的应用需求。

摘要：针对射频识别(RFID)群组证明协议中的安全和隐私问题,重点分析Cho等提出的一种RFID群组证明协议中存在的交错攻击问题,在此基础上,提出一种改进的RFID群组证明协议。利用消息认证码和伪随机数生成器等加密技术,以及计算结构上的不对称性,保障协议的安全和隐私。安全分析结果表明,该协议与其它相关协议相比具有更强的安全性和更好的隐私保护。将该协议扩展为相对应的针对多个RFID标签的群组证明协议。

摘要：以太坊区块链技术是当今互联网时代的一项具有创新性、革命性的综合型分布式数据库账本技术,具有去中介化、自治性、数据不可篡改、可追溯、可编程等特点。分析了传统房地产供应链存在的不足,运用新兴的区块链技术,设计了基于以太坊智能合约的房地产供应链系统。给出了该系统的系统模型,包括系统流程和系统架构两部分。具体说明了系统所涉及到的四个功能模块。展示了系统的工作流程,并讨论了区块链+房地产供应链存在的问题。对区块链应用于房地产供应链领域进行总结,旨在为未来更好地将区块链应用于房地产供应链提供参考。