On automated evaluation of key management schemes in wireless sensor networks
Filip Jurnečka · 2014
imulatory. Nase nalezy nam pak poslouži k výběru nastroje, který rozsiřime nasim vlastnim ramcem pro umožněni automatickeho vyhodnoceni vlastnosti schemat pro spravu kliců v bezdratových senzorových sitich. Hlavni cast prace je věnovana popisu implementace naseho ramce. Tato cast popisuje mnohe navrhove problemy, implementovane komponenty, komunikacni vrstvy a experiment navrhnutý specielně pro nasi potřebu. Tento experiment spolu s navrhnutými množinami parametrů dovoluje hodnotit libovolna schemata (pro spravu kliců) v několika bězich tak, že v budoucnu bude možne je vsechna porovnavat vůci tomuto jednomu referencnimu bodu. Na konec použijeme nas ramec na vyhodnoceni několika navrhnutých strategii pro zajimani uzlů. K běžně uvažovane nahodne strategii navrhneme tři nove, realisticke způsoby pohybu utocnika v siti a vyhodnotime jejich uspěsnost na několika sitich opatřených různými schematy pro spravu kliců.