Forum für Wissenschaft, Industrie und Wirtschaft

Hauptsponsoren:     3M 
Datenbankrecherche:

 

Schaffung von Grundlagen für schnellere und sicherere Internet-Transaktionen

13.07.2004


Auf Grundlage der automatisierten Deduktion bietet ein neu entwickeltes Prototypinstrument für die Protokollanalyse fortschrittliche Funktionen zur schnellen und zuverlässigen Bestimmung von Fehlern in Protokollen. Damit kann die Zeit bis zur Marktreife verkürzt werden und die Sicherheit in den Bereichen eCommerce, Telekommunikation, Multimedia und anderen sicherheitsrelevanten Anwendungen wird erhöht.



Einer der wichtigsten Bereiche der Informatikforschung ist die automatische Verifikation von großen Anwendungssystemen. Hierfür wurden mehrere verschiedene formale Methoden entwickelt und angewandt. Die normalerweise in der Industrie verwendete Modellüberprüfung kann die Genauigkeit von endlichen Systemen einschließlich Hardware- und Protokollbeschreibungen automatisch herstellen.



Nichtsdestotrotz schließen die gebräuchlichsten Systembeschreibungen große oder endliche Bereiche ein, deren Fehler möglicherweise nur schwer von endlichen Verifikationsverfahren identifiziert werden können. Das Theorembeweisverfahren ist für diesen Fall eine alternative Lösung, erfordert aber umfassenden manuellen Einsatz durch den Nutzer und die Anwendung von anspruchsvoller Mathematik.

Zur Lösung dieser Probleme wurde ein innovatives Protokollanalyseinstrument für die automatisierte Verifikation von endlichen Systemen (AVISS) entwickelt, eingesetzt und getestet. Diese Druckknopftechnologie kombiniert wirkungsvoll drei Verfahren: On-the-fly-Modellüberprüfung unter Verwendung träger Datentypen, eingeschränktes Theorembeweisverfahren und Modellüberprüfung durch Überprüfung der propositionalen Erfüllbarkeit.

Jede dieser neu entstehenden Methoden funktioniert unabhängig, während das System gleichzeitig den systematischen und quantitativen Vergleich sowie die effektive Interaktion der Verfahren erlaubt. Die vollautomatisierte Integration der benutzerfreundlichen Modellprüfer und des leistungsfähigen Beweisverfahrens führen außerdem zu einem stabilen, flexiblen, zuverlässigen, schnellen und kosteneffektiven System.

Bei der Anwendung dieser bahnbrechenden Entwicklung in der Clark/Jakob-Bibliothek, die 51 Protokollverifikationsprobleme zeigt, hat das AVISS-Tool im Vergleich mit fast allen anderen Analyseinstrumenten eine bessere Abdeckung und/oder Leistung bewiesen. Zum Beispiel kann diese Neuheit im Gegensatz zu anderen Instrumenten verschiedene subtile Fehler wie Unklarheiten aufgrund von Schreibfehlern erkennen.

Das AVISS-Tool kann zur Validierung von sicherheitsrelevanten Protokollen in verschiedenen Bereichen wie Telekommunikation, Multimedia und anderen Anwendungen genutzt werden. Außerdem kann das Verfahren einen bedeutenden Beitrag für die Beschleunigung der Entwicklung von Netzwerkprotokollen der nächsten Generation sowie für Standardisierungs- und Regulierungsprozesse in den Bereichen eCommerce, eGovernment und anderen Internetanwendungen leisten. Nähere Informationen erhalten Sie unter:

Kontaktangaben:

Prof David Basin
Albert-Ludwigs-Universitaet Freiburg
Institut fuer Informatik
Georges-Koehler-Allee 52, Freiburg
Tel: +49-761-2038240, Fax: -242
Email: basin@informatik.uni-freiburg.de

Prof David Basin | ctm
Weitere Informationen:
http://www.informatik.uni-freiburg.de/~softech/research/projects/av iss/
http://www.informatik.uni-freiburg.de/~basin

Weitere Nachrichten aus der Kategorie Informationstechnologie:

nachricht Mehrkernprozessoren für Mobilität und Industrie 4.0
07.12.2016 | Karlsruher Institut für Technologie

nachricht Wenn das Handy heimlich zuhört: Abwehr ungewollten Audiotrackings durch akustische Cookies
07.12.2016 | Fachhochschule St. Pölten

Alle Nachrichten aus der Kategorie: Informationstechnologie >>>

Die aktuellsten Pressemeldungen zum Suchbegriff Innovation >>>

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

Im Focus: Poröse kristalline Materialien: TU Graz-Forscher zeigt Methode zum gezielten Wachstum

Mikroporöse Kristalle (MOFs) bergen große Potentiale für die funktionalen Materialien der Zukunft. Paolo Falcaro von der TU Graz et al zeigen in Nature Materials, wie man MOFs gezielt im großen Maßstab wachsen lässt.

„Metal-organic frameworks“ (MOFs) genannte poröse Kristalle bestehen aus metallischen Knotenpunkten mit organischen Molekülen als Verbindungselemente. Dank...

Im Focus: Gravitationswellen als Sensor für Dunkle Materie

Die mit der Entdeckung von Gravitationswellen entstandene neue Disziplin der Gravitationswellen-Astronomie bekommt eine weitere Aufgabe: die Suche nach Dunkler Materie. Diese könnte aus einem Bose-Einstein-Kondensat sehr leichter Teilchen bestehen. Wie Rechnungen zeigen, würden Gravitationswellen gebremst, wenn sie durch derartige Dunkle Materie laufen. Dies führt zu einer Verspätung von Gravitationswellen relativ zu Licht, die bereits mit den heutigen Detektoren messbar sein sollte.

Im Universum muss es gut fünfmal mehr unsichtbare als sichtbare Materie geben. Woraus diese Dunkle Materie besteht, ist immer noch unbekannt. Die...

Im Focus: Significantly more productivity in USP lasers

In recent years, lasers with ultrashort pulses (USP) down to the femtosecond range have become established on an industrial scale. They could advance some applications with the much-lauded “cold ablation” – if that meant they would then achieve more throughput. A new generation of process engineering that will address this issue in particular will be discussed at the “4th UKP Workshop – Ultrafast Laser Technology” in April 2017.

Even back in the 1990s, scientists were comparing materials processing with nanosecond, picosecond and femtosesecond pulses. The result was surprising:...

Im Focus: Wie sich Zellen gegen Salmonellen verteidigen

Bioinformatiker der Goethe-Universität haben das erste mathematische Modell für einen zentralen Verteidigungsmechanismus der Zelle gegen das Bakterium Salmonella entwickelt. Sie können ihren experimentell arbeitenden Kollegen damit wertvolle Anregungen zur Aufklärung der beteiligten Signalwege geben.

Jedes Jahr sind Salmonellen weltweit für Millionen von Infektionen und tausende Todesfälle verantwortlich. Die Körperzellen können sich aber gegen die...

Im Focus: Shape matters when light meets atom

Mapping the interaction of a single atom with a single photon may inform design of quantum devices

Have you ever wondered how you see the world? Vision is about photons of light, which are packets of energy, interacting with the atoms or molecules in what...

Alle Focus-News des Innovations-reports >>>

Anzeige

Anzeige

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

NRW Nano-Konferenz in Münster

07.12.2016 | Veranstaltungen

Wie aus reinen Daten ein verständliches Bild entsteht

05.12.2016 | Veranstaltungen

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

02.12.2016 | Veranstaltungen

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

Das Universum enthält weniger Materie als gedacht

07.12.2016 | Physik Astronomie

Partnerschaft auf Abstand: tiefgekühlte Helium-Moleküle

07.12.2016 | Physik Astronomie

Bakterien aus dem Blut «ziehen»

07.12.2016 | Biowissenschaften Chemie