Seminar: Probabilistische Modelle

Interne Sektion

Organisator: Prof. Dr. Heiko Mantel

Form: Blockseminar, Di., 5.2.2008, Raum E302

Anmeldung: Anmeldungen nimmt Elisabeth Kraft entgegen. Falls Sie sie nicht antreffen sollten, wenden Sie sich bitte an Henning Sudbrock im Büro nebenan (S2-02-E317).

Literatur: Wird in der Vorbesprechung bekanntgegeben

Vorbesprechung: Mittwoch, 17.10., 14:30-15:15, in S2-02-E302

Kontakt: Bei Fragen bitte an Henning Sudbrock wenden.

Thema:
In der Informatik untersuchte Systeme verhalten sich nicht immer deterministisch. In vielen Fällen ist das Systemverhalten probabilistisch. Gründe für probabilistisches Systemverhalten können sein:

• probabilistisches Verhalten der Umgebung
• probabilistisches Verhalten eines Schedulers
  
• randomisierte kryptographische Protokolle
• nicht-deterministisches Hardware-Verhalten
  

Probabilistische Modelle werden benutzt, um Aussagen über das Verhalten von probabilistischen Systemen zu machen. Nutzt man darüber hinaus formale Methoden, so kann man diese Aussagen mit mathematischer Strenge beweisen.

Einige Beispiele für Eigenschaften in probabilistischen Modellen:

• "In 99% der Fälle wird eine Anfrage an das System innerhalb von höchstens 10ms bearbeitet"
• "Ein Angreifer kann im Durchschnitt maximal 2 Bit pro Sekunde über einen verdeckten Kanal senden" 
• "Für einen Angreifer ist die Wahrscheinlichkeit, dass ein Netzwerkpaket von einem bestimmten Nutzer stammt, nicht größer als die Wahrscheinlichkeit, dass es von einem beliebigen anderen Nutzer stammt"
  

Im Seminar werden probabilistische Modelle anhand von aktuellen Forschungsartikeln behandelt.