Two complementary approaches to detecting vulnerabilities in C programs
In general, computer software vulnerabilities are defined as special cases where an unexpected behavior of the system leads to the degradation of security properties or the violation of security policies. These vulnerabilities can be exploited by malicious users or systems impacting the security and...
Main Author: | |
---|---|
Language: | ENG |
Published: |
Institut National des Télécommunications
2013
|
Subjects: | |
Online Access: | http://tel.archives-ouvertes.fr/tel-00939088 http://tel.archives-ouvertes.fr/docs/00/93/90/88/PDF/thA_se_WJimenez_2013TELE0017.pdf |