Gémesi Roland, Ivády Balázs, Zömbik László
Processz algebrai eszközök a szenzorhálózatok biztonsági vizsgálatában
A kommunikációs és hálózati technológiák nagymértékû fejlôdése, valamint a mind nagyobb fokú miniatûrizáció lehetôvé tette napjainkra vezeték nélküli érzékelôrendszerek megvalósítását. A szenzor-számítógépek önszervezôdô ad hoc hálózatot alakítanak ki, melyeknek biztonsága a hagyományos rendszerekhez képest nehezebben garantálható. Cikkünkben bemutatjuk, miként alkalmazhatóak a hagyományos távközlôhálózatokban bevált processz algebrai eszközök ilyen rendszerek biztonsági tulajdonságainak ellenôrzésére.