SYSTEM AND METHOD PROVIDING DEPENDENCY NETWORKS THROUGHOUT APPLICATIONS FOR ATTACK RESISTANCE

• Main Authors: GU, YUAN XIANG, LIEM, CLIFFORD, ZHOU, YONGXIN
• Format: Patent
• Language: English; French
• Published: 27.09.2012
• Subjects: CALCULATING; COMPUTING; COUNTING; ELECTRIC DIGITAL DATA PROCESSING; PHYSICS

A method and system is provided to automatically propagate dependencies from one part of a software application to another previously unrelated part. Propagation of essential code functionality and data to other parts of the program serves to augment common arithmetic functions with Mixed Boolean Arithmetic (MBA) formulae that are bound to pre-existing parts of the program. A software application is first analyzed on a compiler level to determine the program properties which hold in the program. Thereafter, conditions are constructed based on these properties and encoded in formulae that encode the condition in data and operations. Real dependencies throughout the application are therefore created such that if a dependency is broken the program will no longer function correctly. L'invention concerne un procédé et un système pour propager automatiquement des dépendances d'une partie d'une application logicielle vers une autre partie précédemment sans rapport. La propagation de fonctionnalité de code essentielle et de données à d'autres parties du programme sert à augmenter les fonctions arithmétiques communes par des formules booléennes-arithmétiques mélangées (MBA) qui sont liées à des parties préexistantes du programme. Une application logicielle est d'abord analysée à un niveau de compilateur pour déterminer les propriétés du programme qui sont contenues dans le programme. Ensuite, des conditions sont construites sur la base de ces propriétés et encodées dans des formules qui encodent la condition dans des données et des opérations. Des dépendances réelles dans toute l'application sont par conséquent créées de sorte que, si une dépendance est brisée, le programme ne fonctionnera plus correctement.