KI-Sicherheitsanalyse-security-audit-skill: Difference between revisions

From
Jump to navigation Jump to search
Content deleted Content added
MelhemG (talk | contribs)
MelhemG (talk | contribs)
Line 38: Line 38:


=== Ablauf in sechs Phasen ===
=== Ablauf in sechs Phasen ===
[[File:Ablauf_6_Phasen|thumb|center|800px|Ablauf des Security-audit Skill]]
# '''Aufklärung:''' Vier Agenten erfassen parallel Technick, Benutzerrollen, Vertrauensgrenzen und Eingabepunkte. Daraus entstehen <code>architecture.md</code> und das Coverage Ledger.
# '''Suche:''' ''Hunter''-Agenten prüfen je eine Einheit mit passenden Angriffsklassen; ''Kritiker''-Agenten suchen ungeprüfte Bereiche.
# '''Validierung:''' Jeder Kandidat geht an einen frischen ''Prüfer'', der die Suche nicht kennt und den Fund zu widerlegen versucht.
# '''Strukturierte Ausgabe:''' Die Urteile landen in <code>findings.json</code> und werden gegen das Schema geprüft.
# '''Erneute Verifikation:''' Weitere frische Agenten prüfen die endgültigen Aussagen ein zweites Mal.
# '''Bericht:''' Erst dann entstehen <code>REPORT.md</code> und <code>NEEDS-VALIDATION.md</code>, ausschließlich aus geprüften Datensätzen.

Nur der koordinierende Agent (''parent'') schreibt gemeinsame Dateien, alle anderen liefern strukturierte JSON-Ergebnisse zurück.

=== Zentrale Konzepte ===
=== Zentrale Konzepte ===



Revision as of 16:53, 7 October 2026

Einleitung

Große Sprachmodelle können Code lesen, Zusammenhänge über viele Dateien hinweg verfolgen und Werkzeuge bedienen. Damit liegt es nahe, sie für die Suche nach Sicherheitslücken einzusetzen. Offen ist, wie belastbar ihre Ergebnisse sind, denn ein falscher Befund ist in der Sicherheitsanalyse teuer.

Der Bericht folgt den vier Fragen der Seminarbeschreibung:

  1. Wie funktioniert eine KI-Agent-basierte Sicherheitsanalyse?
  2. Welche Werkzeuge sind verfügbar und geeignet?
  3. Wo liegen Stärken, Schwächen und Kosten?
  4. Können die gefundenen Schwachstellen verstanden und verifiziert werden?

Grundlagen

Werkzeuglandschaft

  • Klassische statische Analyse (SAST) wie Semgrep oder CodeQL ist schnell und reproduzierbar, findet aber vor allem Muster, die vorher als Regel formuliert wurden.
  • KI-Ageten wie Claude Code lesen und durchsuchen Code selbstständig. Sie erkennen auch Logikfehler über Dateigrenzen hinweg, arbeiten aber nicht deterministisch.

Ein Skill ist ein Ordner mit Anweisungen, den ein KI-Agent bei Bedarf lädt und der festlegt, wie der Agent eine Aufgabe erledigt.

Der Cloudflare security-audit skill

Der Security-audit Skill ist ein öffentliches Repository von Cloudflare (MIT-Lizenz) und laut Cloudflare der Ausgangspunkt ihres internen Systems zur Schwachstellensuche. Er ist kein Scanner, sondern besteht aus rund 5.300 Zeilen Anweisungen und zwei Prüfskripten:

Bestandteil Zweck
SKILL.md Einstieg: Betriebsarten, Sicherheitsregeln, Profile, Budget, Schweregrade
RECONNAISSANCE.md, HUNTING.md, ATTACK-CLASSES.md Aufklärung, Suchaufträge und Angriffsklassen
10 Begleitdateien Spezialwissen (z. B. Web/Authentifizierung, Client-Seite, KI/LLM), nur bei Bedarf geladen
VALIDATION-AND-REPORTING.md Validierung, Verifikation und Bericht
report-schema.json und zwei .cjs-Skripte JSON-Schema und deterministische Prüfung der Ausgabe

Verwendet wurde der vollständige Audit-Modus, der alle sechs Phasen durchläuft und Berichtsdatein schreibt.

Ablauf in sechs Phasen

File:Ablauf 6 Phasen
Ablauf des Security-audit Skill
  1. Aufklärung: Vier Agenten erfassen parallel Technick, Benutzerrollen, Vertrauensgrenzen und Eingabepunkte. Daraus entstehen architecture.md und das Coverage Ledger.
  2. Suche: Hunter-Agenten prüfen je eine Einheit mit passenden Angriffsklassen; Kritiker-Agenten suchen ungeprüfte Bereiche.
  3. Validierung: Jeder Kandidat geht an einen frischen Prüfer, der die Suche nicht kennt und den Fund zu widerlegen versucht.
  4. Strukturierte Ausgabe: Die Urteile landen in findings.json und werden gegen das Schema geprüft.
  5. Erneute Verifikation: Weitere frische Agenten prüfen die endgültigen Aussagen ein zweites Mal.
  6. Bericht: Erst dann entstehen REPORT.md und NEEDS-VALIDATION.md, ausschließlich aus geprüften Datensätzen.

Nur der koordinierende Agent (parent) schreibt gemeinsame Dateien, alle anderen liefern strukturierte JSON-Ergebnisse zurück.

Zentrale Konzepte

Versuchsaufbau

Ergebnisse

Verifikation der Ergebnisse

Bewertung

Fazit

Quellen

Anhang: Verwendete Aufträge