2001 : Odyssée Agentique dans la Modélisation des Menaces

« 2001 : Odyssée Agentique » est un atelier pratique et accessible où nous modélisons les menaces du système HAL 9000 de 2001 : L’Odyssée de l’espace comme s'il s'agissait d'un système d'IA agentique moderne (LLM + outils + autorisations + effets secondaires). Je fournis un DFD de HAL, et ensemble nous marquons les frontières de confiance et faisons une identification classique des menaces « que pourrait-il se passer de mal ? » Les participants se divisent ensuite en petits groupes pour construire des branches d'arbre d'attaque et les traduire en Analyse d'Arbre de Défaillances (FTA) en utilisant la logique AND/OR et des ensembles de coupures minimaux, y compris des estimations probabilistes légères pour prioriser les chaînes de défaillances les plus probables. Nous terminons en transformant ces chemins de défaillance en idées de tests prêtes à l'automatisation (injection de défauts, invariants, preuves), et rédigeons éventuellement un modèle de menace HAL structuré à soumettre à la Bibliothèque de Modèles de Menaces OWASP. Conçu pour que tout le monde puisse contribuer en 10-15 minutes, tandis que les participants avancés peuvent approfondir l'FTA et la priorisation. Chaque étape est divisée de manière à permettre des participations à tout moment.