A propos de sécurité
Welcome
Home
Publications
My tip and tricks
(internal)
My tools
Certificate Translator
Coq DpdGraph
ocamlannot
PHP calendar
Bookmarks
Static Analysis
Coq
Security
Development
Other links
Sources d'information
CERT C Secure Coding Standard
Règles de programmation avec exemples de failles potentielles;
CWE
: Common Weakness Enumeration
et particulièrement
Top 25 Most Dangerous Software Errors
avec plein de détails sur leurs impacts et comment les éviter;
CAPEC
: Common Attack Pattern Enumeration and Classification
...
SAMATE
Software Assurance Metrics And Tool Evaluation
et en particulier une grosse
base de tests
OWASP
: Open Web Application Security Project
Orienté application WEB, et donc plutôt éloigné du C, mais bien intéressant quand même;
Contact :
INRIA
/
Sophia Antipolis
/
Marelle
- Tel : (+33) 4 97 15 53 45 - Fax : (+33) 4 92 38 50 29 - E-mail: Anne dot Pacalet at inria dot fr