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 Volle Konzentration am Steuer
25.11.2016 | Leibniz-Institut für Arbeitsforschung an der TU Dortmund

nachricht Warum Reibung von der Zahl der Schichten abhängt
24.11.2016 | Karlsruher Institut für Technologie

Alle Nachrichten aus der Kategorie: Informationstechnologie >>>

Die aktuellsten Pressemeldungen zum Suchbegriff Innovation >>>

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

Im Focus: Greifswalder Forscher dringen mit superauflösendem Mikroskop in zellulären Mikrokosmos ein

Das Institut für Anatomie und Zellbiologie weiht am Montag, 05.12.2016, mit einem wissenschaftlichen Symposium das erste Superresolution-Mikroskop in Greifswald ein. Das Forschungsmikroskop wurde von der Deutschen Forschungsgemeinschaft (DFG) und dem Land Mecklenburg-Vorpommern finanziert. Nun können die Greifswalder Wissenschaftler Strukturen bis zu einer Größe von einigen Millionstel Millimetern mittels Laserlicht sichtbar machen.

Weit über hundert Jahre lang galt die von Ernst Abbe 1873 publizierte Theorie zur Auflösungsgrenze von Lichtmikroskopen als ein in Stein gemeißeltes Gesetz....

Im Focus: Durchbruch in der Diabetesforschung: Pankreaszellen produzieren Insulin durch Malariamedikament

Artemisinine, eine zugelassene Wirkstoffgruppe gegen Malaria, wandelt Glukagon-produzierende Alpha-Zellen der Bauchspeicheldrüse (Pankreas) in insulinproduzierende Zellen um – genau die Zellen, die bei Typ-1-Diabetes geschädigt sind. Das haben Forscher des CeMM Forschungszentrum für Molekulare Medizin der Österreichischen Akademie der Wissenschaften im Rahmen einer internationalen Zusammenarbeit mit modernsten Einzelzell-Analysen herausgefunden. Ihre bahnbrechenden Ergebnisse werden in Cell publiziert und liefern eine vielversprechende Grundlage für neue Therapien gegen Typ-1 Diabetes.

Seit einigen Jahren hatten sich Forscher an diesem Kunstgriff versucht, der eine simple und elegante Heilung des Typ-1 Diabetes versprach: Die vom eigenen...

Im Focus: Makromoleküle: Mit Licht zu Präzisionspolymeren

Chemikern am Karlsruher Institut für Technologie (KIT) ist es gelungen, den Aufbau von Präzisionspolymeren durch lichtgetriebene chemische Reaktionen gezielt zu steuern. Das Verfahren ermöglicht die genaue, geplante Platzierung der Kettengliedern, den Monomeren, entlang von Polymerketten einheitlicher Länge. Die präzise aufgebauten Makromoleküle bilden festgelegte Eigenschaften aus und eignen sich möglicherweise als Informationsspeicher oder synthetische Biomoleküle. Über die neuartige Synthesereaktion berichten die Wissenschaftler nun in der Open Access Publikation Nature Communications. (DOI: 10.1038/NCOMMS13672)

Chemische Reaktionen lassen sich durch Einwirken von Licht bei Zimmertemperatur auslösen. Die Forscher am KIT nutzen diesen Effekt, um unter Licht die...

Im Focus: Neuer Sensor: Was im Inneren von Schneelawinen vor sich geht

Ein neuer Radarsensor erlaubt Einblicke in die inneren Vorgänge von Schneelawinen. Entwickelt haben ihn Ingenieure der Ruhr-Universität Bochum (RUB) um Dr. Christoph Baer und Timo Jaeschke gemeinsam mit Kollegen aus Innsbruck und Davos. Das Messsystem ist bereits an einem Testhang im Wallis installiert, wo das Schweizer Institut für Schnee- und Lawinenforschung im Winter 2016/17 Messungen damit durchführen möchte.

Die erhobenen Daten sollen in Simulationen einfließen, die das komplexe Geschehen im Inneren von Lawinen detailliert nachbilden. „Was genau passiert, wenn sich...

Im Focus: Neuer Rekord an BESSY II: 10 Millionen Ionen erstmals bis auf 7,4 Kelvin gekühlt

Magnetische Grundzustände von Nickel2-Ionen spektroskopisch ermittelt

Ein internationales Team aus Deutschland, Schweden und Japan hat einen neuen Temperaturrekord für sogenannte Quadrupol-Ionenfallen erreicht, in denen...

Alle Focus-News des Innovations-reports >>>

Anzeige

Anzeige

IHR
JOB & KARRIERE
SERVICE
im innovations-report
in Kooperation mit academics
Veranstaltungen

Von „Coopetition“ bis „Digitale Union“ – Die Fertigungsindustrien im digitalen Wandel

02.12.2016 | Veranstaltungen

Experten diskutieren Perspektiven schrumpfender Regionen

01.12.2016 | Veranstaltungen

Die Perspektiven der Genom-Editierung in der Landwirtschaft

01.12.2016 | Veranstaltungen

 
VideoLinks
B2B-VideoLinks
Weitere VideoLinks >>>
Aktuelle Beiträge

Parkinson-Krankheit und Dystonien: DFG-Forschergruppe eingerichtet

02.12.2016 | Förderungen Preise

Smart Data Transformation – Surfing the Big Wave

02.12.2016 | Studien Analysen

Nach der Befruchtung übernimmt die Eizelle die Führungsrolle

02.12.2016 | Biowissenschaften Chemie