程序符号执行中的数组分析

符号执行中复杂结构语义的建模决定了其分析结果的精度。通过对符号执行中数组的几种特性分析,提出了基于Phoenix的IR的数组对象建模方法,采用该方法实现了一个单元测试工具CUTG。试验表明,该方法可以准确地解释复杂的数组对象,并自动产生测试例输入。

常见排序算法及其主要应用

主要针对选择排序、冒泡排序、直接插入排序和希尔排序的基本原理和时间复杂度进行了阐述。并对这四种排序方法在不同应用场合、不同数据特性下的时间效率进行了分析,得出其在不同情况下的适用性。

基于S盒设计的多输出Plateaued函数的构造

多输出布尔函数具有输出效率高、安全性好等良好的密码学性质,被广泛应用于S盒的设计。利用2m个单射构造出一类n元m输出的多输出Plateaued函数,该函数具有非线性度高、弹性好的特点,一定条件下满足差分均匀性、严格雪崩准则和(n-1)次扩散准则。且当n和m的值很接近时,构造的多输出Plateaued函数可以用于S盒的设计。

一种基于格雷码的图像隐藏算法

本文提出了一种结合格雷码的图像隐藏算法,将待嵌入的秘密信息进行格雷码编码后加密,选择图像量化后的DCT系数中频系数作为嵌入位置嵌入信息。信息提取过程中只需判断相应位置系数的正负值便可以正确提取信息。实验表明该算法具有较好的嵌入容量和不可见性,且纠错能力强。

计算机网络信息安全保密技术探讨

在当今社会,计算机网络的应用可以说已经融入到人们的日常生活中,计算机给人们的生活、生产活动和学习可以说带来了极大的便利。然而,任何事情都有好的一面和坏的一面。计算机网络使人们能够更快地共享最新信息,但也存在一定的安全问题。计算机网络信息安全一直是制约当前信息技术发展的突出问题。现在各行各业都严重依赖计算机。所以信息安全技术也非常重要。大多数时候,一旦黑客侵入计算机的本地安全网络,损失是非常巨大的。

过程内分析和路径调度算法实现

符号执行是路径敏感的分析方法,分析精度高,时间空间消耗较大,是作为单元测试的一种很好的方法。针对符号执行的特点,本文提出一种过程内分析算法和路径调度算法,基于该算法实现了一种测试工具,通过实验,表明该算法在万行级代码的分析能够给出具有指导价值的分析结果。