Überprüfung der Gleichung eines Computer-Köders Gegenüber einem Objektiv zum Einsatz auf einem Computersystem

Details

Veröffentlichungs-Nr.

EP4488860

Aktenzeichen

EP23184219

Anmeldetag

7. Juli 2023

Veröffentlichung

8. Januar 2025

Rechtsraum

EP

IPC

G06F21/55H04L9/40

Abstract

L'invention concerne un procédé de vérification de l'adéquation d'un leurre informatique vis-à-vis d'un objectif, pour son déploiement sur un système informatique, ledit leurre étant prévu pour adopter un comportement adaptatif en fonction d'un attaquant du système informatique, et le procédé comportant :- une étape de modélisation (S1) du comportement adaptatif du leurre sous la forme d'un graphe d'états,- une étape de spécification (S2) de l'objectif, sous la forme d'une équation formelle,- une étape de vérification (S3) sur la base du graphe d'états et de l'équation formelle

Anmelder

Firmen

Electricité de France
Institut Mines-Telecom

Land

🇫🇷 Frankreich

Fachgebiete