Cyber-Sicherheit im Visier von GrammaTech und NAVY

SMAC-Projekt (Szenario-Basierte Modellierung+Kontrolle) zum Schutz von Software-Apps vor Internet-Attacken

(firmenpresse) - ITHACA, NY (USA), November 2015 - GrammaTech, ein führendes Forschungszentrum für Internet-Sicherheitslösungen, wird von der NAVY USA unterstützt, um seine Forschungen im Scenario-Based Modeling and Checking (SMAC / Szenario-basierte Modellierung und Kontrolle) fortzuführen. Hierbei handelt es sich um einen Ansatz, um Software-Anwendungen vor Internet-Attacken zu schützen - davon profitieren Branchen wie Nachrichtenwesen, Finanzwesen, Logistik und andere kommerzielle Märkte, die im Fokus von Angriffen durch Cyber-Kriminelle stehen.
Moderne Software-Anwendungen, die unter minimaler menschlicher Aufsicht laufen sollen, können nach einem Angriff fehlerhaft reagieren, sei es, dass sie kritische Daten preisgeben oder Gerätschaften oder Menschen schaden. Um dieses Problem zu lösen, werden zukünftige autonome "intelligente" Software-Anwendungen mit Eigenwahrnehmung funktioneren. Solche autonom ablaufende Anwendungen kontrollieren nach Abweichungen vom erwarteten Verhalten, bewerten den Zustand, und reagieren zum Schutz der Ziele, indem sie Alarme auslösen, Wiederherstellungsvorgänge in Gang setzen oder das System herunterfahren. Das SMAC-Projekt zielt darauf ab, Software-Entwickler bei der effizienten Programmierung von Modellen mit "korrekter Verhaltensweise", dem ihre Anwendungen folgen müssen, zu unterstützen.

"Ein zentrales Problem bei diesem Ansatz für Internet-Sicherheit ist die Definition eines genauen Modells, das zwischen gutem und schlechtem Verhalten unterscheidet", so Tim Teitelbaum, CEO von GrammaTech. "Die meisten Systeme sind nur in Code umgesetzt. Ist die Umsetzung abgeschlossen, gibt es keine übergeordnete Beschreibung von korrektem Verhalten, das als Modell herangezogen werden kann. Der Kern unseres Ansatzes ist, Programmierern bei der Bestimmung ihres Modells zu helfen während sie codieren. Das wird das "intelligente Überwachen" erleichtern - und die Navy, DoD und andere Softwarenutzer können bei der Bereitstellung von Systemen stärker darauf vertrauen, dass diese eventuelle Angriffe überstehen und sich verhalten wie vorgesehen."


GrammaTech arbeitet bei diesem Forschungsprojekt mit der Universität von Pennsylvania zusammen, das vom Progressive Model Generation for Adaptive Resilient System Software Programm finanziert wird.
GrammaTech, Entwickler von SW-Sicherungstools (http://www.grammatech.com)Weitere Infos zu dieser Pressemeldung:

Themen in dieser Pressemitteilung:


Unternehmensinformation / Kurzprofil:
PresseKontakt / Agentur:
Bereitgestellt von Benutzer: Adenion
Datum: 13.11.2015 - 16:05 Uhr
Sprache: Deutsch
News-ID 1288990
Anzahl Zeichen: 2505

Kontakt-Informationen:
Ansprechpartner: Laurel Stewart
Stadt:

Ithaca

Telefon: 001 607-273-7340 - 168

Kategorie:

New Media & Software

Diese Pressemitteilung wurde bisher 529 mal aufgerufen.

GrammaTech erhält Forschungsgelder vom US-Verteidigungsministerium ...
Ithaca, NY (USA) - 30. Oktober 2018 - GrammaTech, ein führender Entwickler kommerzieller Tools zur Sicherung von Embedded Software und Cyber-Security-Lösungen, gab bekannt, im Rahmen eines Zweijahresvertrags Forschungsgelder in Höhe von einer Million Dollar vom Office of the Secretary of Defense

GrammaTech integriert JuliaSoft in CodeSonar ...
Ithaca, NY (USA) - 26. September 2018 - GrammaTech, ein führender Entwickler kommerzieller Tools zur Sicherung von Embedded Software und Cyber-Security-Lösungen, hat die Julia-Engine von JuliaSoft in sein Tool zur statischen Code-Analyse CodeSonar integriert. Damit können Software-Teams nun auch

GrammaTech erweitert CodeSonar 5 um C-Decompiler ...
Ithaca, NY (USA) - 26. September 2018 - GrammaTech, ein führender Entwickler kommerzieller Tools zur Sicherung von Embedded Software und Cyber-Security-Lösungen, erweitert die Fähigkeit von CodeSonar zur statischen Analyse von Binärcode. Mit dem jüngst von GrammaTech veröffentlichten CodeSonar

Weitere Mitteilungen von GrammaTech, Inc.

Starline stellt neue Disk-Arrays der M-Serie von TopRAID vor. ...
Die neu entwickelten RAID-Controller der M110 / M310 Systeme bieten die Unterstützung von 12 Gbit/s SAS-Laufwerken und Host-Anschlüsse mit 16 Gbit/s Fibre Channel oder 10 Gbit/s iSCSI. Mit den neuen Controllern kann gleichfalls eine größere Anzahl an Festplatten und SSDs durch zusätzliche JBOD

Benutzerfreundlichkeit im Dialog - weniger ist mehr ...
Wie gut sich eine Unternehmenssoftware vom Benutzer handhaben lässt, entscheidet darüber, wie schnell sie von den Mitarbeitern angenommen wird und wie produktiv diese damit sind. Hatte man früher oft nur den Fokus auf Gestaltung der Oberfläche - User Interface (UI) - spricht man heute vom Nutzer

So geht rechtssicheres E-Mail-Marketing ...
Was muss ich für rechtssicheres E-Mail-Marketing beachten? Wie sieht ein rechtlich einwandfreier Newsletter-Anmeldeprozess aus? Was müssen Einwilligungserklärungen und Opt-in-Mails enthalten? Antworten auf diese Fragen gibt der Workshop zum rechtssicheren E-Mail-Marketing, der am 24. November 20

Beste Freunde: Mensch und Smartphone ...
Die Nutzung des Internets in fast allen Lebenssituationen ist für viele Anwender Alltag. Die Folge ist eine enge Bindung an Smartphone, Tablet oder Laptop. Kaspersky Lab zeigt, an welchen Orten deutsche Anwender das Internet nutzen, wo die Cybergefahren liegen und warum cyberpsychologische Effekte