Dynamisches Sicherheitmanagement mit Hilfe regelbasierter Vorverarbeitungsprozesse. - Monika Horak; Markus Trommer (Kommunikation in Verteilten Systemen, 1997)

Analyse, Verifikation und Überwachung von Sicherheitsanforderungen in Chipkartensystemen. - Monika Horak (1999)