Univerzális kompozíció alkalmazása kriptoprotokollok tervezésében

OData támogatás
Konzulens:
Dr. Vajda István
Hálózati Rendszerek és Szolgáltatások Tanszék

Az univerzális kompozíciós (UC) keretrendszer bizonyított biztonságú kriptoprotokollok tervezésének és analízisének egy módszertana, melyet Ran Canetti fejlesztett ki 2001-ben. Bár a keretrendszer igen erős elméleti hátteret szolgáltat, és számos protokoll elemzés is található a szakirodalomban, ezen elemzések jelentős része olyan protokollokra vonatkozik, melyeket az UC alapelvek figyelembe vételével terveztek meg. Azonban a gyakorlatban is használt kriptoprotokollok közül igen kevésre született eddid UC alapú analízis. Jelen dolgozatban célunk egy UC alapú praktikus módszertan bemutatása kriptoprotokollok biztonsági analízisére. A módszertan célja olyan kriptoprotokollok analízisének lehetővé tétele UC szempontból, melyek tervezése nem UC technikákkal történt, hanem tradícionális tervezési módszerekkel. Az UC megközelítés ereje a protokollok modularizálásában rejlik. Módszertanunkban a protokollok modularizációját kommunikációs csatornákkal valósítjuk meg, illetve ezen csatornák megfelelő idealizált változatával a protokoll résztvevői között. A módszertant csak alsó rétegbe tartozó protokollokra mutatjuk be, és néhány példa protokollal demonstráljuk a hatékonyságát.

Letölthető fájlok

A témához tartozó fájlokat csak bejelentkezett felhasználók tölthetik le.