News

Einführungstermin Haupt- und Proseminar VSBS

Hauptseminar/Proseminar introduction meeting on Thursday, Apr 13, 19:00 at Z 1014/15

Students who are interested to participate in a "Proseminar" or "Hauptseminar" in the area of distributed systems and operating systems, please preregister in this Moodle course.

The focus of the seminar is on

Distributed and operating systems concepts for sustainable and high performance computing systems.

Note: It is required that participants attend the introduction meeting to be held on Thursday, April 13th, 19:00 CET in room Z 1014/15.
Further, the number of topics is restricted. In case of too many registrations we will give preference by the order of pre-registrations in Moodle.

Forschung

Die Forschung des Fachgebiets im Bereich Verteilter Systeme und Betriebssysteme befasst sich mit Grundlagen der adaptiven und verteilten Rechnersystemen sowie deren anwendungsnahe Evaluierung hinsichtlich Leistungsfähigkeit, Zuverlässigkeit und Sicherheit.  Angesichts der dramatisch gestiegenen Anforderungen an Rechnersysteme in kritischen Anwendungsdomänen werden neue Paradigmen, Methoden und Techniken zu deren Entwicklung, Implementierung und Verifikation und erforscht.

     

mehr

abstrakt dargestellter ProgrammiercodeiStockphoto / monsitj
TU Ilmenau / Michael Reichel (ari)

Lehre

Wir bieten Lehrveranstaltungen zu Themen der verteilten Systeme und Betriebssysteme an, einschließlich spezialiserter Veranstaltungen zu deren nichtfunktionalen Eigenschaften. Einen besonderen Stellenwert nehmen hierbei kritische Anforderungen an Informationssicherheit ein. Unser Lehrangebot auf Deutsch oder Englisch erstreckt sich auf verschiedene Studiengänge. mehr

Publikationen

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.

Alle Publikationen

Team

Zum Team

iStockphoto / metamorworks