Kryptoprotokoller og anvendelser

Emnet kan undervises hvert år og hvert semester ut ifra behov, både i Trondheim og i Gjøvik. Interesserte studenter kan ta kontakt med emneansvarlig for å koordinere når kurset tilbys.

Emnet vil studere mekanismer og egenskaper til kryptografiske protokoller som etablerer og bevarer sikkerhetsegenskaper i toparts og flerparts informasjonsutveksling over allment og åpent tilgjengelig nett. Mer sammensatte krav utover grunnleggende kommunikasjonssikkerhet finnes i nettbaserte anvendelser innen e-handel, banktjenester, helseinformatikk, digitale betalingsinstrumenter og akkreditiver, auksjons- og valgsystemer. Emnet innbefatter modeller og angrepsklasser; beregningsmessige klasser; protokoller for etablering av kryptonøkler og andre parametre, autentisering, binding, nullkunnskapsteknikker, konsensus/flerparts beregninger, anonymitet og pseudonymitet, formaliseringsmetodikk.

A. Kunnskap: 1) Å få en oversikt og forstå problemstillinger, begreper, definisjoner, designprinsipper og bevisteknikker for kryptoprotokoller nevnt under faglig innhold. 2) Å få en innsikt i noen typiske anvendelser av kryptografiske protokoller i nettbaserte systemer, nevnt under faglig innhold.

B. Ferdigheter: 1) Kunne beskrive, analysere og konstruere kryptoprotokoller. 2) Kunne anvende bevisteknikker og automatiske analyseverktøy i eksisterende og nye konstruksjoner.

C. Generell kompetanse: Individuelt forfatte en teknisk artikkel for publisering.

Forelesninger, kollokvier, øvinger, obligatorisk muntlig presentasjon og selvstudium.