Research
The distributed and operating systems group researches the fundamentals of adaptive computing systems and their application-oriented evaluation concerning performance, reliability, and security. Research topics cover all aspects related to distributed and network-centric information systems and model-driven security engineering of IT systems.more
TU Ilmenau / Michael Reichel (ari)
Teaching
We offer courses on topics related to distributed systems and operating systems, including specialized courses on their non-functional properties. Special emphasis is put on critical requirements for information security. Our teaching offer in German or English covers various courses of study. more
iStockphoto
- Marius Schlegel, Peter Amthor. Beyond Administration: A Modeling Scheme Supporting the Dynamic Analysis of Role-based Access Control Policies. In Proceedings of the 17th International Conference on Security and Cryptography, SECRYPT 2020, pages 431–442, 2020.
- Peter Amthor, Marius Schlegel. Towards Language Support for Model-based Security Policy Engineering. In Proceedings of the 17th International Conference on Security and Cryptography, SECRYPT 2020, pages 513–521, 2020.
- Peter Amthor, Martin Rabe. Command Dependencies in Heuristic Safety Analysis of Access Control Models. In Proceedings of the 12th International Symposium on Foundations & Practice of Security, FPS 2019, pages 207–224, 2020.
- Peter Amthor, Daniel Fischer, Winfried E. Kühnhauser, Dirk Stelzer Automated Cyber Threat Sensing and Responding: Integrating Threat Intelligence into Security-Policy-Controlled Systems Proc. 14th International Conference on Availability, Reliability and Security (ARES 2019), 2019, pp. 86:1–86:10.
iStockphoto / metamorworks