Seminar: Modellering og verifikation af sikkerhedsprotokoller

Program

1. Velkomst

2. Arne Skou, CISS: Introduction to Protocol Modelling

3. Ender Yuksel, IMM/DTU: Modelling and Verification of ZigBee Security Sublayer

4. Jesper Buus Nielsen, DAIMI/AU: Universal Composability of Security Protocols

5. Discussion and Networking

Tid & sted:

20/05-08: 13:00 - 16:00

ITU, Rued Langgaards Vej 7
2300 København S

Entrepriser:

Ikke-medlem af KomIalt: 600 kr.; KomIalt-medlem: 300 kr.

Tilmeldingsfrist:

19-05-08 10:00

Tilmelding skal ske gennem KomIalts hjemmeside her.