足球竞彩网_365bet体育在线投注-【中国科学院】

图片

图片

Cyber Security

Projektübersicht

Hier finden Sie eine Reihe von uns durchgeführter Projekte aus den Bereichen Cyber Security. Weitere Informationen k?nnen über das ?+“-Symbol ausgeklappt werden.

?

Projektstart: 01.10.2020

?

Projektende: 30.09.2022

?

Projekttr?ger: Zentrale Innovationsprogramm Mittelstand (ZIM) des Bundesministerium für Wirtschaft und Energie (BMWi)

?

Projektverantwortung vor Ort:?

Prof. Dr. Bernhard Bauer

?

Beteiligte WissenschaftlerInnen der Universit?t Augsburg:

No?l Hagemann

?

?

Zusammenfassung

Im Rahmen von CBMD hat die Universit?t Augsburg u.a. untersucht, wie Contracts zwischen unterschiedlichen Komponenten bei der Komposition dieser validiert werden k?nnen. Darüber hinaus wurde untersucht, wie Contracts als Interface State Machines mit der Spezifikation des Verhaltens (state machine) der Komponente zusammenpassen. Im Laufe des Projekts hat sich herauskristallisiert, dass Contracts auch einen erheblichen Beitrag im Kontext von Security leisten. So kann bei einer ?berprüfung der Contracts zur Laufzeit ausgeschlossen werden, dass eine Komponente “falsch” bedient wird. Aufgrund von Abh?ngigkeiten kann es aber auch passieren, dass eine Funktion einer Komponente eine Funktion einer anderen Komponente aufruft, ohne dass der Aufruf über die mit einem Contract abgesicherte Schnittstelle erfolgt. Daher soll in diesem Projekt durch eine statische Analyse der Abh?ngigkeiten im Code mit der Integration in die Contracts sichergestellt werden, dass erstens sicherheitsrelevante Funktionen und Daten einer Komponente und zweitens Seiteneffekte zwischen Komponenten identifiziert werden k?nnen und anschlie?end durch Tests auf dem realen System genauer überprüft und analysiert werden k?nnen.

Projektstart: 01.07.2019

?

Projektende: 30.06.2022

?

Projekttr?ger: Horizon 2020 (H2020) - ??? ECSEL?

?

Projektverantwortung vor Ort:

Prof. Dr. Bernhard Bauer

?

Beteiligte WissenschaftlerInnen der Universit?t Augsburg:

No?l Hagemann

Julia Rauscher

?

Zusammenfassung

Cyber Physical Systems (CPS) sind eine neue Generation von Systemen, die intensive Konnektivit?t, embedded Computing und lokale Intelligenz vereinen, um eine Verbindung zwischen physischer und digitaler Welt zu erschaffen?und erm?glichen die Zusammenarbeit zwischen diesen?Systemen.?Die Bedeutung von CPS nimmt mit der massiven Digitalisierung zu, er?ffnet neue Marktchancen und stellt Europa vor neue Herausforderungen, um die starke europ?ische Position in dieser Grundlagentechnologie zu erhalten, zu st?rken und auszubauen.?Das Hauptziel von CPS4EU ist die St?rkung der CPS-Wertsch?pfungskette durch die Schaffung europ?ischer KMUs und die Bereitstellung von CPS-Technologien, die wiederum die Führung der gro?en europ?ischen Konzerne in den wichtigsten Wirtschaftssektoren unterstützen sollen und auf diese Weise innovative Produkte anregen werden.

Projektstart: 15.04.2019

?

Projekttr?ger: Universit?t Augsburg

?

Projektverantwortung vor Ort:

No?l Hagemann

?

Zusammenfassung

Aktuelle SAST-Tools leiden oft unter hohen Anzahl an Falschmeldungen. Dieses Projekt besch?ftigt sich mit der Reduktion dieser Flaschmeldungen durch Eliminierung.

足球竞彩网_365bet体育在线投注-【中国科学院】