ANSII
Anomalieerkennung und eingebettete Sicherheit in industriellen Informationssystemen
| Scientists: | Dr. Nadine Herold, Dipl.-Inf. Stephan-A. Posselt, Dr. Holger Kinkelin, Dr. Heiko Niedermayer |
| Duration: | 01.03.2012 – 31.03.2014 |
| Funding: | BMBF (Federal Ministry for Education and Research) |
Partners:
- 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 |
|