Beweisbar sichere Programmausführung durch deklarativ definierte dynamische Programmanalysen (Kennwort: RUNSECURE)

现代软件系统不仅仅是通过您的功能来实现的，也可以通过Fehler和Schwachstellen来实现，安全和隐私是Nutzer和Daten的目标。在过去的几年里，统计分析软件系统中的研究工作取得了很大的进展，这些研究成果使许多人受益于软件的开发和使用。我想让更多的Schwachstellen首先进入Laufzeit，但这并不意味着，因为Angreifer已经完成了Vorab-Analysen的自我分析，并且她也已经完成了。一个完整的实验必须在前分析中进行，也必须在后分析中进行。Im Projekt RUNSECURE韦尔登方法、技术和工具，包括各种不同的应用程序--以及程序设计效率和效率，以及快速生成的韦尔登工具。同样，在程序代码中也有一个愤怒的情绪，如果他选择了它，他就可以测试韦尔登。Zu diesem Zeitpunkt must allerdings sicher gestellt韦尔登，dass mögliche Gegenmaßnahmen auch greifen. Um dies sicher zu stellen，entwickelt das Projekt eine spezielle Programmiersprache mit der entsprechende Dynamische Programmanalysen für Sicherheitsbelange deklarativ definiert韦尔登. Solche precautionen erlauben die volautomatische Generierung effizienter dynamischer Analyse- und Adsoringwerkzeuge，die beweisbar korrekte Programmausführungen garantieren.

Moderne Softwaresysteme zeichnen sich nicht nur durch Ihre enorme Funktionalität aus, sondern auch durch Fehler und Schwachstellen, die die Sicherheit und Privatsphäre ihrer Nutzer und ihrer Daten gefährden. In den vergangenen Jahren hat die Forschung große Fortschritte in der statischen Vorab-Analyse solcher Systeme gemacht—Fortschritte, die es erlauben, viele Fehler bereits vor dem Einsatz der Software zu erkennen und beheben. Jedoch lassen sich vielerlei Schwachstellen erst zur Laufzeit sicher erkennen, nicht zuletzt, weil Angreifer dieselben Vorab-Analysen selbst anwenden und sie dann umgehen können. Eine rundum sichere Umgebung muss daher sowohl auf Vorab-Analysen als auch auf Laufzeit-Analysen setzen. Im Projekt RUNSECURE werden Methoden, Techniken und Werkzeuge entwickelt, mit denen Angriffs- und Fehlersituationen zur Programmlaufzeit zuverlässig und effizient erkannt, und gleichzeitig Gegenmaßnahmen ergriffen werden können. Egal wie sehr ein Angriff im Programmcode auch verschleiert ist, er kann spätestens dann erkannt werden, wenn er zur Ausführung kommt. Zu diesem Zeitpunkt muss allerdings sicher gestellt werden, dass mögliche Gegenmaßnahmen auch greifen. Um dies sicher zu stellen, entwickelt das Projekt eine spezielle Programmiersprache mit der entsprechende Dynamische Programmanalysen für Sicherheitsbelange deklarativ definiert werden. Solche Definitionen erlauben die vollautomatische Generierung effizienter dynamischer Analyse- und Monitoringwerkzeuge, die beweisbar korrekte Programmausführungen garantieren.