|
Afsluttede aktiviteter
|
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
Ikke-medlem af KomIalt: 600 kr.; KomIalt-medlem: 300 kr.
19-05-08 10:00
Tilmelding skal ske gennem KomIalts hjemmeside her. |
|
|
|
|
Kalender 
