Exposé des différents types de menaces auxquelles une entreprise pourrait être confrontée et propositions de solutions pratiques pour remédier à cettre situation.

Un cours sur les phases en amont de la conception d'un logiciel : capture, analyse, spécification, modélisation, classement par priorités des besoins auxquels il devra ...

Les clés pour comprendre le rôle du test au sein d'une équipe agile, tester correctement un produit et savoir si l'automatisation est la seule solution à adopter. Avec ...

Ecrit par le responsable de la sécurité des systèmes d'information de l'INSERM, ce manuel explique de façon pédagogique les risques inhérents aux systèmes d'information...

Une introduction aux concepts de la logique des prédicats du premier ordre tels que la syntaxe, la sémantique et les preuves formelles. Le manuel insiste sur leurs appl...