[HGI-News-de] HGI-Kolloquium: GNUC -- A New Uni­ver­sal Com­po­sa­bi­li­ty Frame­work - Dennis Hofheinz - *übermorgen*

[Newsletter des Horst Görtz Instituts]

      HGI

Sehr geehrte Damen und Herren,


im Rahmen des HGI-Kolloquiums organisiert vom Lehrstuhl für Netz- und
Datensicherheit (NDS), wird

        _Dennis Hofheinz

_von der

        Universität Karlsruhe

auf Einladung des Lehrstuhls für Netz- und Datensicherheit

       am kommenden _Freitag, den 01. Juli 2011 um 11.00 Uhr s.t. in
Raum ID 04/401

_über folgendes Thema referieren:


------------------------------------------------------------------------
*GNUC -- A New Uni­ver­sal Com­po­sa­bi­li­ty Frame­work*

This talk pres­ents GNUC, a frame­work for the de­sign and ana­ly­sis of
mul­ti-par­ty pro­to­cols. Like the well-known Uni­ver­sal
Com­po­sa­bi­li­ty (UC) frame­work, we offer a uni­ver­sal
com­po­si­ti­on theo­rem, as well as a joint state com­po­si­ti­on
theo­rem. Howe­ver, we de­via­te from UC in se­ver­al im­portant
as­pects, like the struc­tu­ring of pro­to­cols, cor­rup­ti­ons, and
po­ly­no­mi­al run­ti­me. We mo­ti­va­te our de­sign choices by
ex­plai­ning why the cor­re­spon­ding de­fi­ni­ti­ons in the UC
frame­work are pro­ble­ma­tic, and how we over­co­me these pro­blems.

------------------------------------------------------------------------


Der Vortrag beginnt am Freitag um 11.00 Uhr s.t. in ID Ebene 04 Raum 401.
(Der Raum befindet sich in der Nähe des Infopoints im ID)

Zu diesem und sämtlichen weiteren Vorträgen im Rahmen des
HGI-Kolloquiums sind alle Studierenden und Interessierten herzlich
eingeladen! Eine Voranmeldung ist nicht erforderlich!

Weitere Informationen gibt es auf folgender Webseite:

    http://hgi.rub.de/hgi/hgi-seminar/aktuelles/


Beste Grüße,
Florian Kohlar




-- 
Dipl.-Ing. Florian Kohlar

Lehrstuhl für Netz- und Datensicherheit
Ruhr Universität Bochum
-----------------------------------
Universitätsstr. 150, Geb. ID 2/457
D-44780 Bochum

Telefon: +49 (0) 234 / 32-26798
Fax: +49 (0) 234 / 32-14347
http://www.nds.rub.de

-------------- nächster Teil --------------
Ein Dateianhang mit HTML-Daten wurde abgetrennt...
URL: <http://lists.ruhr-uni-bochum.de/pipermail/hgi-news-deutschland/attachments/20110629/4974cafe/attachment.html>
-------------- nächster Teil --------------
Ein Dateianhang mit Binärdaten wurde abgetrennt...
Dateiname   : nicht verfügbar
Dateityp    : image/jpeg
Dateigröße  : 116679 bytes
Beschreibung: nicht verfügbar
URL         : <http://lists.ruhr-uni-bochum.de/pipermail/hgi-news-deutschland/attachments/20110629/4974cafe/attachment.jpe>