Detection statique de codes malicieux dans les logiciels commerciaux COTS (French text).

摘要

With the advent and the rising popularity of networks, Internet, intranets and distributed systems, security is becoming one of the focal points of research. As matter of fact, more and more people are concerned with malicious code that could exist in software products. A malicious code is a piece of code that can affect the secrecy, the integrity, the data and control flow, and the functionality of a system. Therefore, their detection is a major concern within the computer science community as well as within the user community. The fact that a malicious code can affect the data and control flow of a program made the static flow analysis a naturally helpful part of the detection process. In this thesis, we address the problem of static detection of malicious code in a software COTS. The primary objective of this research initiative is to elaborate practical methods and tools with their robust theoretical foundations, for the Static Detection of Malicious Code in Commercial Software COTS1.; 1Commercial Off-The-Shelf