Automatisch genereren/optimaliseren van cryptografische protocols: een nieuwe methodiek in protocolontwerp.

Cryptografische protocols worden gebruikt om digitale communicatie en informatie te beveiligen. Hiermee is het mogelijk om gebruikers en apparaten te identificeren en om gevoelige informatie tegen aanvallers te beschermen. De ontwerpcyclus van deze protocols begint typisch met een oplijsting van de vereisten. De ontwerper combineert dan verscheidene cryptografische primitieven als bouwblokken om een protocol te vormen dat gevalideerd kan worden met een veiligheidsbewijs en geëvalueerd kan worden op vlak van efficiëntie. Het voordeel van deze benadering is dat het, door het combineren van verscheidene hoog-niveau bouwblokken, meestal eenvoudig is om een veiligheidsbewijs op te stellen. Het nadeel is echter dat er redundanties ontstaan in het protocol, zoals een overlap in de functionaliteit van meerdere blokken. Dit heeft een negatieve impact op de efficiëntie en de implementatiekost. Om deze inefficiënties te elimineren proberen ontwerpers vaak manueel de protocols te opt imaliseren. Dit ad hoc proces heeft echter vaak geleid tot beveiligingsproblemen omdat typische optimalisatietechnieken de veiligheidsbewijzen breken. Dit project wilt een alternatief aanbrengen voor de bestaande ad hoc benadering, door het introduceren van een nieuwe methodiek voor protocolontwerp. Met behulp van automatische tools willen we een ontwerper toelaten om te starten vanuit een specificatie van het gewenste protocol of, als alternatief, een hoog-niveau versie van het protocol. De softwaretool zal deze input gebruiken om automatisch een protocol te maken dat bovendien geoptimaliseerd is voor efficiënte implementatie op een gekozen platform.

Trefwoorden:Cryptography, Protocol, Provable security, Optimisation, Design

Disciplines:Sensoren, biosensoren en slimme sensoren, Andere elektrotechniek en elektronica, Computer hardware, Computertheorie, Scientific computing, Andere computer ingenieurswetenschappen, informatietechnologie en mathematische ingenieurswetenschappen, Modellering, Biologische systeemtechnologie, Signaalverwerking