Zajednicki seminar Logika i Racunarstvo

8 views

Skip to first unread message

Robert Manger

unread,

Apr 5, 2012, 3:11:17 AM4/5/12

to seminar-za-teori...@googlegroups.com

Dragi kolege članovi Seminara za teorijsko računarstvo,

Pozivam vas da dođete na sljedeće predavanje. Riječ je o zajedničkom sastanku poslijediplomskih Seminara za matematičku logiku i osnove matematike i Seminara za teorijsko računarstvo.

Lijep pozdrav, Robert Manger.

-----Original Message-----
From: math-list...@math.hr [mailto:math-list...@math.hr] On Behalf Of Vedran Čačić
Sent: Wednesday, April 04, 2012 10:47 PM
To: _Math Lista
Subject: [Math lista] Fwd: Fwd: Seminar Logika

U sklopu Seminara za matematičku logiku i osnove matematike, u *srijedu* 11. travnja 2012. u 17 sati, u predavaonici *108* PMF-MO, Marko Horvat će održati predavanje pod naslovom:

*Protokoli od A do B*

*Sažetak:* Kroz ovu interaktivnu priču dajemo nekoliko primjera sigurnosnih protokola te njihovom analizom pronalazimo općenite principe kojih se treba držati pri oblikovanju formalnih simboličkih modela. U tako razvijenim modelima promatramo razna sigurnosna svojstva, osvrćući se pritom na protivničke modele snažnije od Dolev-Yao protivnika. Ovisno o preostalom vremenu, ukratko komentiramo računsku adekvatnost simboličkog modela, neodlučivost tajnosti u Dolev-Yao okruženju te demonstriramo alat Scyther za automatiziranu verifikaciju sigurnosnih protokola.