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.