Handler混淆增强的虚拟机保护方法

按照一定顺序执行虚拟指令处理函数（Handler）可完成程序关键代码的保护,其为软件逆向分析者攻击的重点对象。针对“动态提取,静态分析”的Handler攻击方法,提出一种基于Handler混淆增强的虚拟机保护方法。运用等价指令替换规则生成多种等价Handler序列,对所有Handler进行变长切分和随机乱序,通过构建跳转表对乱序序列进行重组,构建随机地址数组对Handler调度地址表和执行跳转表进行隐藏。实验和分析表明：多样化Handler生成、切分和乱序增加了动态提取和分析的难度,Handler地址表和跳转表的隐藏增加了抵御静态逆向分析的难度,从而提升了虚拟机保护强度。     

一种基于数据依赖关系的软件水印算法

提出了一种基于数据依赖关系的软件水印算法。算法将水印信息编码为数据依赖图,选取目标程序的部分数据作为数据依赖图节点,通过添加数据之间的依赖关系将水印嵌入到目标程序中。实验及分析表明该水印算法能够抵御多种非数据流攻击方式的攻击,具有较好的鲁棒性;并且水印嵌入时利用了目标程序的数据,所嵌入的代码与程序中原有代码类似,具有较好的隐蔽性。     

一种基于游程编码的图像易碎水印算法

为了消除基于分块的图像认证算法中图像块之间的相关性,并进一步减小自嵌入水印对载体图像质量的影响,提出了一种新的自嵌入易碎水印算法：首先对图像进行2×2的分块,并求各分块的灰度均值生成图像的均值图像;根据均值图像各像素之间的相关性进行游程编码;将编码信息作为水印嵌入在图像像素的低位中;篡改检测时首先使用字符串匹配的思想进行图像块和水印之间的匹配,对于未匹配成功的块,使用分组的方式进行再次匹配,以完成认证和恢复.该算法进行一次的水印嵌入,同时用于篡改检测与恢复,有效缩短了水印长度,减小了对载体图像质量的影响.理论分析和实验仿真表明了文章算法在不可见性、篡改定位和恢复、抗拼贴攻击、漏检率等方面具有较好的效果.     

基于矩阵编码和多重水印的JPEG图像块级认证算法

JPEG图像是目前常用的图像格式之一,由于其冗余数据较少,因此实现对JPEG图像的精确认证,需要对认证水印信息进行合适的编码以尽可能地缩短水印长度. 为此,结合矩阵编码和多重水印技术,提出了一种用于JPEG图像的块级认证算法. 矩阵编码可将长为l的水印信息缩短为log2l数量级,且可准确定位其中1位信息的改变,因此通过矩阵编码可有效缩短水印的长度. 同时,为了提高算法的定位准确率,通过嵌入多重水印共同完成对图像的篡改定位. 算法分析中对算法的漏检率、虚检率进行了较为详细的分析. 理论分析与实验结果表明,在篡改率不大的情况下,算法能够实现对JPEG图像的块级篡改定位,在篡改率小于5%,向每个图像块仅嵌入约2bit水印信息的情况下,漏检率和虚检率均在10-2数量级.     

基于带权隐秘图像的2LSB隐写分析方法

图像2LSB（Two Least Significant Bits,最低两位比特）替换隐写在各个位平面上的信息隐写可以是相互独立的,其隐写比率可以不同。文章基于带权隐秘图像检测方法的原理,给出了最低两位平面含隐写信息的带权隐秘图像模型,依据该模型构建了2LSB替换隐写比率估计方法。该方法首先运用现有LSB检测方法对次低位隐写比率做出了估计,然后依据文章建立的最低两位平面带权隐秘图像的模型,给出最低位隐写比率的估计。实验结果表明,本方法能较精确地估算出图像最低两位平面上各个位平面的隐写比率。     

基于Fisher信息的最优隐写方法

为了提高隐写算法的安全性,提出一种基于Fisher信息的最优隐写框架.将隐写算法设计建模成以嵌入转移概率为决策变量、以Fisher信息最小化为目标的最优化问题.推导出Fisher信息是嵌入转移概率的二次型,通过二次规划求解最优嵌入转移概率.给出了一个最优隐写算法实例——最优LSB matching算法,实验结果表明,最优LSB matching算法的Fisher信息小于传统LSB matching算法,隐写安全性提高.     

基于k-gram频数的静态软件胎记

基于k-gram的静态软件胎记无法较好区分2个代码量差距较大的程序,且其胎记的鲁棒性一般。为此,将程序k-gram碎片的频数向量作为软件胎记,以其中一个程序的k-gram碎片集为基准对另一个程序的频数向量进行预变换,计算变换后的2个频数向量之间夹角的余弦,作为胎记的相似度。实验结果表明,对于Java类文件的检测,该胎记的可信性和鲁棒性均有一定提高。     

基于辨识性统计特征的PQ隐密图像识别算法

提出一种基于辨识性统计特征的PQ（perturbed quantization）隐密图像识别算法。该算法根据经典PQ隐写对图像数据的更改方式,提取可有效区分该类隐密图像与其他类隐密图像的辨识性统计特征,并运用SVM（support vector machines）分类器进行分类识别。实验结果表明：本算法能够可靠地将PQ隐密图像从5类典型JPEG隐写PQ、F5、nsF5、MB1和MOD的隐密图像中识别出来;即使F5、nsF5、MB1和MOD的隐密图像不参与分类器的训练,本算法仍能有效识别PQ隐密图像。     

一类解析函数的包含关系

设α＞０，β≥０，γ＞０，０≤δ＜ｘ，令Ｈγ（α，β，δ）＝Ｈγ＇（α，β，δ）＝｛ｆ（Ｚ）｜Ｚｆ＇（Ｚ）∈Ｈγ（α，β，δ）讨论了Ｈγ（α，β，δ）、Ｈγ＇（α，β，δ）的一些性质，得到了参数发生变化后的一些包含关系．     

具有不确定未知界的相似组合系统的鲁棒分散输出控制

讨论了不确定相似组合系统的鲁棒分散输出控制问题.不确定项存在于子系统内部 及各子系统的互联项中,可以是非线性或时变的,且满足匹配条件,它们是有界的,但界是未 知的.文中所得控制器保证受控系统按指数收敛于系统的平衡点或以平衡点为中心的最终吸 引子.