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.