simulation

Nutzung von Kategorien

Klassen und Compartements

BLP upside down

--> Wahrung der Integrität

• Partitionierung des Systems in logische Einheiten (Domänen)
• Politiken steuern wechselseitige Beeinflussung zwischen Domänen

--> Nichtbeeinflussungsrelationen

Beispiel:

schreiben in Klasse öfftl beeinflusst öfftl und vertraulich

schreiben in Klasse vertraulich beeinflusst nur vertraulich

 es keine Folge von Aktionen gibt, die zu einer unzulässigen Domänenbeeinflussung führt. 

ZGM

Konfliktmenge

History

schauen, welche Informationen bereits in Subjekte geflossen sind 

Spezifikationssprache für automatenbasierte

• ZS-Modelle
• IF-Modelle

Übersetzt Spezifikation in C++ Klassen

I/R/ABAC Modelle

MLS Modelle

NI Modelle

Konzept der Sprache:

• Zusammenfassen von:
  • Subjekten zu Domänen
  • Objekten zu Typen
• Zugriffsrechte zwischen Domänen und Typen —> Type Enforcements
• Interaktionen zwischen Domänen —> Transition

Sicherheitsmodelle machen Grundannahmen über Implementierungsumgebung, die von TCB sichergestellt werden müssen: korrekte Rechtsprüfung ,Authentizität, Integrität, Vertraulichkeit

==> Algorithmen und Datenstrukturen zur Implementierung der Funktionen einer TCB

 Spaltenvektoren: (zB Gästeliste für Party) existierende Rechte an einem Objekt

 Zeilenvektoren: (zB Abi für Immatrikulation) sämtliche Rechte eines Subjektes

manipulationssichere Ablaufumgebung für Sicherheitspolitiken

Fähigkeit der absoluten Kommunikationskontrolle

• Beobachtung
• Veränderung
• Verhinderung

Ziel:

Durchsetzung v. Sicherheitspolitiken

—> Authentizität v. OuS

—> Integrität und Vertraulichkeit v. OuS + Kommunikation

Herstellen v. Vorraussetzungen für die Implementierung v. Sicherheitsmodellen (Authentizität, Integrität, Vertraulichkeit von: v. Implementierung)

+

Herstellung v. Sicherheitseigenschaften (Integrität, Vertraulichkeit, Verbindlichkeit v. Komm./Dokumenten)

—> Sicherheitsarchitekturen so bauen, dass TCB Funktionen in einem:
unumgehbaren (Vollständigkeit)
isolierten (Manipulationssicherheit)
vertrauenswürdigen (Korrektheit)
KERN realisiert sind

RM1:
bei sämtlichen Objekt/Subjekt-Interaktionen involviert ist
—> total Mediation property

RM2:
geschützt ist vor unautorisierter Manipulation
—> tamperproofness

RM3:
hinreichend klein und wohlstrukturiert ist, um formalen Analysenmethoden zugänglich zu sein

Informationen geschützt vor unberechtigter Veränderung

Informationen berechtigten Nutzern in angemessener Frist zugänglich

Urheber von Informationen erkennbar

Kombination von Integrität und Authentizität

(Funktions-)Sicherheit (safety) Ziel: Schutz vor Schäden durch Fehlfunktionen von IT-Systemen

(IT-)Sicherheit (security) Ziel: Schutz vor Schäden durch zielgerichtete Angriffe auf IT-Systeme    

Gesetze (BDSG, SOX)

Verträge (mit Kunden)

Zertifizierung, z. B. Signaturgesetz

firmenspezifische Richtlinien (Corporate Governance)

Identifikation der möglichen:

- Angriffsziele und Angreifer
- Angriffsmethoden und -techniken 

Erstellung eines Bedrohungskatalogs mit:

1. Identifikation potentieller Angriffsziele (wirtschaftliche Macht, Gewinn, Schaden anrichten)
2. Identifikation potentieller Angreifer (proff. Organisationen, Mitarbeiter, Terroristen)
3. Angriffsmethoden und -techniken

1. Schwachstellen-Analyse: Suche in aktiven privilegierten Dienste, Dämonen (Webserver, sshd, …), Konfigurationsdateien —> Nutzung einer Wissensbasis (Schwachstellendatenbank) 

2. Angriffsmanagement: 

• Erlangen von Root-Privilegien durch Ausnutzung der Schwachstellen
• Einsatz von Nebelbomben zur Verschleierung des Angriffs
• Austausch von Original-SW durch fremde mit Hintertür + Nebelbombe (damit Zugriff in Zukunft auch stattfinden kann)

Nebelbomben: Reinigung v. Logfiles, Verbergen von Prozessen, Verbergen von Netzwerkverbindungen… durch Ersetzen von System Utilities: netstat, ps, top, Finder…

Identifikation :

• technischer
• organisatorischer
• menschlicher Verwundbarkeit eines IT-Systems

technische Schwächen:

• Spezifikationsfehler
• Implementierungsfehler
• konzeptionelle Schwächen

organisatorische Schwächen:

• Vergabe von Berechtigungen, Definition von Rollen
• Verwaltung kryptographischer Schlüssel

menschliche Schwächen:

• Bequemlichkeit
• mangelndes Problembewusstsein
• Dummheit

Identifikation und Klassifikation der tatsächlichen Risiken

• Korrelation von Bedrohungen und Schwachstellen —> Risiken
• Klassifikation der Risiken nach:
  • Schadenhöhe und Eintrittswahrscheinlichkeit
  • Risikomatrix

-> Vermeiden (untragbares Risiko, Funktionalität weglassen)
-> Behandeln (Reduzieren Schadenwahrscheinlichkeit durch Sicherheitspolitik
-> Tragen (akzeptieren der Risiken, Verringern Schadenausmaß z. B. Versicherung)

präzise + i. d. R. formale Beschreibung einer Sicherheitspolitik

Ziel: Verhalten einer Sicherheitspolitik analysieren und wesentliche Eigenschaften nachweisen zu können