提供用于抗攻击的遍及应用的相依性网络的系统和方法

摘要

提供了一种用来自动地将相依性从软件应用的一部分传播到另一个以前不相关的部分的方法和系统。到程序的其它部分的基本代码功能和数据的传播用来用混合布尔算术（MBA）公式增大普通算术函数，所述混合布尔算术（MBA）公式被绑定到程序的先前存在的部分。首先在编译级上分析软件应用以确定在程序中保持的程序属性。此后，基于这些属性构造条件，并在公式中对这些条件进行编码，所述公式以数据和运算对该条件进行编码。因此创建遍及应用的真实相依性，使得如果相依性被破坏，则程序将不再正确地运行。

主权项

一种用于提供遍及软件应用的抗攻击能力的方法，所述方法包括：识别软件应用的关键资产，所述关键资产由一个或多个预定程序属性组成；将程序属性函数关联到所述关键资产中的对应一个；根据用户定义的容限调整所述关联步骤；在所述软件应用的一个或多个点处，根据所述程序属性函数生成所计算的程序属性；以及针对所述一个或多个预定程序属性中的对应一个校验所计算的程序属性。