https://123dok.net/document/yngn99kj-méthodes-formelles-extraction-attaques-internes-systèmes-information.html