Diese Website verwendet Cookies, um das Angebot nutzerfreundlicher und effektiver zu machen. Mit der Nutzung dieser Website stimmen Sie der Verwendung von Cookies zu. Weitere Informationen über die Verwendung von Cookies und die Möglichkeit der Verwendung von Cookies zu widersprechen, finden Sie hier.

Use #itsa19

6. - 8. Oktober 2020 // Nürnberg

Druckansicht einstellen

Welche Informationen sollen in der Druckansicht angezeigt werden?

Druckansicht erstellen
Aussteller & Produkte it-sa 2019
Produkt vergrößern LOGO_Zuverlässige Sicherheitsgarantien

Zuverlässige Sicherheitsgarantien

LOGO_Zuverlässige Sicherheitsgarantien

Zuverlässige Sicherheitsgarantien

Infos anfordern Infos anfordern

Kontaktieren Sie uns

Bitte geben Sie Ihre persönlichen Informationen und Ihren Terminwunsch an. Gerne können Sie uns auch eine Nachricht hinterlassen.

Ihre persönlichen Informationen

Ihre Nachricht an uns

Ihr Terminwunsch während der Messe

* Pflichtfelder, die von Ihnen eingegeben werden müssen.

Hinweise zum Datenschutz finden Sie hier.

Senden
Ihre Nachricht wurde erfolgreich versendet.

Sie haben noch keine Anmeldedaten? Registrieren Sie sich jetzt und nutzen Sie alle Vorteile der Aussteller- und Produktdatenbank, des Rahmenprogramms sowie des TicketShops.

Es ist ein Fehler aufgetreten.

Die fragile Sicherheit der heutigen IT-Infrastrukturen ist das Ergebnis eines ständigen Wettrüstens zwischen Angreifern und Verteidigern. Verteidiger verbessern kontinuierlich ihre Fähigkeit Angriffe abzuwehren, aber gleichzeitig entwickeln Angreifer neue, bösartige Praktiken, die die klassischen Angriffe auf Programmierfehler neu definieren und eine immer breitere Angriffsoberfläche einschließlich Routern, Firmware und dem Internet der Dinge ausnutzen. Es gibt einen akuten Bedarf, die grundlegende Herangehensweise zur Softwaresicherheit fundamental zu ändern. Ohne eine solche Entwicklung sind die Angreifer den Verteidigern immer einen Schritt voraus. Formale Methoden bieten eine Möglichkeit dem Wettrüsten zu entfliehen. Auf der Grundlage mathematisch exakter System- und Angreifermodelle eliminieren formale Methoden systematisch ganze Klassen von Angriffsstrategien.

Mit den aktuellen Fortschritten im Bereich der Logik und der maschinellen Beweisführung, kann die Anwendung formaler Methoden größtenteils automatisiert werden. Zu oft basieren formale Methoden jedoch auf abstrakten Systemmodellen und lassen so Lücken offen, die von diesen Modellen nicht berücksichtigt werden. Dieses Forschungsgebiet zielt auf einen Phasenübergang in Bezug auf den Geltungsbereich und die praktische Anwendbarkeit formaler Methoden ab und strebt damit letztlich eine ganzheitliche Methodologie für computergestützte Analyse und Konstruktion sicherer Systeme mit den bestmöglichen formalen Garantien. Dies beinhaltet die Entwicklung von Methoden und Werkzeugen zum Erreichen zuverlässiger, mathematisch exakter Sicherheitsgarantien für Systeme und Software, Laufzeitmethoden für das Monitoring und die Durchsetzung sowie Design-Zeit-Methoden für statische Analyse und Programmreparaturen und eine umfassende Methodologie, um konzeptionell sichere, großangelegte Systeme aus kleinen sicheren Bausteinen zu bauen, insbesondere unter Berücksichtigung kryptographischer Verfahren.

https://cispa.saarland/de/research/ra2-reliable-security-guarantees/

Sie haben sich entschlossen, die it-sa zu besuchen? Tickets erhalten Sie im TicketShop



top

Der gewählte Eintrag wurde auf Ihre Merkliste gesetzt!

Wenn Sie sich registrieren, sichern Sie Ihre Merkliste dauerhaft und können alle Einträge selbst unterwegs via Laptop oder Tablett abrufen.

Hier registrieren Sie sich, um Daten der Aussteller- und Produkt-Plattform sowie des Rahmenprogramms dauerhaft zu speichern. Die Registrierung gilt nicht für den Ticket- und AusstellerShop.

Jetzt registrieren

Ihre Vorteile auf einen Blick

  • Vorteil Sichern Sie Ihre Merkliste dauerhaft. Nutzen Sie den sofortigen Zugriff auf gespeicherte Inhalte: egal wann und wo - inkl. Notizfunktion.
  • Vorteil Erhalten Sie auf Wunsch via Newsletter regelmäßig aktuelle Informationen zu neuen Ausstellern und Produkten - abgestimmt auf Ihre Interessen.
  • Vorteil Rufen Sie Ihre Merkliste auch mobil ab: Einfach einloggen und jederzeit darauf zugreifen.