Basic Research in Cryptologic Protocol Theory

Formålet med projektet er grundforskning i kryptologisk protokolteori. I kryptologisk protokolteori betragter vi en situation, hvor en række parter ønsker at løse et fælles problem alene ved at interagere over et computernetværk. Hver af disse parter har noget privat data, som de ikke ønsker, at de andre skal se, men de ønsker at lære noget om den fælles samling af data. Det kan være, de ønsker at undersøge, hvor mange ja-stemmer der er for et forslag uden at lække, hvad de enkelte parter har stemt. Vi ønsker at udvikle nye effektive værktøjer, som kan bruges til at løse sådanne problemer. Der stræbes specielt efter teknikker, som automatisk kan lave et program, som løser et problem alene ud fra en beskrivelse af, hvad problemet er. Når man udvikler komplicerede programmer, er det vigtigt at kunne overbevise sig selv om deres korrekthed, før de sættes i brug. Specielt når formålet er at beskytte data, er det ikke en brugbar løsning bare at sætte programmet i brug og så rette fejlene, når de viser sig, da sensitiv data allerede da kan være lækket. Derfor udvikler vi kryptologiske protokolteori matematiske modeller af, hvad det vil sige, at et program er korrekt, og metoder til at bevise at et givet program er sikkert. Vi ønsker at udvikle bedre sikkerhedsmodeller, da eksisterende modeller enten lider af den fejl, at det er muligt at bevise sikkerhed inden for modellen, uden at det medfører sikkerhed i praktisk brug eller den fejl, at det er meget svært at bevise sikkerhed inden for modellen.