Forum für Wissenschaft, Industrie und Wirtschaft

Hauptsponsoren:     3M 
Datenbankrecherche:

 

Mit Programmanalyse auf der Spur von Terroristen

05.12.2005


"IT-Sicherheit ist eine nationale Aufgabe", erklärte vor kurzem der bisherige Bundesinnenminister Otto Schily. Spektakuläre Szenarien handeln von Terroristen, die sich in die Software eines Flugzeugs einhacken und dieses dann zum Absturz bringen. Im Alltag viel bedeutsamer sind aber Viren, Würmer, Phishing, Spyware und andere Formen von Computersabotage, die immer mehr Schaden verursachen. Für eine Software muss deshalb sichergestellt sein, dass vertrauliche Daten nicht nach außen gelangen können, und dass kritische Berechnungen nicht von außen manipuliert werden können.

... mehr zu:
»Analyseverfahren »Control »Flow »Terrorist

"Information Flow Control" nennt man die letzten beiden, lebenswichtigen Bedingungen. Sie können für realistische Programme nur automatisch geprüft werden, denn eine manuelle Inspektion des Programmtextes ist sehr fehleranfällig. Weltweit werden erhebliche Anstrengungen unternommen, mit automatischen Analyseverfahren Sicherheitslücken zu erkennen. Die Forschungsergebnisse haben Software viel sicherer gemacht, auch wenn nicht alle großen Hersteller diese Ergebnisse umsetzen. Am Lehrstuhl Softwaresysteme der Universität Passau finanziert die Deutsche Forschungsgemeinschaft seit mehreren Jahren ein Forschungsprojekt zur "Information Flow Control". Lehrstuhlinhaber Prof. Dr.-Ing. Gregor Snelting erläutert: "Unser Analyseverfahren ist zwar aufwändiger als Standard-Prüfmethoden. Dafür entgeht uns garantiert kein Sicherheitsloch, wir können genaue Bedingungen für illegalen Informationsfluss bestimmen, und es gibt keine falschen Alarme." Dies wird durch eine Kombination von sogenannten "Programmabhängigkeitsgraphen" mit algebraischen Verfahren erreicht. "Wir sind mit unserem Projekt international eingebunden und können heute reale C- oder Java-Programme mittlerer Größe analysieren", sagt Snelting.

Universität Passau plant Interdisziplinäres Zentrum für IT-Sicherheit


Prof. Snelting hat auch den Vorschlag gemacht, an der Universität ein interdisziplinäres Zentrum für IT-Sicherheit einzurichten. Denn auch die Juristische Fakultät beschäftigt sich mit den Konsequenzen von Computersabotage und illegalem Informationsfluss. Der Lehrstuhl von Prof. Dr. Dirk Heckmann (Lehrstuhl für Öffentliches Recht, insbesondere Sicherheitsrecht und Internetrecht) untersucht Haftungsfragen und erstellt Sicherheitskonzepte, die die gesetzlichen Obliegenheiten mit dem technisch Machbaren verbinden. Prof. Heckmann ist nicht nur Mitglied des Bayerischen Verfassungsgerichtshofs, sondern hat auch den Begriff "IT-Sicherheitsrecht" in die juristische Forschung eingeführt. Zusammen mit Wirtschaftsinformatikern aus Passau und Regensburg soll so ein Forschungszentrum entstehen, das durch seine interdisziplinäre Ausrichtung bundesweit einmalig ist. Die Universität hofft, dafür einen zusätzlichen Informatik-Lehrstuhl zu bekommen. "Nicht zuletzt damit wird wieder einmal das Vorurteil widerlegt, dass in Passau angeblich nicht geforscht wird", so Snelting.

Thoralf Dietz | idw
Weitere Informationen:
http://www.infosun.fmi.uni-passau.de/st/

Weitere Berichte zu: Analyseverfahren Control Flow Terrorist

Weitere Nachrichten aus der Kategorie Informationstechnologie:

nachricht CrowdWater: eine App für die Hochwasser-Forschung
18.05.2018 | Universität Zürich

nachricht Hochautomatisiertes Sehen auf dem Prüfstand
17.05.2018 | FOKUS - Fraunhofer-Institut für Offene Kommunikationssysteme

Alle Nachrichten aus der Kategorie: Informationstechnologie >>>

Die aktuellsten Pressemeldungen zum Suchbegriff Innovation >>>

Die letzten 5 Focus-News des innovations-reports im Überblick:

Im Focus: Bose-Einstein-Kondensat im Riesenatom - Universität Stuttgart untersucht exotisches Quantenobjekt

Passt eine ultrakalte Wolke aus zehntausenden Rubidium-Atomen in ein einzelnes Riesenatom? Forscherinnen und Forschern am 5. Physikalischen Institut der Universität Stuttgart ist dies erstmals gelungen. Sie zeigten einen ganz neuen Ansatz, die Wechselwirkung von geladenen Kernen mit neutralen Atomen bei weitaus niedrigeren Temperaturen zu untersuchen, als es bisher möglich war. Dies könnte einen wichtigen Schritt darstellen, um in Zukunft quantenmechanische Effekte in der Atom-Ion Wechselwirkung zu studieren. Das renommierte Fachjournal Physical Review Letters und das populärwissenschaftliche Begleitjournal Physics berichteten darüber.*)

In dem Experiment regten die Forscherinnen und Forscher ein Elektron eines einzelnen Atoms in einem Bose-Einstein-Kondensat mit Laserstrahlen in einen riesigen...

Im Focus: Algorithmen für die Leberchirurgie – weltweit sicherer operieren

Die Leber durchlaufen vier komplex verwobene Gefäßsysteme. Die chirurgische Entfernung von Tumoren ist daher oft eine schwierige Aufgabe. Das Fraunhofer-Institut für Bildgestützte Medizin MEVIS hat Algorithmen entwickelt, die die Bilddaten von Patienten analysieren und chirurgische Risiken berechnen. Leberkrebsoperationen werden damit besser planbar und sicherer.

Jährlich erkranken weltweit 750.000 Menschen neu an Leberkrebs, viele weitere entwickeln Lebermetastasen aufgrund anderer Krebserkrankungen. Ein chirurgischer...

Im Focus: Positronen leuchten besser

Leuchtstoffe werden schon lange benutzt, im Alltag zum Beispiel im Bildschirm von Fernsehgeräten oder in PC-Monitoren, in der Wissenschaft zum Untersuchen von Plasmen, Teilchen- oder Antiteilchenstrahlen. Gleich ob Teilchen oder Antiteilchen – treffen sie auf einen Leuchtstoff auf, regen sie ihn zum Lumineszieren an. Unbekannt war jedoch bisher, dass die Lichtausbeute mit Elektronen wesentlich niedriger ist als mit Positronen, ihren Antiteilchen. Dies hat Dr. Eve Stenson im Max-Planck-Institut für Plasmaphysik (IPP) in Garching und Greifswald jetzt beim Vorbereiten von Experimenten mit Materie-Antimaterie-Plasmen entdeckt.

„Wäre Antimaterie nicht so schwierig herzustellen, könnte man auf eine Ära hochleuchtender Niederspannungs-Displays hoffen, in der die Leuchtschirme nicht von...

Im Focus: Erklärung für rätselhafte Quantenoszillationen gefunden

Sogenannte Quanten-Vielteilchen-„Scars“ lassen Quantensysteme länger außerhalb des Gleichgewichtszustandes verweilen. Studie wurde in Nature Physics veröffentlicht

Forschern der Harvard Universität und des MIT war es vor kurzem gelungen, eine Rekordzahl von 53 Atomen einzufangen und ihren Quantenzustand einzeln zu...

Im Focus: Explanation for puzzling quantum oscillations has been found

So-called quantum many-body scars allow quantum systems to stay out of equilibrium much longer, explaining experiment | Study published in Nature Physics

Recently, researchers from Harvard and MIT succeeded in trapping a record 53 atoms and individually controlling their quantum state, realizing what is called a...

Alle Focus-News des Innovations-reports >>>

Anzeige

Anzeige

VideoLinks
Industrie & Wirtschaft
Veranstaltungen

„Data Science“ – Theorie und Anwendung: Internationale Tagung unter Leitung der Uni Paderborn

18.05.2018 | Veranstaltungen

Visual-Computing an Bord der MS Wissenschaft

17.05.2018 | Veranstaltungen

Tagung »Anlagenbau und -betrieb der Zukunft«

17.05.2018 | Veranstaltungen

VideoLinks
Wissenschaft & Forschung
Weitere VideoLinks im Überblick >>>
 
Aktuelle Beiträge

Bose-Einstein-Kondensat im Riesenatom - Universität Stuttgart untersucht exotisches Quantenobjekt

18.05.2018 | Physik Astronomie

Countdown für Kilogramm, Kelvin und Co.

18.05.2018 | Physik Astronomie

Wie Immunzellen Bakterien mit Säure töten

18.05.2018 | Biowissenschaften Chemie

Weitere B2B-VideoLinks
IHR
JOB & KARRIERE
SERVICE
im innovations-report
in Kooperation mit academics