Zajednički seminar za matematičku logiku i računarstvo - 23.11.2020.
2 views
Skip to first unread message
Robert Manger
Nov 19, 2020, 7:50:35 AM11/19/20
to seminar-za-teori...@googlegroups.com, vko...@efzg.hr, Mario Brčić
Dragi kolege,
Na zajedničkom sastanku Seminara za matematičku logiku i osnove matematike te Seminara za teorijsko računarstvo, u ponedjeljak 23. studenog 2020. u 17:15 sati, Tajana Ban Kirigin (Odjel za matematiku Sveučilišta u Rijeci) održati će predavanje:
Modeliranje resursa u verifikaciji sigurnosnih protokola
Sažetak: Raspolaganje ograničenim resursima u osnovi je sigurnosnog problema poznatog kao Denial of Service (DoS). DoS napadi ne zahtjevaju nužno velike količine resursa pa je zanimljivo takve "spore" DoS napade identificirati i analizirati. Ovim seminarom predstavit ćemo formalni model za verifikaciju sigurnosnih protokola koji je baziran na transformacijama multiskupova i uključuje i aspekt resursa. Predstavit ćemo model napadača koji se bazira na Dolev-Yao modelu, a raspolaže ograničenim resursima, kao i složenost pripadnog DoS problema.
Podaci za online praćenje preko Zoom platforme:
Topic: SLOM
Link: https://zoom.us/j/92305464243?pwd=TjUwa3VyTG5KT0pIbzluUURBemxJdz09
Meeting ID: 923 0546 4243
Passcode: 020169
Lijep pozdrav, Robert Manger.
Na zajedničkom sastanku Seminara za matematičku logiku i osnove matematike te Seminara za teorijsko računarstvo, u ponedjeljak 23. studenog 2020. u 17:15 sati, Tajana Ban Kirigin (Odjel za matematiku Sveučilišta u Rijeci) održati će predavanje:
Modeliranje resursa u verifikaciji sigurnosnih protokola
Sažetak: Raspolaganje ograničenim resursima u osnovi je sigurnosnog problema poznatog kao Denial of Service (DoS). DoS napadi ne zahtjevaju nužno velike količine resursa pa je zanimljivo takve "spore" DoS napade identificirati i analizirati. Ovim seminarom predstavit ćemo formalni model za verifikaciju sigurnosnih protokola koji je baziran na transformacijama multiskupova i uključuje i aspekt resursa. Predstavit ćemo model napadača koji se bazira na Dolev-Yao modelu, a raspolaže ograničenim resursima, kao i složenost pripadnog DoS problema.
Podaci za online praćenje preko Zoom platforme:
Topic: SLOM
Link: https://zoom.us/j/92305464243?pwd=TjUwa3VyTG5KT0pIbzluUURBemxJdz09
Meeting ID: 923 0546 4243
Passcode: 020169
Lijep pozdrav, Robert Manger.
Reply all
Reply to author
Forward
0 new messages