基于抽象解释的数据迷惑正确性分析

数据迷惑是代码迷惑中重要的一类迷惑变换,在软件保护领域中应用广泛,常被用于防止攻击者对程序进行数据流分析、程序切片等逆向工程攻击。从语义的角度,给出了一种基于抽象解释的数据迷惑正确性的分析方法。首先使用抽象解释理论,从程序语义的角度,对数据迷惑进行形式化描述,用一种语义变换形式化地描述数据迷惑。然后在形式化描述的基础上,由语义变换和语法变换之间的关系,构造得到数据迷惑算法。最后在基于抽象解释的数据迷惑的形式化描述的基础上,对数据迷惑变换的正确性进行分析和讨论。     

基于RSA算法与自修改机制的软件保护

软件版权保护一直是软件作者和公司关心的问题.通过对目前所采用的软件保护方式进行分析,从增大代码理解难度的角度出发,提出了基于RSA算法的软件注册码分配方式,其基本思想是,在程序开发过程中,利用RSA算法中的公钥,对程序中部分代码进行加密,然后将私钥作为注册码对程序进行解密.并且提出基于自修改机制(self-modifying mechanism)的软件保护技术,降低了软件被破解的风险.     

代码迷惑及其有效性研究*

代码迷惑（保护程序的一种手段）通过增加程序的分析理解难度来阻止攻击者对代码进行有用的窜改。从攻击视角指出,盲目采用代码迷惑并不能有效增强程序安全性,而根据攻击模型,从多个角度综合运用各种码迷惑方法将能有效提高程序安全。随后建立攻击模型,将攻击描述为一个不断提取程序信息并据此分析具体语义,进而通过抽象和判断获取抽象语义的过程,并从攻击各层面出发引入相应的代码迷惑方法,进而保护代码安全。     

数据挖掘技术在选择题难度客观因素分析子系统中的应用

回顾了现行选择题难度的预测方法，指出其主观性较强的缺陷。提出数据挖掘技术应用于选择题难度预测的设想．并对设想赋于实践，给出了选择题难度预测系统的体系结构图，最后较详细地说明了数据挖掘技术在客观因素分析子系统构建中的应用。     

提升多维特征检测迷惑恶意代码

针对迷惑恶意代码识别率较低的问题,提出一种基于提升多维特征的迷惑恶意代码检测算法.该算法在对迷惑恶意代码反汇编后进行静态分析,从Opcode分布序列,调用流图特征、系统调用序列图这3个特征维度对恶意代码家族特征进行归纳和分析,结合统计和语义结构特征表现恶意代码"行为"特性,从而对分类结果加权投票后给出迷惑恶意代码家族判...     

Java智能卡的安全漏洞分析与防御

智能卡由于自身较高的安全特性和易携带等优点,使其成为人们生活中被广泛使用的工具。Java智能卡凭借技术优势更是受到社会青睐。智能卡通常携带个人私密信息和重要数据,使之受到来自多方面的威胁。对Java智能卡的安全研究有助于提高卡内虚拟机的安全性。本文详细阐述JCVM(Java Card Virtual Machine)存在的安全漏洞,给出实际的病毒代码,深入分析并找出漏洞存在的根本原因,在研究学习前人的基础之上并结合实际给出对应的防御措施。     

基于程序设计类图保护的代码迷惑算法

通过反向工程可以较容易获得Java程序代码的设计类图,从而给保护软件知识产权带来困难。为此,采用Java接口融合的代码迷惑方法,提出一种保护Java程序设计类图的代码迷惑算法,并根据该算法构造一种Java接口融合迷惑器。实验结果表明,该算法具有较好的迷惑效果,有效地隐藏程序的设计类图,并且没有额外时间消耗和大量冗余代码。     

水面舰船对抗超视距导弹攻击的无源干扰方法

论述了采用远距离布放箔条云假目标迷惑干扰导弹发射平台的搜索警戒和目标指示雷达及冲淡干扰导引头雷达的干扰方法，讨论了远程迷惑干扰的干扰机理、箔条云假目标的布放、作战使用方法。     

大型舰艇编队远程迷惑式干扰效能分析

在分析远程迷惑式干扰机理的基础上,结合大型舰艇编队典型队形,建立了编队远程迷惑式干扰效能模型,并对干扰效能进行了仿真分析,得出了相应的最优发射舷角和发射距离。     

盘点2020,你是否被这些谣言迷惑

回望2020,你是否被这些谣言迷惑视线、难辨真假?你是否因这些谣言上当受骗、伤心伤钱伤神?1新冠病毒为人工合成?真相:国际权威机构及多数病毒学、免疫学领域学者有力澄清:迄今为止所有证据都表明,新冠病毒源于自然而非人为制造。科学以全面证据彻底粉碎了伪科学谣言。