Fuzzing技术的样本数据组合研究*

提出了基于样本数据组合的Fuzzing技术,并抽象出了解决样本数据覆盖问题（data sample covering problem,DSCP）的数学模型;为了更好地解决样本数据覆盖问题,提出了改进遗传算法(developed genetic algorithm,DGA),通过实例实验说明了DGA的有效性,并且通过仿真实验,验证了算法在求解复杂协议文件样本数据覆盖问题时比贪心算法和简单遗传算法具有更高的效率。     

动画效果在VFP表单中的实现

VFP是面向对象程序设计语言,表单是VFP与人交互的桥梁,很多学生在学习、设计、应用的过程中,仅局限于书本中简单控件的使用,并没有较深入地与实际应用相结合。本文通过实例,详细介绍Timer控件在VFP表单设计中的灵活应用。利用Timer控件、通过程序代码控制标签控件或图像控件的某些属性可产生形态多样的动画效果。     

基于可执行代码的web服务重用研究

已有的web服务在其被维护一段时间之后需要被替换或者更新,而在新web服务中会重用原有web服务的部分功能。为此,设计了一个重用已有web服务可执行程序功能的框架,采用静态方法分析可执行程序以及程序的控制流、数据流,分解得到此程序的功能,最后将程序的功能转换为WSDL描述,使其能在新应用下重用。     

Optimal binary codes and binary construction of quantum codes

This paper discusses optimal binary codes and pure binary quantum codes created using Steane construction. First, a local search algorithm for a special subclass of quasi-cyclic codes is proposed, then five binary quasi-cyclic codes are built. Second, three classical construction methods are generalized for new codes from old such that they are suitable for constructing binary self-orthogonal codes, and 62 binary codes and six subcode chains of obtained self-orthogonal codes are designed. Third, six pure binary quantum codes are constructed from the code pairs obtained through Steane construction. There are 66 good binary codes that include 12 optimal linear codes, 45 known optimal linear codes, and nine known optimal self-orthogonal codes. The six pure binary quantum codes all achieve the performance of their additive counterparts constructed by quaternary construction and thus are known optimal codes.     

基于区块链改进的代码共享航班管理系统模型

为解决现有的代码共享航班信息系统分布于各个航司与GDS,存在信息不一致的问题,提出了一种基于区块链改进的代码共享航班管理系统模型。改进模型在保证原系统功能的基础上,增加区块链系统的支持,将交易的用户信息及数据的摘要上链,来保证系统的不可窜改特征。并提出四次交互的消息验证机制,将改进系统中涉及业务变更的信息进行抽象并规范化。对实现的系统进行时间及空间两个维度的测试。结果表明,系统具有可扩展性,并有着较好的吞吐量及可预估的空间占用,符合企业级信息系统上链要求。     

基于安全协议代码的形式化辅助建模研究

随着安全协议形式化分析技术的不断发展,利用工具自动验证虽已得到实现,但建模环节仍需依赖专业人员手工建模,难度大且成本高,限制了此技术的进一步推广。为了提高建模的自动化程度,提出了依据安全协议代码进行形式化模型辅助生成的方案。首先,使用污点分析获取协议的通信流程,并且记录密码学原语操作;然后,根据通信流程之间的序列关系构建协议通信状态机;最终,根据目前主流的安全协议形式化分析工具Tamarin的模型语法生成形式化模型。实验结果表明,此方案可以生成形式化模型中的关键部分,提高了形式化建模的自动化程度,为形式化分析技术的推广作出贡献。     

软件多分支开发代码漏合问题及解决途径

代码管理是软件开发过程的一个重要的环节,随着软件需求和功能的日益复杂,多分支开发场景越来越普遍,使得代码管理的难度直线上升,分支间代码漏合问题也应运而生,严重影响了开发的效率和版本的交付质量,本文根据个人的代码管理经验,对常用的分支管理模式进行了研究与分析,并主要基于分支开发、分支发布模式对多分支代码漏合问题进行了解决途径的研究.实践应用结果表明可以有效避免分支代码漏合问题,优化代码管理过程,提高整体代码管理的效率.     

基于图卷积神经网络的函数自动命名

函数自动命名技术旨在为输入的源代码自动生成目标函数名,增强程序代码的可读性以及加速软件开发进程,是软件工程领域中一项重要的研究任务.现有基于机器学习的技术主要是通过序列模型对源代码进行编码,进而自动生成函数名,但存在长程依赖问题和代码结构编码问题.为了更好的提取程序中的结构信息和语义信息,本文提出了一个基于图卷积(Graph Convolutional Network,GCN)的神经网络模型—TrGCN(a Transformer and GCN based automatic method naming).TrGCN利用了Transformer中的自注意力机制来缓解长程依赖问题,同时采用Character-word注意力机制提取代码的语义信息.TrGCN引入了一种基于图卷积的AST Encoder结构,丰富了AST节点特征向量的信息,可以很好地对源代码结构信息进行建模.在实证研究中,使用了3个不同规模的数据集来评估TrGCN的有效性,实验结果表明TrGCN比当前广泛使用的模型code2seq和Sequence-GNNs能更好的自动生成函数名,其中F1分数分别提高了平均5.2％、2.1％.     

热线互动

什么是厂商识别代码?答:厂商识别代码是指国际通用的商品条码标识系统中表示厂商的唯一代码。厂商识别代码由7~10位数字组成,在我国,由中国物品编码中心(以下简称编码中心)负责分配和管理。     

一种时序型总线硬件木马的植入与检测

RS总线集成电路在航空航天及工业控制领域具有广泛的应用,随着集成电路硬件木马的检测成为研究热点,作为总线硬件木马研究领域的分支,其设计越来越受关注。在常规时序型硬件木马的基础上,针对RS232总线集成电路,设计一种基于可逆计数器的时序型总线硬件木马。采用Xillix公司的ISE软件在RTL层设计相应的RS232总线Verilog代码,并在常规和可逆时序型硬件木马触发阈值呈等差递增的条件下进行Modelsim仿真分析,结果表明,在总线功能需求复杂和传输数据较多的情况下,可逆时序型木马比常规时序型硬件木马具有灵活性和较低的触发率,隐蔽性更强。