[HGI-News-de] HGI-Kolloquium: GNUC -- A New Uni­ver­sal Com­po­sa­bi­li­ty Frame­work - Dennis Hofheinz - Freitag, 01. Juli

[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 nächsten _Freitag, den 01. Juli 2011 um 11.00 Uhr s.t.

_ü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..
*Der Raum wird noch kurzfristig bekannt gegeben.*

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/20110624/8738fc9f/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/20110624/8738fc9f/attachment.jpe>