Anomalieerkennung und eingebettete Sicherheit in industriellen Informationssystemen


  • Airbus Group Innovations
  • Fraunhofer SIT
  • Infineon Technologies AG
  • Hirschmann Automation and Control GmbH
  • Technische Hochschule Deggendorf
  • Kontron Embedded Modules GmbH

Related publications

2014-06-01 Cornelius Diekmann, Stephan-A. Posselt, Heiko Niedermayer, Holger Kinkelin, Oliver Hanka, Georg Carle, “Verifying Security Policies using Host Attributes,” in FORTE – 34th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems, Berlin, Germany, Jun. 2014, vol. 8461, pp. 133–148. [Pdf] [Preprint] [Slides] [Sourcecode] [Rawdata] [DOI] [Bib]
2014-02-01 Holger Kinkelin, Michael Dorner, Georg Carle, “Lokale Integritätsverifikation von Systemen durch Java Smart Cards,” in Tagungsband des 24. SmartCard Workshop, Darmstadt, Germany, Feb. 2014. [Bib]

Finished student theses

Author Title Type Advisors Year Links
Charis-Nicolas Georgiou Response-aware Event Aggregation for Policy Enhancement BA Nadine Herold, Stephan-A. Posselt 2014
Rafael Fedler Development of a Network Alert Correlator and Framework IDP Nadine Herold, Stephan-A. Posselt 2014