2001: Agentische Odyssey in Bedreigingsmodellering

“2001: Agentische Odyssey” is een praktische workshop waar we de HAL 9000-systeem uit 2001: A Space Odyssey bedreigingsmodeleren alsof het een modern agentisch AI-systeem (LLM + tools + machtigingen + bijwerkingen) is.Ik breng een HAL DFD mee, en samen markeren we vertrouwensgrenzen en maken we klassieke “wat kan er misgaan?” bedreigingsidentificatie. Deelnemers splitsen zich dan op in kleine groepen om aanvalsbomen te bouwen en deze om te zetten in Fault Tree Analysis (FTA) met behulp van EN/OF-logica en minimale snijsets, inclusief lichte waarschijnlijkheidsinschattingen om de meest waarschijnlijke faillietketens te prioriteren.We eindigen door die faalroutes om te zetten in automatiseringsklare testideeën (foutinjectie, invarianties, bewijs), en desgewenst een gestructureerd HAL-bedreigingsmodel op te stellen voor indiening bij de OWASP Threat Model Library. Ontworpen zodat iedereen in 10-15 minuten kan bijdragen, terwijl gevorderde deelnemers diepgaand kunnen ingaan op FTA en prioritering. Elke fase is opgesplitst in een manier om drop-ins op elk moment mogelijk te maken.