Skip to Main content Skip to Navigation
Journal articles

Les méthodes formelles : l'autre arme de la cybersécurité

Résumé : Aussi efficace soit-il, l’emploi de hackers n’est pas la seule façon d’éprouver la sécurité d’un système informatique. De plus en plus d’entreprises et d’institutions utilisent les méthodes formelles, et pour de bonnes raisons. La meilleure est sans doute que, le plus souvent, les hackers ne peuvent trouver des vulnérabilités que parmi un catalogue d’attaques connues, certes vaste, mais fini.
Document type :
Journal articles
Complete list of metadata

https://hal.inria.fr/hal-01688783
Contributor : Inria Interstices <>
Submitted on : Friday, January 19, 2018 - 4:59:08 PM
Last modification on : Friday, June 4, 2021 - 1:32:02 PM

Identifiers

  • HAL Id : hal-01688783, version 1

Citation

Jean Goubault-Larrecq. Les méthodes formelles : l'autre arme de la cybersécurité. Interstices, INRIA, 2017. ⟨hal-01688783⟩

Share

Metrics

Record views

169