WIPO logo
Mobile | Deutsch | Español | Français | 日本語 | 한국어 | Português | Русский | 中文 | العربية |
PATENTSCOPE

Search International and National Patent Collections
World Intellectual Property Organization
Search
 
Browse
 
Translate
 
Options
 
News
 
Login
 
Help
 
Machine translation
1. (WO2012126083) SYSTEM AND METHOD PROVIDING DEPENDENCY NETWORKS THROUGHOUT APPLICATIONS FOR ATTACK RESISTANCE
Latest bibliographic data on file with the International Bureau   

Pub. No.:    WO/2012/126083    International Application No.:    PCT/CA2011/050157
Publication Date: 27.09.2012 International Filing Date: 24.03.2011
IPC:
G06F 21/22 (2006.01)
Applicants: IRDETO B.V.; Taurus Avenue 105 NL-2132 LS Hoofddorp (NL) (For All Designated States Except US).
LIEM, Clifford [CA/CA]; (CA) (For US Only).
ZHOU, Yongxin [CA/US]; (US) (For US Only).
GU, Yuan Xiang [CA/CA]; (CA) (For US Only)
Inventors: LIEM, Clifford; (CA).
ZHOU, Yongxin; (US).
GU, Yuan Xiang; (CA)
Agent: SMITH, Dallas, F.; Gowling Lafleur Henderson LLP 160 Elgin Street, Suite 2600 Ottawa, Ontario K1P 1C3 (CA)
Priority Data:
Title (EN) SYSTEM AND METHOD PROVIDING DEPENDENCY NETWORKS THROUGHOUT APPLICATIONS FOR ATTACK RESISTANCE
(FR) SYSTÈME ET PROCÉDÉ RÉALISANT DES RÉSEAUX DE DÉPENDANCES DANS DES APPLICATIONS POUR UNE RÉSISTANCE AUX ATTAQUES
Abstract: front page image
(EN)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.
(FR)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.
Designated States: AE, AG, AL, AM, AO, AT, AU, AZ, BA, BB, BG, BH, BR, BW, BY, BZ, CA, CH, CL, CN, CO, CR, CU, CZ, DE, DK, DM, DO, DZ, EC, EE, EG, ES, FI, GB, GD, GE, GH, GM, GT, HN, HR, HU, ID, IL, IN, IS, JP, KE, KG, KM, KN, KP, KR, KZ, LA, LC, LK, LR, LS, LT, LU, LY, MA, MD, ME, MG, MK, MN, MW, MX, MY, MZ, NA, NG, NI, NO, NZ, OM, PE, PG, PH, PL, PT, RO, RS, RU, SC, SD, SE, SG, SK, SL, SM, ST, SV, SY, TH, TJ, TM, TN, TR, TT, TZ, UA, UG, US, UZ, VC, VN, ZA, ZM, ZW.
African Regional Intellectual Property Organization (BW, GH, GM, KE, LR, LS, MW, MZ, NA, SD, SL, SZ, TZ, UG, ZM, ZW)
Eurasian Patent Organization (AM, AZ, BY, KG, KZ, MD, RU, TJ, TM)
European Patent Office (AL, AT, BE, BG, CH, CY, CZ, DE, DK, EE, ES, FI, FR, GB, GR, HR, HU, IE, IS, IT, LT, LU, LV, MC, MK, MT, NL, NO, PL, PT, RO, RS, SE, SI, SK, SM, TR)
African Intellectual Property Organization (BF, BJ, CF, CG, CI, CM, GA, GN, GQ, GW, ML, MR, NE, SN, TD, TG).
Publication Language: English (EN)
Filing Language: English (EN)