Znanstveni kolokviji

Uspjesi formalne verifikacije u standardizaciji sigurnosnih protokola

Vrijeme: 9.5.2018
17:00
Predavaonica: 005
Predavač: Marko Horvat, MPI-SWS Kaiserslautern
Naziv: Uspjesi formalne verifikacije u standardizaciji sigurnosnih protokola
Opis:

Komunikacija je bitan katalizator opstanka i napretka civilizacije. Informacije koje se komunikacijom razmjenjuju su često osjetljive, a jedina dostupna infrastruktura je često javna. Tada je nužno komunikaciju zaštititi od što je više moguće stvarnih prijetnji integritetu, tajnosti i autentičnosti informacija. U tu svrhu razvijen je i standardiziran čitav niz sigurnosnih protokola, ali ne nazire se kraj neprestanom nalaženju njihovih slabosti pri razmatranju sve jačih suvremenih napadača. Tijekom ovog predavanja opisat ćemo neke rezultate koji su imali direktan utjecaj u standardizaciji današnjih i budućih sigurnosnih protokola. Ti rezultati pokrivaju nedovršeni protokol TLS 1.3, buduću verziju najvažnijeg sigurnosnog protokola današnjice, i otkriveni su u okviru višegodišnje suradnje Sveučilišta u Oxfordu, Royal Holloway sveučilišta u Londonu, Mozille te Max Planck instituta za softverske sustave u Kaiserslauternu. Predstavit ćemo i pronađene slabosti u ISO/IEC 11770 standardu za razmjenu i čuvanje kriptografskih ključeva te reći u kojoj mjeri su one otklonjene.

<< Povratak na popis kolokvija

Copyright (c) 2004-2007, Vedran Šego