Les méthodes formelles : l'autre arme de la cybersécurité - Archive ouverte HAL Access content directly
Journal Articles Interstices Year : 2017

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

(1, 2)
1
2

Abstract

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.
Not file

Dates and versions

hal-01688783 , version 1 (19-01-2018)

Identifiers

  • HAL Id : hal-01688783 , version 1

Cite

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

Share

Gmail Facebook Twitter LinkedIn More