Secure layer-agnostic agreement protocol for cryptographically agile communication

Sigurna komunikacija ključan je dio suvremenih sustava za komunikaciju i može se postići korištenjem kriptografskih algoritama i protokola. Međutim, i u takvom sustavu sigurnost komunikacije može biti ugrožena ako se koriste kriptografski algoritmi kojima su otkrivene ranjivosti. Koncept kriptografski prilagodljive komunikacije omogućuje dinamičku promjenu kriptografskih algoritama i ključeva za vrijeme rada sustava bez promjene izvedbene logike tog sustava. U doktorskoj disertaciji dizajniran je protokol za sigurno dogovaranje kriptografski prilagodljive komunikacije koji, za razliku od postojećih rješenja, može neovisno o komunikacijskom sloju i korištenoj platformi dogovoriti preduvjete za daljnju sigurnu komunikaciju. Model protokola je formalno verificiran u alatu za automatsku verifikaciju sigurnih postavki protokola. Dogovor preduvjeta izveden je na učinkovit način koji ne postavlja visoke zahtjeve na računalnu moć i propusnost mrežne komunikacije. Izvedena je integracija protokola za dogovor u okolini Interneta stvari uzimajući u obzir mogućnosti različitih uređaja u okolini. Dodatno, izvedeno je programsko ostvarenje koje omogućava korištenje protokola u raznim mrežnim modelima i okruženjima na različitim mrežnim slojevima. U sklopu emulirane mrežne okoline pokazana je učinkovitost mrežne komunikacije na različitim komunikacijskim slojevima i korištenjem različitih vrsta kriptografije uz osvrt na ugrađene sigurnosne mehanizme. U okviru doktorske disertacije ostvareni su sljedeći znanstveni doprinosi: 1. Protokol za sigurno dogovaranje kriptografskih algoritama neovisan o sloju protokolnog složaja, aplikaciji i operacijskom sustavu. 2. Metode za integraciju protokola u aplikacije koje koriste različite modele komunikacije, a posebice mreže ravnopravnih čvorova i model klijent-poslužitelj. 3. Ocjena učinkovitosti protokola u simuliranom i stvarnom mrežnom okružju.Secure communication is an important aspect of today’s interconnected environments and it can be achieved by the use of cryptographic algorithms and protocols. However, many existing cryptographic mechanisms are tightly integrated into communication protocols. Issues emerge when security vulnerabilities are discovered in cryptographic mechanisms because their replacement would eventually require replacing deployed protocols. The concept of cryptographic agility is the solution to these issues because it allows dynamic switching of cryptographic algorithms and keys prior to and during the communication. Most of today’s secure protocols implement cryptographic agility, but cryptographic agility mechanisms cannot be used in a standalone manner. In order to deal with the aforementioned limitations, this thesis describes a lightweight cryptographically agile agreement protocol. The design of the protocol is formally verified in an automated security verification tool. The agreement of cryptographic keys and algorithms is done in a computationally efficient way and has a low communication bandwidth requirement. Protocol integration and usage is demonstrated in an Internet of things environment with special emphasis on the agreement procedure which adapts to current device capabilities. Additionally, a prototype implementation which can communicate on different network layers is presented. The implementation is tested and evaluated in an emulated network environment. The tests demonstrate agreement efficiency on different communication layers when using different types of cryptography. The scope of this doctoral thesis covers the following scientific contributions: 1. Secure layer-agnostic agreement protocol for cryptographically agile communication that is application and operating system independent. 2. Methods for integrating the protocol with applications that use different communication models, especially P2P networks and client-server environments. 3. Evaluation of protocol communication and agreement efficiency in a simulated and real network environment