Two complementary approaches to detecting vulnerabilities in C programs

Two complementary approaches to detecting vulnerabilities in C programs

Show other versions (1)

De manière générale, en informatique, les vulnérabilités logicielles sont définies comme des cas particuliers de fonctionnements non attendus du système menant à la dégradation des propriétés de sécurité ou à la violation de la politique de sécurité. Ces vulnérabilités peuvent être exploitées par de...

Full description

Bibliographic Details
Main Author: Jimenez, Willy
Other Authors: Evry, Institut national des télécommunications
Language:en
Published: 2013
Subjects:
Vulnérabilité
Détection automatique
Test passif
Formalisme
Condition de détection de vulnérabilité
Template
Model checking
Vulnerability
Automatic detection
Passive testing
Formalism
Vulnerability detection condition
Online Access:http://www.theses.fr/2013TELE0017/document

Internet

http://www.theses.fr/2013TELE0017/document

Similar Items