2001: Agentyczna Odyseja w Modelowaniu Zagrożeń

„2001: Agentyczna Odyseja” to praktyczne, otwarte warsztaty, w których modelujemy zagrożenia systemu HAL 9000 z 2001: Odyseja kosmiczna, jakby był nowoczesnym agentycznym systemem AI (LLM + narzędzia + uprawnienia + skutki uboczne).Przynoszę diagram DFD HAL, a następnie wspólnie wyznaczamy granice zaufania i przeprowadzamy klasyczną identyfikację zagrożeń „co może pójść źle?”. Uczestnicy dzielą się na małe grupy, aby zbudować gałęzie drzewa ataków i przetłumaczyć je na analizę drzewa awarii (FTA) z użyciem logiki AND/OR i minimalnych zestawów cięć, w tym lekkich szacunków prawdopodobieństwa w celu priorytetowania najbardziej prawdopodobnych łańcuchów awarii.Kończymy, przekształcając te ścieżki awarii w pomysły na testy gotowe do automatyzacji (iniekcja błędów, invarianci, dowody) i opcjonalnie opracowując usystematyzowany model zagrożeń HAL do złożenia w bibliotece modeli zagrożeń OWASP. Zaprojektowane tak, aby każdy mógł wnieść wkład w ciągu 10-15 minut, podczas gdy zaawansowani uczestnicy mogą zagłębić się w FTA i priorytetyzację. Każdy etap jest podzielony w sposób umożliwiający dołączanie w dowolnym momencie.