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

现代软件系统是一种新的软件系统，它可以用来实现功能，也可以用来满足用户的需求。在统计和分析解决方案系统中，所有的数据都是错误的，只有软件才是最好的。Jedoch Lassen sich vielerlei Schwachstellen erkennen，Nickht zuletzt，weil Angreifer dieselben Vorab-Analysen Selbst Anwenden and sie Dann umgehen könnnen.这是一种新的分析方法，也是一种分析方法。Im Projekt RUNSECURE Won Methoden，Techniken and Werkzeuge entwickelt，MIT denen Angriff-und Fehleritationationen zur Programmlafzeit zuverlässig and Efficient erkannt，and Gleichzeitig Gegenmaünahmen ergriffen en den könnnen.在安格里夫的程序代码中，我们看到了一种新的方式，那就是把所有的东西都放在一起。你对她的姿势很敏感，我不会让你失望的。这个世界上最重要的东西就是它，它是一种特殊的程序，它是一种动态的程序分析方法。解决方案定义了自动化通用的效率动态分析和监测程序。

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.