Seminar: Modellering og verifikation af sikkerhedsprotokoller

Der findes en række teknikker til modellering og verifikation af sikkerhedsprotokoller, og på denne workshop præsenteres en af de mest anvendte, nemlig statisk anlyse. Teknikken illustreres gennem anvendelse på ZigBee standarden. Endvidere gives en generel introduktion til protokol modellering, og der gives også en introduktion til 'Universal Composability', som anvendes til beskrivelse af de angreb, som sikkerhedsprotokoller kan blive udsat for.

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:

28/10-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, hvor du også kan få mere information om arrangementet.