[HGI-News] HGI-Seminar, Montag 19.06.06: Ein Definitionsrahmen fuer Sicherheitseigenschaften

[Newsletter des Horst Görtz Instituts]

           Dr. Sigrid Gürgens, Fraunhofer SIT, Darmstadt

            Montag 19. Juni 2006, 13:15 Uhr IC 4 / 39-41

         Ein Definitionsrahmen fuer Sicherheitseigenschaften

Es ist allgemein akzeptiert, dass Sicherheitsaspekte fuer mobile
Kommunikationssysteme und andere Typen von verteilten Systemen eine
wichtige Rolle spielen, und dass Sicherheit in allen Phasen der
Systementwicklung berücksichtigt werden muss. Es gibt eine grosse
Bandbreite von Ansätzen zur Spezifikation von Sicherheitsanforderungen,
die jedoch immer nur einen Ausschnitt der für ein System gewünschten
Eigenschaften behandeln können. Im Vortrag wird ein Ansatz zur
Spezifikation von Sicherheitseigenschaften vorgestellt, der es erlaubt,
für ein einziges diskretes Systemmodell eine grosse Bandbreite von
Sicherheitseigenschaften zu spezifizieren . Eigenschaftenerhaltende
Homomorphismen ermöglichen den Transport der Eigenschaften von höheren
zu niedrigeren Abstraktionsniveaus des Systems und unterstützen damit
die Systementwicklung.


_____________________________________________________________________________
Die Webseite des HGI-Seminars mit allen Informationen zu vergangenen und
zukünftigen Vorträgen: http://www.hgi.rub.de/deutsch/lehrangebot/seminar.html